| /* { dg-do compile } */ | |
| /* { dg-options "-O2 -Warray-bounds" } */ | |
| int t[1]; | |
| int a (void); | |
| int fct (int r, long e, int neg) | |
| { | |
| int d = 0; | |
| if (r == 4) | |
| r = neg ? 3 : 2; | |
| if (__builtin_expect(e < -52, 0)) | |
| d = r == 0 && a () ? 1 : 2; | |
| else | |
| { | |
| int i, n = 53; | |
| if (e < 0) | |
| n += e; | |
| for (i = 1 ; i < n / 64 + 1 ; i++) | |
| d = t[i]; /* { dg-bogus "array bounds" } */ | |
| } | |
| return d; | |
| } |