1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-vrp1" } */
       3  
       4  extern void vrp_keep (void);
       5  
       6  void
       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"} } */