1 /* { dg-do compile } */ 2 /* { dg-options "-O -fno-early-inlining -fdump-tree-ccp2" } */ 3 4 int *p; bar(void)5int inline bar(void) { return 0; } foo(int x)6int foo(int x) 7 { 8 int i; 9 int *q; 10 if (bar()) 11 q = &i; 12 else 13 q = p; 14 return *q + *p; 15 } 16 17 /* { dg-final { scan-tree-dump-not "NOTE: no flow-sensitive alias info for" "ccp2" } } */ 18