| /* { dg-do compile } */ | |
| /* { dg-options "-O -fno-early-inlining -fdump-tree-ccp2" } */ | |
| int *p; | |
| int inline bar(void) { return 0; } | |
| int foo(int x) | |
| { | |
| int i; | |
| int *q; | |
| if (bar()) | |
| q = &i; | |
| else | |
| q = p; | |
| return *q + *p; | |
| } | |
| /* { dg-final { scan-tree-dump-not "NOTE: no flow-sensitive alias info for" "ccp2" } } */ |