M>Место для локальных переменных выделяется в начале блока, в котором они определены. Если ты, например, в for'е будешь заводить переменные, то никакого непрерывного блока alloca не сможет сделать

Это глупость, так делать не имеет смысла никакого! Посмотри ассемблерный код. Выделяется 1 раз сразу для всех переменных в начале функции.