| int __attribute__ ((noinline, noclone)) | |
| f (int *x, int n) | |
| { | |
| int b = 13; | |
| for (int i = 0; i < n; ++i) | |
| { | |
| int next = x[i]; | |
| b = b < 100 ? next : 200; | |
| } | |
| return b; | |
| } | |
| static int res[32]; | |
| int | |
| main (void) | |
| { | |
| for (int i = 0; i < 32; ++i) | |
| res[i] = i; | |
| res[15] = 100; | |
| if (f (res, 32) != 200) | |
| __builtin_abort (); | |
| return 0; | |
| } |