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