6.23 Массивы, не являющиеся lvalues, могут иметь индексы ¶

В ISO C99, массивы, которые не являются lvalues, всё ещё распадаются на указатели и могут быть индексированы, хотя они не могут быть изменены или использованы после следующей точки последовательности, и унарный оператор '&' не может быть применён к ним. Как расширение, GNU C допускает индексирование таких массивов в режиме C90, хотя в противном случае они не распадаются на указатели за пределами режима C99. Например, это допустимо в GNU C, но не в C90:

struct foo {int a[4];};

struct foo f();

bar (int index)
{
  return f().a[index];
}