Что я не понимаю, так это то, что люди говорят, что когда возвращается текущий кадр стека, то есть esp перемещается вверх, поэтому память в кадре стека будет освобождена.
Как именно этот кусок памяти освобождается после перемещения указателя esp? по времени выполнения или ОС, не проверяя ничего на них указывает?