gcc/testsuite/gcc.dg/pr56436.c

/* PR tree-optimization/56426 */
/* { dg-do compile } */
/* { dg-options "-O2" } */

int a, *c;

void
f (void)
{
  int b = 0;

  for (a = 0;; a++)
    if (--b)
      {
	if (a)
	lbl:
	  a++;

	c = &b;
	goto lbl;
      }
}