1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-vrp1" } */
4 extern void vrp_keep (void);
11 /* s in [minint, 1]. */
13 /* b in range [1, 2]. */
15 /* b in range [minint+4, maxint-3]. */
20 /* { dg-final { scan-tree-dump-times "vrp_keep \\(" 1 "vrp1"} } */