1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-vrp1" } */
3 
4 int
foo(int a)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 
17