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