1  /* { dg-do run } */
       2  /* { dg-options "-O2 -fipa-pta -fdump-ipa-pta2-details -fdump-tree-fre3-details" } */
       3  
       4  static int __attribute__((noinline,noclone))
       5  foo (int *p, int *q)
       6  {
       7    *p = 1;
       8    *q = 0;
       9    return *p;
      10  }
      11  
      12  extern void abort (void);
      13  
      14  int main()
      15  {
      16    int a, b;
      17    if (foo (&a, &b) != 1)
      18      abort ();
      19    return 0;
      20  }
      21  
      22  /* Verify we can disambiguate *p and *q in foo.  */
      23  
      24  /* { dg-final { scan-ipa-dump "foo.arg0 = &a" "pta2" } } */
      25  /* { dg-final { scan-ipa-dump "foo.arg1 = &b" "pta2" } } */
      26  /* { dg-final { scan-tree-dump "Replaced \\\*p_2\\\(D\\\) with 1" "fre3" } } */