| /* PR tree-optimization/86835 */ |
| /* { dg-do run } */ |
| /* { dg-options "-O2 -ffast-math -Wuninitialized" } */ |
| |
| __attribute__((noipa)) void |
| foo (int n, double *x, double *y) |
| { /* { dg-bogus "is used uninitialized in this function" "" { target *-*-* } 0 } */ |
| int i; |
| double b = y[4]; |
| for (i = 0; i < n; ++i) |
| y[3] += __builtin_sin (x[i] / b); |
| y[0] /= b; |
| y[1] /= b * b; |
| y[2] /= b; |
| } |
| |
| int |
| main () |
| { |
| double y[] = { 16.0, 64.0, 128.0, 0.0, 2.0 }; |
| foo (0, y, y); |
| if (__builtin_fabs (y[0] - 8.0) > 0.0001 |
| || __builtin_fabs (y[1] - 16.0) > 0.0001 |
| || __builtin_fabs (y[2] - 64.0) > 0.0001 |
| || y[3] != 0.0 |
| || y[4] != 2.0) |
| __builtin_abort (); |
| return 0; |
| } |
