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