Como é que a memória ocupada pela pilha num programa é libertada?

A memória ocupada pela pilha é liberada automaticamente ao sair da função ou bloco de código onde essa memória foi alocada. A pilha funciona pelo princípio LIFO (último a entrar, primeiro a sair). Quando uma função é chamada, uma área na pilha é alocada para ela, e ao terminar a função, essa área é liberada sem a participação do programador. Isso acontece graças ao ponteiro da pilha, que simplesmente se desloca para trás. Assim, liberar a memória da pilha é um processo rápido e automático.