gcc/testsuite/gcc.dg/pr66899.c

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