1 /* { dg-do compile } */
2 /* { dg-options "-Ofast -fdump-tree-vrp1" } */
3 
4 void g (void);
5 void g1 (void);
6 
7 void
f(long a,long b,long c,long d,int x)8 f (long a, long b, long c, long d, int x)
9 {
10   _Bool t;
11   if (x)
12     t = c < d;
13   else
14     t = a < b;
15 
16   if (t)
17     {
18       g1 ();
19       g ();
20     }
21 }
22 
23 /* { dg-final { scan-tree-dump-times "Removing basic block" 1 "vrp1" } } */
24