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