1  /* { dg-do run } */
       2  /* { dg-options "-O2 -fipa-pta -fdump-ipa-pta2-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