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