1 /* { dg-do compile } */
\r
2 /* { dg-options "-O2 -fno-tree-ccp -fdump-tree-vrp1" } */
\r
6 if (x >= 0 && x <= 3)
\r
16 if (x >= 0 && x <= 3)
\r
26 if (x >= 0 && x <= 3)
\r
34 /* { dg-final { scan-tree-dump-not " & 3;" "vrp1" } } */
\r
35 /* { dg-final { cleanup-tree-dump "vrp1" } } */
\r