1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-vrp1" } */
3 
f(int i)4 int f(int i)
5 {
6   _Bool t = !i;
7   int g = !t && i;
8   int h = g == 3;
9   return h;
10 }
11 
12 /* { dg-final { scan-tree-dump "return 0;" "vrp1" } } */
13 
14