1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
/* { dg-additional-options "-std=gnu89" } */ foo (a) { do { puts ("a"); a -= 1; } while (a != 0); } main () { int p[100]; printf ("%d\n", foo (3)); }