Em que momento ocorre a libertação de memória dos objetos armazenados na pilha?

A memória alocada para objetos na pilha é liberada automaticamente no momento em que se sai do âmbito desses objetos, ou seja, quando a função ou bloco de código em que foram criados termina. A pilha funciona pelo princípio LIFO (Last In, First Out), portanto, ao retornar de uma função, toda a memória alocada para variáveis locais é limpa sem necessidade de liberação explícita.