8 …if(b > true)    {} // expected-warning {{comparison of true with expression of type 'bool' is alwa…  in f()
9   if(b < true)    {} // no warning  in f()
10   if(b >= true)   {} // no warning  in f()
11 …if(b <= true)   {} // expected-warning {{comparison of true with expression of type 'bool' is alwa…  in f()
12   if(b == true)   {} // no warning  in f()
13   if(b != true)   {} // no warning  in f()
15   if(b > false)   {} // no warning  in f()
16 …if(b < false)   {} // expected-warning {{comparison of false with expression of type 'bool' is alw…  in f()
17 …if(b >= false)  {} // expected-warning {{comparison of false with expression of type 'bool' is alw…  in f()
18   if(b <= false)  {} // no warning  in f()
19   if(b == false)  {} // no warning  in f()
20   if(b != false)  {} // no warning  in f()
22 …if(b > 1U){} // expected-warning {{comparison of constant 1 with expression of type 'bool' is alwa…  in f()
24   if (a > b)      {} // no warning  in f()
25   if (a < b)      {} // no warning  in f()
26   if (a >= b)     {} // no warning  in f()
27   if (a <= b)     {} // no warning  in f()
28   if (a == b)     {} // no warning  in f()
29   if (a != b)     {} // no warning  in f()
31   if (a > 0) {} // no warning  in f()
32 …if (a > 1) {} // expected-warning {{comparison of constant 1 with expression of type 'bool' is alw…  in f()
33 …if (a > 2) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is alw…  in f()
35 …if (a >= 0) {} // expected-warning {{comparison of constant 0 with expression of type 'bool' is al…  in f()
36   if (a >= 1) {} // no warning  in f()
37 …if (a >= 2) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is al…  in f()
38 …if (a >= -1) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is …  in f()
40   if (a <= 0) {} // no warning  in f()
41 …if (a <= 1) {} // expected-warning {{comparison of constant 1 with expression of type 'bool' is al…  in f()
42 …if (a <= 2) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is al…  in f()
43 …if (a <= -1) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is …  in f()
45   if (!a > 0)     {} // no warning  in f()
46 …if (!a > 1)     {} // expected-warning {{comparison of constant 1 with expression of type 'bool' i…  in f()
47 …if (!a > 2)     {} // expected-warning {{comparison of constant 2 with expression of type 'bool' i…  in f()
48   if (!a > y)     {} // no warning  in f()
49   if (!a > b)     {} // no warning  in f()
50 …if (!a > -1)    {} // expected-warning {{comparison of constant -1 with expression of type 'bool' …  in f()
52 …if (!a < 0)     {} // expected-warning {{comparison of constant 0 with expression of type 'bool' i…  in f()
53   if (!a < 1)     {} // no warning  in f()
54 …if (!a < 2)     {} // expected-warning {{comparison of constant 2 with expression of type 'bool' i…  in f()
55   if (!a < y)     {} // no warning  in f()
56   if (!a < b)     {} // no warning  in f()
57 …if (!a < -1)    {} // expected-warning {{comparison of constant -1 with expression of type 'bool' …  in f()
59 …if (!a >= 0)    {} // expected-warning {{comparison of constant 0 with expression of type 'bool' i…  in f()
60   if (!a >= 1)    {} // no warning  in f()
61 …if (!a >= 2)    {} // expected-warning {{comparison of constant 2 with expression of type 'bool' i…  in f()
62   if (!a >= y)    {} // no warning  in f()
63   if (!a >= b)    {} // no warning  in f()
64 …if (!a >= -1)   {} // expected-warning {{comparison of constant -1 with expression of type 'bool' …  in f()
66   if (!a <= 0)    {} // no warning  in f()
67 …if (!a <= 1)    {} // expected-warning {{comparison of constant 1 with expression of type 'bool' i…  in f()
68 …if (!a <= 2)    {} // expected-warning {{comparison of constant 2 with expression of type 'bool' i…  in f()
69   if (!a <= y)    {} // no warning  in f()
70   if (!a <= b)    {} // no warning  in f()
71 …if (!a <= -1)   {} // expected-warning {{comparison of constant -1 with expression of type 'bool' …  in f()
73   if ((a||b) > 0) {} // no warning  in f()
74 …if ((a||b) > 1) {} // expected-warning {{comparison of constant 1 with expression of type 'bool' i…  in f()
75 …if ((a||b) > 4) {} // expected-warning {{comparison of constant 4 with expression of type 'bool' i…  in f()
76 …if ((a||b) > -1) {}// expected-warning {{comparison of constant -1 with expression of type 'bool' …  in f()
78   if ((a&&b) > 0) {} // no warning  in f()
79 …if ((a&&b) > 1) {} // expected-warning {{comparison of constant 1 with expression of type 'bool' i…  in f()
80 …if ((a&&b) > 4) {} // expected-warning {{comparison of constant 4 with expression of type 'bool' i…  in f()
82   if ((a<y) > 0)  {} // no warning  in f()
83 …if ((a<y) > 1)  {} // expected-warning {{comparison of constant 1 with expression of type 'bool' i…  in f()
84 …if ((a<y) > 4)  {} // expected-warning {{comparison of constant 4 with expression of type 'bool' i…  in f()
85   if ((a<y) > z)  {} // no warning  in f()
86 …if ((a<y) > -1) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' …  in f()
88   if ((a<y) == 0) {} // no warning  in f()
89   if ((a<y) == 1) {} // no warning  in f()
90 …if ((a<y) == 2) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' i…  in f()
91   if ((a<y) == z) {} // no warning  in f()
92 …if ((a<y) == -1) {}// expected-warning {{comparison of constant -1 with expression of type 'bool' …  in f()
94   if ((a<y) != 0) {} // no warning  in f()
95   if ((a<y) != 1) {} // no warning  in f()
96 …if ((a<y) != 2) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' i…  in f()
97   if ((a<y) != z) {} // no warning  in f()
98 …if ((a<y) != -1) {}// expected-warning {{comparison of constant -1 with expression of type 'bool' …  in f()
100   if ((a<y) == z) {} // no warning  in f()
101 …if (a>y<z)      {} // expected-warning {{comparisons like 'X<=Y<=Z' don't have their mathematical …  in f()
102   if ((a<y) > z)  {} // no warning  in f()
103   if((a<y)>(z<y)) {} // no warning  in f()
104   if((a<y)==(z<y)){} // no warning  in f()
105   if((a<y)!=(z<y)){} // no warning  in f()
106   if((z==x)<(y==z)){}  // no warning  in f()
107   if((a<y)!=((z==x)<(y==z))){} // no warning  in f()
110 …if (0 > !a)     {} // expected-warning {{comparison of constant 0 with expression of type 'bool' i…  in f()
111   if (1 > !a)     {} // no warning  in f()
112 …if (2 > !a)     {} // expected-warning {{comparison of constant 2 with expression of type 'bool' i…  in f()
113   if (y > !a)     {} // no warning  in f()
114 …if (-1 > !a)    {} // expected-warning {{comparison of constant -1 with expression of type 'bool' …  in f()
116   if (0 < !a)     {} // no warning  in f()
117 …if (1 < !a)     {} // expected-warning {{comparison of constant 1 with expression of type 'bool' i…  in f()
118 …if (2 < !a)     {} // expected-warning {{comparison of constant 2 with expression of type 'bool' i…  in f()
119   if (y < !a)     {} // no warning  in f()
120 …if (-1 < !a)    {} // expected-warning {{comparison of constant -1 with expression of type 'bool' …  in f()
123   if (0 >= !a)    {} // no warning  in f()
124 …if (1 >= !a)    {} // expected-warning {{comparison of constant 1 with expression of type 'bool' i…  in f()
125 …if (2 >= !a)    {} // expected-warning {{comparison of constant 2 with expression of type 'bool' i…  in f()
126   if (y >= !a)    {} // no warning  in f()
127 …if (-1 >= !a)   {} // expected-warning {{comparison of constant -1 with expression of type 'bool' …  in f()
129 …if (0 <= !a)    {} // expected-warning {{comparison of constant 0 with expression of type 'bool' i…  in f()
130   if (1 <= !a)    {} // no warning  in f()
131 …if (2 <= !a)    {} // expected-warning {{comparison of constant 2 with expression of type 'bool' i…  in f()
132   if (y <= !a)    {} //  in f()
133 …if (-1 <= !a)   {} // expected-warning {{comparison of constant -1 with expression of type 'bool' …  in f()
135 …if (0 > (a||b)) {} // expected-warning {{comparison of constant 0 with expression of type 'bool' i…  in f()
136   if (1 > (a||b)) {} // no warning  in f()
137 …if (4 > (a||b)) {} // expected-warning {{comparison of constant 4 with expression of type 'bool' i…  in f()
139 …if (0 > (a&&b)) {} // expected-warning {{comparison of constant 0 with expression of type 'bool' i…  in f()
140   if (1 > (a&&b)) {} // no warning  in f()
141 …if (4 > (a&&b)) {} // expected-warning {{comparison of constant 4 with expression of type 'bool' i…  in f()
143 …if (0 > (a<y))  {} // expected-warning {{comparison of constant 0 with expression of type 'bool' i…  in f()
144   if (1 > (a<y))  {} // no warning  in f()
145 …if (4 > (a<y))  {} // expected-warning {{comparison of constant 4 with expression of type 'bool' i…  in f()
146   if (z > (a<y))  {} //  in f()
147 …if (-1 > (a<y)) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' …  in f()
149   if (0 == (a<y)) {} // no warning  in f()
150   if (1 == (a<y)) {} // no warning  in f()
151 …if (2 == (a<y)) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' i…  in f()
152   if (z == (a<y)) {} // no warning  in f()
153 …if (-1 == (a<y)){} // expected-warning {{comparison of constant -1 with expression of type 'bool' …  in f()
155   if (0 !=(a<y))  {} // no warning  in f()
156   if (1 !=(a<y))  {} // no warning  in f()
157 …if (2 !=(a<y))  {} // expected-warning {{comparison of constant 2 with expression of type 'bool' i…  in f()
158   if (z !=(a<y))  {} // no warning  in f()
159 …if (-1 !=(a<y)) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' …  in f()
161   if (z ==(a<y))  {} // no warning  in f()
162 …if (z<a>y)      {} // expected-warning {{comparisons like 'X<=Y<=Z' don't have their mathematical …  in f()
163   if (z > (a<y))  {} // no warning  in f()
164   if((z<y)>(a<y)) {} // no warning  in f()
165   if((z<y)==(a<y)){} // no warning  in f()
166   if((z<y)!=(a<y)){} // no warning  in f()
167   if((y==z)<(z==x)){} // no warning  in f()
168   if(((z==x)<(y==z))!=(a<y)){}  // no warning  in f()
170   if(((z==x)<(-1==z))!=(a<y)){} // no warning  in f()
171   if(((z==x)<(z==-1))!=(a<y)){} // no warning  in f()
172 …if(((z==x)<-1)!=(a<y)){} // expected-warning {{comparison of constant -1 with expression of type '…  in f()
173 …if(((z==x)< 2)!=(a<y)){} // expected-warning {{comparison of constant 2 with expression of type 'b…  in f()
174   if(((z==x)<(z>2))!=(a<y)){} // no warning  in f()
182     if (t > 0)  in f()
185       if (t < 0)  in f()
190     if(r<0){}  in f()
192     if (T x = t) {  in f()