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