1 /* With -ffast-math, the latice value for sum2 used to change from NaN to
2    VARYING, in turn causing the lattice value of sum1 * sum2 change from
3    NaN to 0 (since sum1 is believed to be 0 at that moment, and
4    0 * VARYING = 0 with -ffast-math), which caused an ICE.  */
5 
6 /* { dg-do compile } */
7 /* { dg-options "-O2 -ffast-math" } */
8 
9 int
foo(float * array,int end)10 foo (float *array, int end)
11 {
12   int i;
13   float sum1, sum2;
14 
15   sum2 = 0;
16   for (i = 0; i < end; i++)
17     sum2 = sum2+array[i];
18   sum2 = 1./sum2;
19   sum1 = 0.;
20   for (i = 0; i < end; i++)
21     sum1 = sum1+array[i];
22   sum1 = sum1 * sum2;
23   if (-10.0 / sum1 < 5.E-5)
24     end = 0;
25   return end;
26 }
27 
28