1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
/* { dg-do compile } */ /* { dg-options "-O2 -fdump-tree-vrp" } */ int g, h; int foo (int a) { int *p; if (a) p = &g; else p = &h; if (p != 0) return 1; else return 0; } /* { dg-final { scan-tree-dump-times "Folding predicate.*to 1" 1 "vrp" } } */ /* { dg-final { cleanup-tree-dump "vrp" } } */