gcc/testsuite/gcc.dg/torture/pr61786.c

/* { dg-do run } */

int a, *c = &a, d; 
char b = 1;

void
fn1 ()
{
  d = 1;
lbl:
  if (b == d)
    {
      d = *c;
      if (b)
	goto lbl;
    }
}

int
fn2 ()
{
  fn1 ();
  return 0;
}

int
main ()
{
  fn2 ();
  return 0;
}