1 // RUN: %clang_cc1 -fsyntax-only -verify %s -Wno-logical-not-parentheses
2
3
f(int x,int y,int z)4 void f(int x, int y, int z) {
5 int a,b;
6
7
8 if ((a > 2) > 1) {} // expected-warning {{comparison of constant 1 with boolean expression is always false}}
9
10 if (a > b) {} // no warning
11 if (a < b) {} // no warning
12 if (a >= b) {} // no warning
13 if (a <= b) {} // no warning
14 if (a == b) {} // no warning
15 if (a != b) {} // no warning
16
17 if (a > 0) {} // no warning
18 if (a > 1) {} // no warning
19 if (a > 2) {} // no warning
20
21 if (a >= 0) {} // no warning
22 if (a >= 1) {} // no warning
23 if (a >= 2) {} // no warning
24 if (a >= -1) {} // no warning
25
26 if (a <= 0) {} // no warning
27 if (a <= 1) {} // no warning
28 if (a <= 2) {} // no warning
29 if (a <= -1) {} // no warning
30
31
32 if (!a > 0) {} // no warning
33 if (!a > 1) {} // expected-warning {{comparison of constant 1 with boolean expression is always false}}
34 if (!a > 2) {} // expected-warning {{comparison of constant 2 with boolean expression is always false}}
35 if (!a > y) {} // no warning
36 if (!a > b) {} // no warning
37 if (!a > -1) {} // expected-warning {{comparison of constant -1 with boolean expression is always true}}
38
39 if (!a < 0) {} // expected-warning {{comparison of constant 0 with boolean expression is always false}}
40 if (!a < 1) {} // no warning
41 if (!a < 2) {} // expected-warning {{comparison of constant 2 with boolean expression is always true}}
42 if (!a < y) {} // no warning
43 if (!a < b) {} // no warning
44 if (!a < -1) {} // expected-warning {{comparison of constant -1 with boolean expression is always false}}
45
46 if (!a >= 0) {} // expected-warning {{comparison of constant 0 with boolean expression is always true}}
47 if (!a >= 1) {} // no warning
48 if (!a >= 2) {} // expected-warning {{comparison of constant 2 with boolean expression is always false}}
49 if (!a >= y) {} // no warning
50 if (!a >= b) {} // no warning
51 if (!a >= -1) {} // expected-warning {{comparison of constant -1 with boolean expression is always true}}
52
53 if (!a <= 0) {} // no warning
54 if (!a <= 1) {} // expected-warning {{comparison of constant 1 with boolean expression is always true}}
55 if (!a <= 2) {} // expected-warning {{comparison of constant 2 with boolean expression is always true}}
56 if (!a <= y) {} // no warning
57 if (!a <= b) {} // no warning
58 if (!a <= -1) {} // expected-warning {{comparison of constant -1 with boolean expression is always false}}
59
60 if ((a||b) > 0) {} // no warning
61 if ((a||b) > 1) {} // expected-warning {{comparison of constant 1 with boolean expression is always false}}
62 if ((a||b) > 4) {} // expected-warning {{comparison of constant 4 with boolean expression is always false}}
63 if ((a||b) > -1) {}// expected-warning {{comparison of constant -1 with boolean expression is always true}}
64
65 if ((a&&b) > 0) {} // no warning
66 if ((a&&b) > 1) {} // expected-warning {{comparison of constant 1 with boolean expression is always false}}
67 if ((a&&b) > 4) {} // expected-warning {{comparison of constant 4 with boolean expression is always false}}
68
69 if ((a<y) > 0) {} // no warning
70 if ((a<y) > 1) {} // expected-warning {{comparison of constant 1 with boolean expression is always false}}
71 if ((a<y) > 4) {} // expected-warning {{comparison of constant 4 with boolean expression is always false}}
72 if ((a<y) > z) {} // no warning
73 if ((a<y) > -1) {} // expected-warning {{comparison of constant -1 with boolean expression is always true}}
74
75 if ((a<y) == 0) {} // no warning
76 if ((a<y) == 1) {} // no warning
77 if ((a<y) == 2) {} // expected-warning {{comparison of constant 2 with boolean expression is always false}}
78 if ((a<y) == z) {} // no warning
79 if ((a<y) == -1) {}// expected-warning {{comparison of constant -1 with boolean expression is always false}}
80
81 if ((a<y) != 0) {} // no warning
82 if ((a<y) != 1) {} // no warning
83 if ((a<y) != 2) {} // expected-warning {{comparison of constant 2 with boolean expression is always true}}
84 if ((a<y) != z) {} // no warning
85 if ((a<y) != -1) {}// expected-warning {{comparison of constant -1 with boolean expression is always true}}
86
87 if ((a<y) == z) {} // no warning
88 if (a>y<z) {} // no warning
89 if ((a<y) > z) {} // no warning
90 if((a<y)>(z<y)) {} // no warning
91 if((a<y)==(z<y)){} // no warning
92 if((a<y)!=(z<y)){} // no warning
93 if((z==x)<(y==z)){}// no warning
94 if((a<y)!=((z==x)<(y==z))){} //no warning
95
96
97 if (0 > !a) {} // expected-warning {{comparison of constant 0 with boolean expression is always false}}
98 if (1 > !a) {} // no warning
99 if (2 > !a) {} // expected-warning {{comparison of constant 2 with boolean expression is always true}}
100 if (y > !a) {} // no warning
101 if (-1 > !a) {} // expected-warning {{comparison of constant -1 with boolean expression is always false}}
102
103 if (0 < !a) {} // no warning
104 if (1 < !a) {} // expected-warning {{comparison of constant 1 with boolean expression is always false}}
105 if (2 < !a) {} // expected-warning {{comparison of constant 2 with boolean expression is always false}}
106 if (y < !a) {} // no warning
107 if (-1 < !a) {} // expected-warning {{comparison of constant -1 with boolean expression is always true}}
108
109 if (0 >= !a) {} // no warning
110 if (1 >= !a) {} // expected-warning {{comparison of constant 1 with boolean expression is always true}}
111 if (2 >= !a) {} // expected-warning {{comparison of constant 2 with boolean expression is always true}}
112 if (y >= !a) {} // no warning
113 if (-1 >= !a) {} // expected-warning {{comparison of constant -1 with boolean expression is always false}}
114
115 if (0 <= !a) {} // expected-warning {{comparison of constant 0 with boolean expression is always true}}
116 if (1 <= !a) {} // no warning
117 if (2 <= !a) {} // expected-warning {{comparison of constant 2 with boolean expression is always false}}
118 if (y <= !a) {} // no warning
119 if (-1 <= !a) {} // expected-warning {{comparison of constant -1 with boolean expression is always true}}
120
121 if (0 > (a||b)) {} // expected-warning {{comparison of constant 0 with boolean expression is always false}}
122 if (1 > (a||b)) {} // no warning
123 if (4 > (a||b)) {} // expected-warning {{comparison of constant 4 with boolean expression is always true}}
124
125 if (0 > (a&&b)) {} // expected-warning {{comparison of constant 0 with boolean expression is always false}}
126 if (1 > (a&&b)) {} // no warning
127 if (4 > (a&&b)) {} // expected-warning {{comparison of constant 4 with boolean expression is always true}}
128
129 if (0 > (a<y)) {} // expected-warning {{comparison of constant 0 with boolean expression is always false}}
130 if (1 > (a<y)) {} // no warning
131 if (4 > (a<y)) {} // expected-warning {{comparison of constant 4 with boolean expression is always true}}
132 if (z > (a<y)) {} // no warning
133 if (-1 > (a<y)) {} // expected-warning {{comparison of constant -1 with boolean expression is always false}}
134
135 if (0 == (a<y)) {} // no warning
136 if (1 == (a<y)) {} // no warning
137 if (2 == (a<y)) {} // expected-warning {{comparison of constant 2 with boolean expression is always false}}
138 if (z == (a<y)) {} // no warning
139 if (-1 == (a<y)){} // expected-warning {{comparison of constant -1 with boolean expression is always false}}
140
141 if (0 !=(a<y)) {} // no warning
142 if (1 !=(a<y)) {} // no warning
143 if (2 !=(a<y)) {} // expected-warning {{comparison of constant 2 with boolean expression is always true}}
144 if (z !=(a<y)) {} // no warning
145 if (-1 !=(a<y)) {} // expected-warning {{comparison of constant -1 with boolean expression is always true}}
146
147 if (z ==(a<y)) {} // no warning
148 if (z<a>y) {} // no warning
149 if (z > (a<y)) {} // no warning
150 if((z<y)>(a<y)) {} // no warning
151 if((z<y)==(a<y)){} // no warning
152 if((z<y)!=(a<y)){} // no warning
153 if((y==z)<(z==x)){} // no warning
154 if(((z==x)<(y==z))!=(a<y)){} // no warning
155
156 if(((z==x)<(-1==z))!=(a<y)){} // no warning
157 if(((z==x)<(z==-1))!=(a<y)){} // no warning
158 if(((z==x)<-1)!=(a<y)){} // expected-warning {{comparison of constant -1 with boolean expression is always false}}
159 if(((z==x)< 2)!=(a<y)){} // expected-warning {{comparison of constant 2 with boolean expression is always true}}
160 if(((z==x)<(z>2))!=(a<y)){} // no warning
161
162 }
163