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