gcc/testsuite/gcc.dg/torture/pr59139.c

/* { dg-do compile } */

int a, b, c, d, e;
int fn1(p1, p2) { return p2 == 0 ? p1 : 1 % p2; }

void fn2()
{
  c = 0;
  for (;; c = (unsigned short)c)
    {
      b = 2;
      for (; b; b = a)
	{
	  e = fn1(2, c && 1);
	  d = c == 0 ? e : c;
	  if (d)
	    return;
	}
    }
}