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

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

struct foo {int a[4];};

struct foo f();

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