сно сcppreference:

Если типвыражение этомассив переменной длины тип,выражение оценивается и размер массива, который он оценивает, вычисляется во время выполнения.

Это означает: если типвыражение это тип VLA, товыражение оценивается. Например:

#include <stdio.h>

int main() {
    int i = 0;
    int a[i];
    printf("%zu\n",sizeof(a[i++]));
    printf("%d\n",i); // Here, print 0 instead of 1
    return 0;
}

Итак, согласно ссылке, здесьi становится1, Но с моим компилятором GCC,i печатает как0.

ВидетьWandbox Demo.