1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fno-tree-fre -fdisable-tree-evrp -fdump-tree-vrp1 -std=gnu89" } */
13 /* This should be folded to if (1). */
17 /* This should not be folded to if (1). */
21 /* This should be folded to if (1). */
30 /* { dg-final { scan-tree-dump-times "Folding predicate p_.. != 0B to 1" 2 "vrp1" } } */