1 2 3 4 5 6 7 8
/* PR c/14492 */ /* { dg-options "" } */ int main() { double d = 1.0; char x[(int) d]; return 0; }