1  /* { dg-do compile} */
       2  /* { dg-options "-O2 -fdump-tree-evrp-details -fno-tree-fre -fno-tree-ccp -fno-tree-forwprop" } */
       3  
       4  int f(int x)
       5  {
       6      x = x|1;
       7      return x & 1;
       8  }
       9  
      10  /* { dg-final { scan-tree-dump "gimple_simplified to.* = 1" "evrp" } }  */