1 /* PR tree-optimization/25382
2    VRP used to ignore BIT_AND_EXPRs for the purpose of distilling ranges.
3    Check that VRP now gets ranges from BIT_AND_EXPRs.  */
4 
5 /* { dg-do compile } */
6 /* { dg-options "-O2 -fno-tree-ccp -fdisable-tree-evrp -fdump-tree-vrp1" } */
7 
8 int
foo(int a)9 foo (int a)
10 {
11   int b = a & 0xff;
12   if (b > 300)
13     return 2;
14   else
15     return 1;
16 }
17 
18 /* { dg-final { scan-tree-dump-times "Folding predicate b_.* > 300 to 0" 1 "vrp1" } } */
19