Как gcc помещает локальные переменные в стек?

void
f
    ()
{
    int a[1];
    int b;
    int c;
    int d[1];
}

Я обнаружил, что эти локальные переменные в этом примере не помещаются в стек по порядку. b и c помещаются в порядке их объявления, но a и d группируются вместе. Таким образом, компилятор выделяет массивы иначе, чем любой другой встроенный тип или объект.

Это требование C/C++ или деталь реализации gcc?