1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-vrp1" } */
3 
f(_Bool a)4 int f(_Bool a)
5 {
6   int t = a;
7   if (t != 2)
8    return 0;
9   return 1;
10 }
11 
f1(unsigned char a)12 int f1(unsigned char a)
13 {
14   int t = a;
15   if (t != 256)
16    return 0;
17   return 1;
18 }
19 
f3(unsigned char c)20 int f3 (unsigned char c)
21 {
22   int i = c;
23   if (i < 0 || i > 255)
24     return -1;
25   else
26     return 0;
27 }
28 
29 /* { dg-final { scan-tree-dump-times "if " 0 "vrp1" } } */
30 
31 
32