gcc/testsuite/gcc.dg/pr67465.c

/* { dg-do run } */
/* { dg-options "-O3 -std=gnu99" } */

int a, b, c, d, e, h;

int
fn1 (int p1)
{
  {
    int g[2];
    for (int i = 0; i < 1; i++)
      g[i] = 0;
    if (g[0] < c)
      {
	a = (unsigned) (1 ^ p1) % 2;
	return 0;
      }
  }
  return 0;
}

void
fn2 ()
{
  for (h = 0; h < 1; h++)
    {
      for (int j = 0; j < 2; j++)
	{
	  for (b = 1; b; b = 0)
	    a = 1;
	  for (; b < 1; b++)
	    ;
	  if (e)
	    continue;
	  a = 2;
	}
      fn1 (h);
      short k = -16;
      d = k > a;
    }
}

int
main ()
{
  fn2 ();

  if (a != 2)
    __builtin_abort ();

  return 0;
}