1int __attribute__((noinline)) 2foo (int *__restrict p, int i) 3{ 4 int *__restrict q; 5 int *__restrict r; 6 int v, w; 7 q = p + 1; 8 r = q - i; 9 v = *r; 10 *p = 1; 11 w = *r; 12 return v + w; 13} 14extern void abort (void); 15int main() 16{ 17 int i = 0; 18 if (foo (&i, 1) != 1) 19 abort (); 20 return 0; 21} 22 23