Как alloca выделяет память в стеке: ответ Рэймонда Чена
How do functions like alloca allocate memory from the stack?
Рэймонд Чен объясняет, как функции вроде alloca выделяют память в стеке. Он показывает, что _alloca() использует ту же функцию _chkstk() для проверки стека, что и при создании локального фрейма, и приводит пример на x86-64 с ассемблерным кодом.
Да, функция _alloca() вызывает ту же функцию _chkstk() для проверки стека перед тем, как изменить указатель стека для выделенной памяти.