1 /* Ensure that we deallocate X when branching back before its
2    declaration.  */
3 
4 void *volatile p;
5 
6 int
main(void)7 main (void)
8 {
9   int n = 0;
10  lab:;
11   int x[n % 1000 + 1];
12   x[0] = 1;
13   x[n % 1000] = 2;
14   p = x;
15   n++;
16   if (n < 1000000)
17     goto lab;
18   return 0;
19 }
20