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)7f2 (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