2 /* { dg-options "-O2 -fipa-pta -fdump-ipa-pta2-details -fdump-tree-fre3-details" } */
6 static int __attribute__((noinline
,noclone
))
18 extern void abort (void);
22 if (foo (&a
, &b
) != 1)
27 /* Verify we can disambiguate *p and *q in foo. */
29 /* { dg-final { scan-ipa-dump "foo.arg0 = &a" "pta2" } } */
30 /* { dg-final { scan-ipa-dump "foo.arg1 = &b" "pta2" } } */
31 /* { dg-final { scan-tree-dump "Replaced \\\*p_2\\\(D\\\) with 1" "fre3" } } */