struct中间的可变长度数组 - 为什么这个C代码对gcc有效

Question

使用VLA(可变长度数组)有一些奇怪的代码,它被gcc 4.6视为有效C(C99,C11):

$ cat a.c
int main(int argc,char**argv)
{
  struct args_t{
     int a;
     int params[argc];        // << Wat?
                        // VLA in the middle of some struct, between other fields
     int b;
  } args;

  args.b=0;

  for(args.a=0;args.a<argc;args.a++)
  {
    args.params[args.a]=argv[0][0];
    args.b++;
  }
  return args.b;
}

此代码编译时没有警告:

$ gcc-4.6 -Wall -std=c99 a.c && echo $?
0
$ ./a.out ; echo $?
1
$ ./a.out 2; echo $?
2
$ ./a.out 2 3; echo $?
3

同样的-std=c1x:

$ gcc-4.6 -Wall -std=c1x a.c && echo $?
0

但这不适用于英特尔C编译器或Clang + LLVM:

$ icc a.c -o a.icc
a.c(5): warning #1361: variable-length array field type will be treated as zero-length array field type
       int params[argc];
                  ^
$ ./a.icc; echo $?
47

$ clang a.c -o a.clang
a.c:5:10: error: fields must have a constant size: 'variable length array in structure' extension will never be supported
     int params[argc];
         ^
1 error generated.

所以:

1. 为什么GCC认为这有效？
2. 如果它是GCC的扩展,它在哪里描述？
3. 它在C99和C11 ISO标准中有效吗？

Answer 1

GCC不允许它,编译-std=c99 -pedantic-errors.结构中的VLA显然是一个(文档记录很少)的非标准GNU C特性.看到这个.