4 void f(int x, int y, int z) {  in f()  argument
85   if ((a<y) > z)  {} // no warning  in f()
91   if ((a<y) == z) {} // no warning  in f()
97   if ((a<y) != z) {} // no warning  in f()
100   if ((a<y) == z) {} // no warning  in f()
101   if (a>y<z)      {} // no warning  in f()
102   if ((a<y) > z)  {} // no warning  in f()
103   if((a<y)>(z<y)) {} // no warning  in f()
104   if((a<y)==(z<y)){} // no warning  in f()
105   if((a<y)!=(z<y)){} // no warning  in f()
106   if((z==x)<(y==z)){}  // no warning  in f()
107   if((a<y)!=((z==x)<(y==z))){} // no warning  in f()
146   if (z > (a<y))  {} //  in f()
152   if (z == (a<y)) {} // no warning  in f()
158   if (z !=(a<y))  {} // no warning  in f()
161   if (z ==(a<y))  {} // no warning  in f()
162   if (z<a>y)      {} // no warning  in f()
163   if (z > (a<y))  {} // no warning  in f()
164   if((z<y)>(a<y)) {} // no warning  in f()
165   if((z<y)==(a<y)){} // no warning  in f()
166   if((z<y)!=(a<y)){} // no warning  in f()
167   if((y==z)<(z==x)){} // no warning  in f()
168   if(((z==x)<(y==z))!=(a<y)){}  // no warning  in f()
170   if(((z==x)<(-1==z))!=(a<y)){} // no warning  in f()
171   if(((z==x)<(z==-1))!=(a<y)){} // no warning  in f()
172 …if(((z==x)<-1)!=(a<y)){} // expected-warning {{comparison of constant -1 with expression of type '…  in f()
173 …if(((z==x)< 2)!=(a<y)){} // expected-warning {{comparison of constant 2 with expression of type 'b…  in f()
174   if(((z==x)<(z>2))!=(a<y)){} // no warning  in f()