1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-vrp1" } */
3 
4 extern void vrp_keep (void);
5 
6 void
f2(int s,int b)7 f2 (int s, int b)
8 {
9   if (s > 1)
10     s = 1;
11   /* s in [minint, 1].   */
12   b = (b & 1) + 1;
13   /* b in range [1, 2].  */
14   b = s << b;
15   /* b in range [minint+4, maxint-3].  */
16   if (b == -2)
17     vrp_keep ();
18 }
19 
20 /* { dg-final { scan-tree-dump-times "vrp_keep \\(" 1 "vrp1"} } */
21