1 double a[3] = { 0.0, 1.0, 2.0 };
2 
bar(int x,double * y)3 void bar (int x, double *y)
4 {
5   if (x || *y != 1.0)
6     abort ();
7 }
8 
main()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 }
24