1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-vrp1" } */
4 foo (int i, int j, int a)
12 /* This should fold to 'if (0)'. */
16 /* This should fold to 'if (1)'. */
20 /* This should fold to 'if (0)'. */
28 /* { dg-final { scan-tree-dump-times "Folding predicate i_\[0-9\]+.*0 to 0" 1 "vrp1" } } */
29 /* { dg-final { scan-tree-dump-times "Folding predicate j_\[0-9\]+.*0 to 1" 1 "vrp1" } } */
30 /* { dg-final { scan-tree-dump-times "Folding predicate i_\[0-9]+.*j_\[0-9\]+.* to 0" 1 "vrp1" { xfail *-*-* } } } */
31 /* { dg-final { cleanup-tree-dump "vrp1" } } */