1 /* { dg-do run } */
2 /* { dg-options "-fipa-pta" } */
3 
4 int **x;
5 
6 static int __attribute__((noinline,noclone))
foo(int ** p)7 foo (int **p)
8 {
9   int a = 1;
10   **p = 0;
11   *x = &a;
12   return **p;
13 }
14 
15 extern void abort (void);
main()16 int main()
17 {
18   int b;
19   int *p = &b;
20   x = &p;
21   if (foo (&p) != 1)
22     abort ();
23   return 0;
24 }
25