gcc/testsuite/gcc.dg/pr96931.c

/* { dg-do compile } */
/* { dg-options "-O1 -fpredictive-commoning -fno-tree-loop-im" } */

int bl;

void
p3 (void);

void __attribute__ ((returns_twice))
ie (void)
{
  p3 ();

  bl = 0;
  for (;;)
    ++bl;

  ie ();
}