https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85997
--- Comment #2 from Kari Nurmela <kari.nurmela at iki dot fi> --- There is only one array in the program, "array", and that is not a variable length array. The syntax in print_array doesn't take any position on the kind of the array, only that there are at least "count" elements, at least that what C99 seems to say?
