Я бы это так не называл - "сохраняют".. Просто в начале каждой функции стоит инструкция, сдвигающая указатель. Резервируется место только для переменных ЭТОЙ функции, а не вложенных. В конце ткакая же инструкция сдвигает указатель обратно на ту же величину.