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