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];
}