|
150
|
1 // RUN: %clang_cc1 -fsyntax-only -verify %s
|
|
|
2
|
|
|
3
|
|
|
4 void f(int x, int y, int z) {
|
|
|
5
|
|
|
6 bool a,b;
|
|
|
7
|
|
|
8 if(b > true) {} // expected-warning {{comparison of true with expression of type 'bool' is always false}}
|
|
|
9 if(b < true) {} // no warning
|
|
|
10 if(b >= true) {} // no warning
|
|
|
11 if(b <= true) {} // expected-warning {{comparison of true with expression of type 'bool' is always true}}
|
|
|
12 if(b == true) {} // no warning
|
|
|
13 if(b != true) {} // no warning
|
|
|
14
|
|
|
15 if(b > false) {} // no warning
|
|
|
16 if(b < false) {} // expected-warning {{comparison of false with expression of type 'bool' is always false}}
|
|
|
17 if(b >= false) {} // expected-warning {{comparison of false with expression of type 'bool' is always true}}
|
|
|
18 if(b <= false) {} // no warning
|
|
|
19 if(b == false) {} // no warning
|
|
|
20 if(b != false) {} // no warning
|
|
|
21
|
|
|
22 if(b > 1U){} // expected-warning {{comparison of constant 1 with expression of type 'bool' is always false}}
|
|
|
23
|
|
|
24 if (a > b) {} // no warning
|
|
|
25 if (a < b) {} // no warning
|
|
|
26 if (a >= b) {} // no warning
|
|
|
27 if (a <= b) {} // no warning
|
|
|
28 if (a == b) {} // no warning
|
|
|
29 if (a != b) {} // no warning
|
|
|
30
|
|
|
31 if (a > 0) {} // no warning
|
|
|
32 if (a > 1) {} // expected-warning {{comparison of constant 1 with expression of type 'bool' is always false}}
|
|
|
33 if (a > 2) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always false}}
|
|
|
34
|
|
|
35 if (a >= 0) {} // expected-warning {{comparison of constant 0 with expression of type 'bool' is always true}}
|
|
|
36 if (a >= 1) {} // no warning
|
|
|
37 if (a >= 2) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always false}}
|
|
|
38 if (a >= -1) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always true}}
|
|
|
39
|
|
|
40 if (a <= 0) {} // no warning
|
|
|
41 if (a <= 1) {} // expected-warning {{comparison of constant 1 with expression of type 'bool' is always true}}
|
|
|
42 if (a <= 2) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always true}}
|
|
|
43 if (a <= -1) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always false}}
|
|
|
44
|
|
|
45 if (!a > 0) {} // no warning
|
|
|
46 if (!a > 1) {} // expected-warning {{comparison of constant 1 with expression of type 'bool' is always false}}
|
|
|
47 if (!a > 2) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always false}}
|
|
|
48 if (!a > y) {} // no warning
|
|
|
49 if (!a > b) {} // no warning
|
|
|
50 if (!a > -1) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always true}}
|
|
|
51
|
|
|
52 if (!a < 0) {} // expected-warning {{comparison of constant 0 with expression of type 'bool' is always false}}
|
|
|
53 if (!a < 1) {} // no warning
|
|
|
54 if (!a < 2) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always true}}
|
|
|
55 if (!a < y) {} // no warning
|
|
|
56 if (!a < b) {} // no warning
|
|
|
57 if (!a < -1) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always false}}
|
|
|
58
|
|
|
59 if (!a >= 0) {} // expected-warning {{comparison of constant 0 with expression of type 'bool' is always true}}
|
|
|
60 if (!a >= 1) {} // no warning
|
|
|
61 if (!a >= 2) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always false}}
|
|
|
62 if (!a >= y) {} // no warning
|
|
|
63 if (!a >= b) {} // no warning
|
|
|
64 if (!a >= -1) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always true}}
|
|
|
65
|
|
|
66 if (!a <= 0) {} // no warning
|
|
|
67 if (!a <= 1) {} // expected-warning {{comparison of constant 1 with expression of type 'bool' is always true}}
|
|
|
68 if (!a <= 2) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always true}}
|
|
|
69 if (!a <= y) {} // no warning
|
|
|
70 if (!a <= b) {} // no warning
|
|
|
71 if (!a <= -1) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always false}}
|
|
|
72
|
|
|
73 if ((a||b) > 0) {} // no warning
|
|
|
74 if ((a||b) > 1) {} // expected-warning {{comparison of constant 1 with expression of type 'bool' is always false}}
|
|
|
75 if ((a||b) > 4) {} // expected-warning {{comparison of constant 4 with expression of type 'bool' is always false}}
|
|
|
76 if ((a||b) > -1) {}// expected-warning {{comparison of constant -1 with expression of type 'bool' is always true}}
|
|
|
77
|
|
|
78 if ((a&&b) > 0) {} // no warning
|
|
|
79 if ((a&&b) > 1) {} // expected-warning {{comparison of constant 1 with expression of type 'bool' is always false}}
|
|
|
80 if ((a&&b) > 4) {} // expected-warning {{comparison of constant 4 with expression of type 'bool' is always false}}
|
|
|
81
|
|
|
82 if ((a<y) > 0) {} // no warning
|
|
|
83 if ((a<y) > 1) {} // expected-warning {{comparison of constant 1 with expression of type 'bool' is always false}}
|
|
|
84 if ((a<y) > 4) {} // expected-warning {{comparison of constant 4 with expression of type 'bool' is always false}}
|
|
|
85 if ((a<y) > z) {} // no warning
|
|
|
86 if ((a<y) > -1) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always true}}
|
|
|
87
|
|
|
88 if ((a<y) == 0) {} // no warning
|
|
|
89 if ((a<y) == 1) {} // no warning
|
|
|
90 if ((a<y) == 2) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always false}}
|
|
|
91 if ((a<y) == z) {} // no warning
|
|
|
92 if ((a<y) == -1) {}// expected-warning {{comparison of constant -1 with expression of type 'bool' is always false}}
|
|
|
93
|
|
|
94 if ((a<y) != 0) {} // no warning
|
|
|
95 if ((a<y) != 1) {} // no warning
|
|
|
96 if ((a<y) != 2) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always true}}
|
|
|
97 if ((a<y) != z) {} // no warning
|
|
|
98 if ((a<y) != -1) {}// expected-warning {{comparison of constant -1 with expression of type 'bool' is always true}}
|
|
|
99
|
|
|
100 if ((a<y) == z) {} // no warning
|
|
|
101 if (a>y<z) {} // no warning
|
|
|
102 if ((a<y) > z) {} // no warning
|
|
|
103 if((a<y)>(z<y)) {} // no warning
|
|
|
104 if((a<y)==(z<y)){} // no warning
|
|
|
105 if((a<y)!=(z<y)){} // no warning
|
|
|
106 if((z==x)<(y==z)){} // no warning
|
|
|
107 if((a<y)!=((z==x)<(y==z))){} // no warning
|
|
|
108
|
|
|
109
|
|
|
110 if (0 > !a) {} // expected-warning {{comparison of constant 0 with expression of type 'bool' is always false}}
|
|
|
111 if (1 > !a) {} // no warning
|
|
|
112 if (2 > !a) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always true}}
|
|
|
113 if (y > !a) {} // no warning
|
|
|
114 if (-1 > !a) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always false}}
|
|
|
115
|
|
|
116 if (0 < !a) {} // no warning
|
|
|
117 if (1 < !a) {} // expected-warning {{comparison of constant 1 with expression of type 'bool' is always false}}
|
|
|
118 if (2 < !a) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always false}}
|
|
|
119 if (y < !a) {} // no warning
|
|
|
120 if (-1 < !a) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always true}}
|
|
|
121
|
|
|
122
|
|
|
123 if (0 >= !a) {} // no warning
|
|
|
124 if (1 >= !a) {} // expected-warning {{comparison of constant 1 with expression of type 'bool' is always true}}
|
|
|
125 if (2 >= !a) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always true}}
|
|
|
126 if (y >= !a) {} // no warning
|
|
|
127 if (-1 >= !a) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always false}}
|
|
|
128
|
|
|
129 if (0 <= !a) {} // expected-warning {{comparison of constant 0 with expression of type 'bool' is always true}}
|
|
|
130 if (1 <= !a) {} // no warning
|
|
|
131 if (2 <= !a) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always false}}
|
|
|
132 if (y <= !a) {} //
|
|
|
133 if (-1 <= !a) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always true}}
|
|
|
134
|
|
|
135 if (0 > (a||b)) {} // expected-warning {{comparison of constant 0 with expression of type 'bool' is always false}}
|
|
|
136 if (1 > (a||b)) {} // no warning
|
|
|
137 if (4 > (a||b)) {} // expected-warning {{comparison of constant 4 with expression of type 'bool' is always true}}
|
|
|
138
|
|
|
139 if (0 > (a&&b)) {} // expected-warning {{comparison of constant 0 with expression of type 'bool' is always false}}
|
|
|
140 if (1 > (a&&b)) {} // no warning
|
|
|
141 if (4 > (a&&b)) {} // expected-warning {{comparison of constant 4 with expression of type 'bool' is always true}}
|
|
|
142
|
|
|
143 if (0 > (a<y)) {} // expected-warning {{comparison of constant 0 with expression of type 'bool' is always false}}
|
|
|
144 if (1 > (a<y)) {} // no warning
|
|
|
145 if (4 > (a<y)) {} // expected-warning {{comparison of constant 4 with expression of type 'bool' is always true}}
|
|
|
146 if (z > (a<y)) {} //
|
|
|
147 if (-1 > (a<y)) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always false}}
|
|
|
148
|
|
|
149 if (0 == (a<y)) {} // no warning
|
|
|
150 if (1 == (a<y)) {} // no warning
|
|
|
151 if (2 == (a<y)) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always false}}
|
|
|
152 if (z == (a<y)) {} // no warning
|
|
|
153 if (-1 == (a<y)){} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always false}}
|
|
|
154
|
|
|
155 if (0 !=(a<y)) {} // no warning
|
|
|
156 if (1 !=(a<y)) {} // no warning
|
|
|
157 if (2 !=(a<y)) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always true}}
|
|
|
158 if (z !=(a<y)) {} // no warning
|
|
|
159 if (-1 !=(a<y)) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always true}}
|
|
|
160
|
|
|
161 if (z ==(a<y)) {} // no warning
|
|
|
162 if (z<a>y) {} // no warning
|
|
|
163 if (z > (a<y)) {} // no warning
|
|
|
164 if((z<y)>(a<y)) {} // no warning
|
|
|
165 if((z<y)==(a<y)){} // no warning
|
|
|
166 if((z<y)!=(a<y)){} // no warning
|
|
|
167 if((y==z)<(z==x)){} // no warning
|
|
|
168 if(((z==x)<(y==z))!=(a<y)){} // no warning
|
|
|
169
|
|
|
170 if(((z==x)<(-1==z))!=(a<y)){} // no warning
|
|
|
171 if(((z==x)<(z==-1))!=(a<y)){} // no warning
|
|
|
172 if(((z==x)<-1)!=(a<y)){} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always false}}
|
|
|
173 if(((z==x)< 2)!=(a<y)){} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always true}}
|
|
|
174 if(((z==x)<(z>2))!=(a<y)){} // no warning
|
|
|
175
|
|
|
176 }
|
|
|
177
|
|
|
178
|
|
|
179 template<typename T, typename U, typename V> struct X6 {
|
|
|
180 U f(T t, U u, V v) {
|
|
|
181 // IfStmt
|
|
|
182 if (t > 0)
|
|
|
183 return u;
|
|
|
184 else {
|
|
|
185 if (t < 0)
|
|
|
186 return v; // expected-error{{cannot initialize return object of type}}
|
|
|
187 }
|
|
|
188 bool r;
|
|
|
189 // FIXME: We should warn here, DiagRuntimeBehavior does currently not detect this.
|
|
|
190 if(r<0){}
|
|
|
191
|
|
|
192 if (T x = t) {
|
|
|
193 t = x;
|
|
|
194 }
|
|
|
195 return v; // expected-error{{cannot initialize return object of type}}
|
|
|
196 }
|
|
|
197 };
|
|
|
198
|
|
|
199 struct ConvertibleToInt {
|
|
|
200 operator int() const;
|
|
|
201 };
|
|
|
202
|
|
|
203 template struct X6<ConvertibleToInt, float, char>;
|
|
|
204 template struct X6<bool, int, int*>; // expected-note{{instantiation}}
|
|
|
205
|
|
|
206
|
|
|
207
|
