4 void f(int x, int y, int z) {  in f()  argument
72   if ((a<y) > z)  {} // no warning  in f()
78   if ((a<y) == z) {} // no warning  in f()
84   if ((a<y) != z) {} // no warning  in f()
87   if ((a<y) == z) {} // no warning  in f()
88   if (a>y<z)      {} // no warning  in f()
89   if ((a<y) > z)  {} // no warning  in f()
90   if((a<y)>(z<y)) {} // no warning  in f()
91   if((a<y)==(z<y)){} // no warning  in f()
92   if((a<y)!=(z<y)){} // no warning  in f()
93   if((z==x)<(y==z)){}// no warning  in f()
94   if((a<y)!=((z==x)<(y==z))){} //no warning  in f()
132   if (z > (a<y))  {} // no warning  in f()
138   if (z == (a<y)) {} // no warning  in f()
144   if (z !=(a<y))  {} // no warning  in f()
147   if (z ==(a<y))  {}    // no warning  in f()
148   if (z<a>y)      {}        // no warning  in f()
149   if (z > (a<y))  {}    // no warning  in f()
150   if((z<y)>(a<y)) {}   // no warning  in f()
151   if((z<y)==(a<y)){}  // no warning  in f()
152   if((z<y)!=(a<y)){}  // no warning  in f()
153   if((y==z)<(z==x)){}  // no warning  in f()
154   if(((z==x)<(y==z))!=(a<y)){}  // no warning  in f()
156   if(((z==x)<(-1==z))!=(a<y)){} // no warning  in f()
157   if(((z==x)<(z==-1))!=(a<y)){} // no warning  in f()
158 …if(((z==x)<-1)!=(a<y)){} // expected-warning {{comparison of constant -1 with boolean expression i…  in f()
159 …if(((z==x)< 2)!=(a<y)){} // expected-warning {{comparison of constant 2 with boolean expression is…  in f()
160   if(((z==x)<(z>2))!=(a<y)){} // no warning  in f()