1// RUN: %clang_cc1 -fsyntax-only -verify %s
2
3
4void 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