6.22 Массивы, не являющиеся 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];
}