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