1  /* PR middle-end/36013 */
       2  
       3  extern void abort (void);
       4  
       5  void __attribute__((noinline))
       6  foo (int **__restrict p, int **__restrict q)
       7  {
       8    *p[0] = 1;
       9    *q[0] = 2;
      10    if (*p[0] != 2)
      11      abort ();
      12  }
      13  
      14  int
      15  main (void)
      16  {
      17    int a;
      18    int *p1 = &a, *p2 = &a;
      19    foo (&p1, &p2);
      20    return 0;
      21  }