1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fno-tree-ccp -fno-tree-dominator-opts -fdump-tree-vrp1" } */
       3  
       4  int foo (int x, int b)
       5  {
       6    int cst;
       7    if (b)
       8      cst = -__INT_MAX__ - 1;
       9    else
      10      cst = -__INT_MAX__;
      11    x = x | cst;
      12    if (x >= 0)
      13      return 12345;
      14    return x;
      15  }
      16  
      17  int bar (int x, int b)
      18  {
      19    int cst;
      20    if (b)
      21      cst = __INT_MAX__;
      22    else
      23      cst = __INT_MAX__ - 1;
      24    x = x & cst;
      25    if (x < 0)
      26      return 12345;
      27    return x;
      28  }
      29  
      30  /* { dg-final { scan-tree-dump-not "12345" "vrp1" } } */