Quando um programa termina o que acontece com a memória alocada usando malloc que não é free'ed?

Digamos que eu tenha o seguinte programa

<code>#include <stdio.h>
#include <stdlib.h>

int main(void) 
{
    int * i;

    if ((i = malloc(sizeof(int) * 100)) == NULL) {
        printf("EROOR: unable to allocate memory \n");
        return -1;
    }

    /* memory is allocated successfully */

    /* memory is not free'ed but program terminates */
    // free(i);

    return 0;
}
</code>

O programa acima chamamalloc alocar alguma memória e não chamafree para desalocá-lo. E o programa termina sem destinar a memória.

Valgrind detecta claramente um vazamento de memória.

<code><snap>
==14209== HEAP SUMMARY:
==14209==     in use at exit: 400 bytes in 1 blocks
==14209==   total heap usage: 1 allocs, 0 frees, 400 bytes allocated
==14209== 
<sanp>
==14209== LEAK SUMMARY:
==14209==    definitely lost: 400 bytes in 1 blocks
==14209==    indirectly lost: 0 bytes in 0 blocks
==14209==      possibly lost: 0 bytes in 0 blocks
==14209==    still reachable: 0 bytes in 0 blocks
==14209==         suppressed: 0 bytes in 0 blocks
==14209== 
==14209== For counts of detected and suppressed errors, rerun with: -v
==14209== ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)
</code>

Questão:

Quando o programa termina, o que acontece com a memória que foi alocada, mas nãofreed?

Atualização: considere que este código está sendo executado em diferentes sistemas operacionais - por exemplo, windows, linux, solarix, macos, etc. Existe alguma diferença no comportamento deste código durante sua finalização?

questionAnswers(5)

yourAnswerToTheQuestion