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