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  }