modernc.org/ccgo/v3@v3.16.14/lib/testdata/gcc-9.1.0/gcc/testsuite/gcc.c-torture/execute/loop-8.c (about)

     1  double a[3] = { 0.0, 1.0, 2.0 };
     2  
     3  void bar (int x, double *y)
     4  {
     5    if (x || *y != 1.0)
     6      abort ();
     7  }
     8  
     9  int main ()
    10  {
    11    double c;
    12    int d;
    13    for (d = 0; d < 3; d++)
    14    {
    15      c = a[d];
    16      if (c > 0.0) goto e;
    17    }
    18    bar(1, &c);
    19    exit (1);
    20  e:
    21    bar(0, &c);
    22    exit (0);
    23  }