gcc/testsuite/gcc.dg/pr66899.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-Os -fprofile-arcs" } */
   3
   4 struct
   5 {
   6   int authority;
   7 } * a, *b, c, d;
   8 int e, f;
   9 static int
  10 fn1 ()
  11 {
  12   if (a)
  13     goto verified;
  14   if (b)
  15     goto matched;
  16   return -126;
  17 matched:
  18   e = 0;
  19 verified:
  20   if (b)
  21     for (; &c != b; c = d)
  22       ;
  23   return 0;
  24 }
  25
  26 int
  27 fn2 ()
  28 {
  29   for (;;)
  30     {
  31       f = fn1 ();
  32       switch (f)
  33         {
  34         case -126:
  35           continue;
  36         default:
  37           return 0;
  38         }
  39     }
  40 }
  41