Repository navigation
Support for gnu extension flexible array initializer #264
Description
Example code:
#include <stdio.h>
struct int_def {
const char *s;
const int ints[];
};
static const struct int_def my_ints = {
.s = "my ints",
.ints = {0, 3, 7, 2, -1},
};
int main() {
const struct int_def *def = &my_ints;
const int *v = def->ints;
printf("%s\n", def->s);
while (*v != -1) {
printf("%d\n", *v);
v++;
}
return 0;
}This is a common idiom used at the end of structures, making their size variable. This is the expected output on GCC or Clang:
my ints
0
3
7
2
With CompCert 3.4, it doesn't compile: error: initializer element is not a compile-time constant (wrong number of elements in array initializer)
Activity
bschommer commentedon Jan 28, 2019
This is actually not standard C99 but rather a gnu extension. You also get a warning if you compile it with
-pedanticand-std=c99for both gcc and clang.[-]Support for extensible structures ending with empty-length arrays[/-][+]Support for gnu extension flexible array initializer[/+]bschommer commentedon Jan 28, 2019
I changed the title to reflect the real problem.