/* { dg-require-effective-target int32plus } */
/* { dg-require-effective-target alloca } */

/* Ensure that we deallocate X when branching back before its
   declaration.  */

void *volatile p;
                                                                                
int
main (void)
{
  int n = 0;
 lab:;
  int x[n % 1000 + 1];
  x[0] = 1;
  x[n % 1000] = 2;
  p = x;
  n++;
  if (n < 1000000)
    goto lab;
  return 0;
}