1 int __attribute__((noinline))
foo(int * __restrict p,int i)2 foo (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 }
14 extern void abort (void);
main()15 int main()
16 {
17   int i = 0;
18   if (foo (&i, 1) != 1)
19     abort ();
20   return 0;
21 }
22 
23