> а почему и дальше нельзя аллоцировать на стеке?
> но без VLA. через __builtin_alloca() .
> (ответ я подозреваю: "можно но всё равно это
> уже не будет также дёшево как это было с VLA"

Дешевле из-за отсуствия выравнивания?
Вот такие два варианта транслируются в идентичный код:

#include <stdio.h>
int s1(unsigned n) {
    void *p = __builtin_alloca_with_align(n * __BIGGEST_ALIGNMENT__, __BIGGEST_ALIGNMENT__);
    printf("%p", p);
}
int s2(unsigned n) {
    char a[n * __BIGGEST_ALIGNMENT__];
    printf("%p", a);
}