gcc/testsuite/gcc.dg/torture/pr56264.c

/* { dg-do compile } */
/* { dg-options "-funswitch-loops" } */

int a, b, c;

void f(void)
{
  if(b)
    {
      for(a = 0; a < 1; a++)
	lbl:
	    c = c && b ? : 0;

      c = 0;
      goto lbl;
    }

  if(a)
    goto lbl;
}