1 /* { dg-do run } */
2 /* { dg-options "-O2 -fipa-pta -fdump-ipa-pta-details" } */
3 
4 int **x;
5 
6 static int __attribute__((noinline,noclone))
foo(int ** q)7 foo (int **q)
8 {
9   int a = 1;
10   **q = 0;
11   *x = &a;
12   return **q;
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 
26 /* { dg-final { cleanup-ipa-dump "pta" } } */
27