Есть какой-то странный код, использующий VLA (массивы переменной длины), который обрабатывается как Valid C (C99, C11) gcc 4.6:
$ 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
Но это не работает с компилятором Intel 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.
Итак:
- Почему это считается действительным в GCC?
- Если это расширение GCC, где оно описано?
- Является ли он действительным в стандартах ISO C99 и C11?
