1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-vrp1" } */
       3  
       4  int 
       5  foo(int a)
       6  {
       7    int z = a | 1;
       8    return z != 0;
       9  }
      10  
      11  /* VRP should optimize this to a trivial "return 1".   */
      12  /* { dg-final { scan-tree-dump-times "return 1" 1 "vrp1" } } */
      13  
      14  
      15  
      16