gcc/testsuite/gcc.dg/torture/ipa-pta-2.c

   1 /* { dg-do run } */
   2 /* { dg-options "-fipa-pta" } */
   3
   4 int **x;
   5
   6 static int __attribute__((noinline,noclone))
   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);
  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 }