gcc/testsuite/gcc.dg/pr107505.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fno-guess-branch-probability" } */
   3
   4 int n;
   5
   6 void
   7 bar (void);
   8
   9 __attribute__ ((noinline, returns_twice)) int
  10 zero (void)
  11 {
  12   return 0;
  13 }
  14
  15 void
  16 foo (void)
  17 {
  18   int a = zero ();
  19
  20   for (n = 0; n < 2; ++n)
  21     {
  22     }
  23
  24   if (a)
  25     bar ();
  26 }