gcc/testsuite/gcc.dg/torture/pr67915.c

/* { dg-do compile } */

int a, b, c, d, e, f, g;

int
fn1 (int p1)
{
  return p1;
}

void
fn2 ()
{
lbl:
  g = b;
  if (fn1 (c && e))
    {
      f = a ? 0 : 1 << 1;
      short h = b;
      d = h < 0 || f ? 0 : 1;
    }
  goto lbl;
}