diff options
Diffstat (limited to 'test/SemaCXX/bool-compare.cpp')
-rw-r--r-- | test/SemaCXX/bool-compare.cpp | 207 |
1 files changed, 207 insertions, 0 deletions
diff --git a/test/SemaCXX/bool-compare.cpp b/test/SemaCXX/bool-compare.cpp new file mode 100644 index 000000000000..fe47633bb23b --- /dev/null +++ b/test/SemaCXX/bool-compare.cpp @@ -0,0 +1,207 @@ +// RUN: %clang_cc1 -fsyntax-only -verify %s + + +void f(int x, int y, int z) { + + bool a,b; + + if(b > true) {} // expected-warning {{comparison of true with expression of type 'bool' is always false}} + if(b < true) {} // no warning + if(b >= true) {} // no warning + if(b <= true) {} // expected-warning {{comparison of true with expression of type 'bool' is always true}} + if(b == true) {} // no warning + if(b != true) {} // no warning + + if(b > false) {} // no warning + if(b < false) {} // expected-warning {{comparison of false with expression of type 'bool' is always false}} + if(b >= false) {} // expected-warning {{comparison of false with expression of type 'bool' is always true}} + if(b <= false) {} // no warning + if(b == false) {} // no warning + if(b != false) {} // no warning + + if(b > 1U){} // expected-warning {{comparison of constant 1 with expression of type 'bool' is always false}} + + if (a > b) {} // no warning + if (a < b) {} // no warning + if (a >= b) {} // no warning + if (a <= b) {} // no warning + if (a == b) {} // no warning + if (a != b) {} // no warning + + if (a > 0) {} // no warning + if (a > 1) {} // expected-warning {{comparison of constant 1 with expression of type 'bool' is always false}} + if (a > 2) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always false}} + + if (a >= 0) {} // expected-warning {{comparison of constant 0 with expression of type 'bool' is always true}} + if (a >= 1) {} // no warning + if (a >= 2) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always false}} + if (a >= -1) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always true}} + + if (a <= 0) {} // no warning + if (a <= 1) {} // expected-warning {{comparison of constant 1 with expression of type 'bool' is always true}} + if (a <= 2) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always true}} + if (a <= -1) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always false}} + + if (!a > 0) {} // no warning + if (!a > 1) {} // expected-warning {{comparison of constant 1 with expression of type 'bool' is always false}} + if (!a > 2) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always false}} + if (!a > y) {} // no warning + if (!a > b) {} // no warning + if (!a > -1) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always true}} + + if (!a < 0) {} // expected-warning {{comparison of constant 0 with expression of type 'bool' is always false}} + if (!a < 1) {} // no warning + if (!a < 2) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always true}} + if (!a < y) {} // no warning + if (!a < b) {} // no warning + if (!a < -1) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always false}} + + if (!a >= 0) {} // expected-warning {{comparison of constant 0 with expression of type 'bool' is always true}} + if (!a >= 1) {} // no warning + if (!a >= 2) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always false}} + if (!a >= y) {} // no warning + if (!a >= b) {} // no warning + if (!a >= -1) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always true}} + + if (!a <= 0) {} // no warning + if (!a <= 1) {} // expected-warning {{comparison of constant 1 with expression of type 'bool' is always true}} + if (!a <= 2) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always true}} + if (!a <= y) {} // no warning + if (!a <= b) {} // no warning + if (!a <= -1) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always false}} + + if ((a||b) > 0) {} // no warning + if ((a||b) > 1) {} // expected-warning {{comparison of constant 1 with expression of type 'bool' is always false}} + if ((a||b) > 4) {} // expected-warning {{comparison of constant 4 with expression of type 'bool' is always false}} + if ((a||b) > -1) {}// expected-warning {{comparison of constant -1 with expression of type 'bool' is always true}} + + if ((a&&b) > 0) {} // no warning + if ((a&&b) > 1) {} // expected-warning {{comparison of constant 1 with expression of type 'bool' is always false}} + if ((a&&b) > 4) {} // expected-warning {{comparison of constant 4 with expression of type 'bool' is always false}} + + if ((a<y) > 0) {} // no warning + if ((a<y) > 1) {} // expected-warning {{comparison of constant 1 with expression of type 'bool' is always false}} + if ((a<y) > 4) {} // expected-warning {{comparison of constant 4 with expression of type 'bool' is always false}} + if ((a<y) > z) {} // no warning + if ((a<y) > -1) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always true}} + + if ((a<y) == 0) {} // no warning + if ((a<y) == 1) {} // no warning + if ((a<y) == 2) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always false}} + if ((a<y) == z) {} // no warning + if ((a<y) == -1) {}// expected-warning {{comparison of constant -1 with expression of type 'bool' is always false}} + + if ((a<y) != 0) {} // no warning + if ((a<y) != 1) {} // no warning + if ((a<y) != 2) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always true}} + if ((a<y) != z) {} // no warning + if ((a<y) != -1) {}// expected-warning {{comparison of constant -1 with expression of type 'bool' is always true}} + + if ((a<y) == z) {} // no warning + if (a>y<z) {} // no warning + if ((a<y) > z) {} // no warning + if((a<y)>(z<y)) {} // no warning + if((a<y)==(z<y)){} // no warning + if((a<y)!=(z<y)){} // no warning + if((z==x)<(y==z)){} // no warning + if((a<y)!=((z==x)<(y==z))){} // no warning + + + if (0 > !a) {} // expected-warning {{comparison of constant 0 with expression of type 'bool' is always false}} + if (1 > !a) {} // no warning + if (2 > !a) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always true}} + if (y > !a) {} // no warning + if (-1 > !a) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always false}} + + if (0 < !a) {} // no warning + if (1 < !a) {} // expected-warning {{comparison of constant 1 with expression of type 'bool' is always false}} + if (2 < !a) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always false}} + if (y < !a) {} // no warning + if (-1 < !a) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always true}} + + + if (0 >= !a) {} // no warning + if (1 >= !a) {} // expected-warning {{comparison of constant 1 with expression of type 'bool' is always true}} + if (2 >= !a) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always true}} + if (y >= !a) {} // no warning + if (-1 >= !a) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always false}} + + if (0 <= !a) {} // expected-warning {{comparison of constant 0 with expression of type 'bool' is always true}} + if (1 <= !a) {} // no warning + if (2 <= !a) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always false}} + if (y <= !a) {} // + if (-1 <= !a) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always true}} + + if (0 > (a||b)) {} // expected-warning {{comparison of constant 0 with expression of type 'bool' is always false}} + if (1 > (a||b)) {} // no warning + if (4 > (a||b)) {} // expected-warning {{comparison of constant 4 with expression of type 'bool' is always true}} + + if (0 > (a&&b)) {} // expected-warning {{comparison of constant 0 with expression of type 'bool' is always false}} + if (1 > (a&&b)) {} // no warning + if (4 > (a&&b)) {} // expected-warning {{comparison of constant 4 with expression of type 'bool' is always true}} + + if (0 > (a<y)) {} // expected-warning {{comparison of constant 0 with expression of type 'bool' is always false}} + if (1 > (a<y)) {} // no warning + if (4 > (a<y)) {} // expected-warning {{comparison of constant 4 with expression of type 'bool' is always true}} + if (z > (a<y)) {} // + if (-1 > (a<y)) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always false}} + + if (0 == (a<y)) {} // no warning + if (1 == (a<y)) {} // no warning + if (2 == (a<y)) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always false}} + if (z == (a<y)) {} // no warning + if (-1 == (a<y)){} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always false}} + + if (0 !=(a<y)) {} // no warning + if (1 !=(a<y)) {} // no warning + if (2 !=(a<y)) {} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always true}} + if (z !=(a<y)) {} // no warning + if (-1 !=(a<y)) {} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always true}} + + if (z ==(a<y)) {} // no warning + if (z<a>y) {} // no warning + if (z > (a<y)) {} // no warning + if((z<y)>(a<y)) {} // no warning + if((z<y)==(a<y)){} // no warning + if((z<y)!=(a<y)){} // no warning + if((y==z)<(z==x)){} // no warning + if(((z==x)<(y==z))!=(a<y)){} // no warning + + if(((z==x)<(-1==z))!=(a<y)){} // no warning + if(((z==x)<(z==-1))!=(a<y)){} // no warning + if(((z==x)<-1)!=(a<y)){} // expected-warning {{comparison of constant -1 with expression of type 'bool' is always false}} + if(((z==x)< 2)!=(a<y)){} // expected-warning {{comparison of constant 2 with expression of type 'bool' is always true}} + if(((z==x)<(z>2))!=(a<y)){} // no warning + +} + + +template<typename T, typename U, typename V> struct X6 { + U f(T t, U u, V v) { + // IfStmt + if (t > 0) + return u; + else { + if (t < 0) + return v; // expected-error{{cannot initialize return object of type}} + } + bool r; + // FIXME: We should warn here, DiagRuntimeBehavior does currently not detect this. + if(r<0){} + + if (T x = t) { + t = x; + } + return v; // expected-error{{cannot initialize return object of type}} + } +}; + +struct ConvertibleToInt { + operator int() const; +}; + +template struct X6<ConvertibleToInt, float, char>; +template struct X6<bool, int, int*>; // expected-note{{instantiation}} + + + |