gcc/testsuite/gcc.c-torture/compile/iftrap-2.c

void bar (void);

void foo(int p, int q)
{
  if (p)
    {
      if (q)
        __builtin_trap ();
    }
  else
    bar();
}