gcc/testsuite/gcc.dg/ipa/ipa-pta-5.c

   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))
   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);
  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" } } */