Lines Matching full:always
21 if (x != 2 || x != 3) { } // expected-warning {{overlapping comparisons always evaluate to true}}
22 if (x > 2 || x < 3) { } // expected-warning {{overlapping comparisons always evaluate to true}}
26 if (x > 2 || x <= 2) { } // expected-warning {{overlapping comparisons always evaluate to true}}
27 if (x > 2 || x <= 3) { } // expected-warning {{overlapping comparisons always evaluate to true}}
30 if (x >= 2 || x < 2) { } // expected-warning {{overlapping comparisons always evaluate to true}}
31 if (x >= 2 || x < 3) { } // expected-warning {{overlapping comparisons always evaluate to true}}
33 if (x >= 2 || x <= 1) { } // expected-warning {{overlapping comparisons always evaluate to true}}
34 if (x >= 2 || x <= 2) { } // expected-warning {{overlapping comparisons always evaluate to true}}
35 if (x >= 2 || x <= 3) { } // expected-warning {{overlapping comparisons always evaluate to true}}
36 if (x >= 0 || x <= 0) { } // expected-warning {{overlapping comparisons always evaluate to true}}
39 if (x > 2 && x < 1) { } // expected-warning {{overlapping comparisons always evaluate to false}}
40 if (x > 2 && x < 2) { } // expected-warning {{overlapping comparisons always evaluate to false}}
41 if (x > 2 && x < 3) { } // expected-warning {{overlapping comparisons always evaluate to false}}
42 if (x > 0 && x < 1) { } // expected-warning {{overlapping comparisons always evaluate to false}}
44 if (x > 2 && x <= 1) { } // expected-warning {{overlapping comparisons always evaluate to false}}
45 if (x > 2 && x <= 2) { } // expected-warning {{overlapping comparisons always evaluate to false}}
48 if (x >= 2 && x < 1) { } // expected-warning {{overlapping comparisons always evaluate to false}}
49 if (x >= 2 && x < 2) { } // expected-warning {{overlapping comparisons always evaluate to false}}
51 if (x >= 0 && x < 0) { } // expected-warning {{overlapping comparisons always evaluate to false}}
53 if (x >= 2 && x <= 1) { } // expected-warning {{overlapping comparisons always evaluate to false}}
58 if (x != 2 || x != 3) { } // expected-warning {{overlapping comparisons always evaluate to true}}
59 if (x != 2 || x < 3) { } // expected-warning {{overlapping comparisons always evaluate to true}}
60 if (x == 2 && x == 3) { } // expected-warning {{overlapping comparisons always evaluate to false}}
61 if (x == 2 && x > 3) { } // expected-warning {{overlapping comparisons always evaluate to false}}
62 if (x == 3 && x < 0) { } // expected-warning {{overlapping comparisons always evaluate to false}}
63 if (3 == x && x < 0) { } // expected-warning {{overlapping comparisons always evaluate to false}}
68 if (x != CHOICE_0 || x != CHOICE_1) { } // expected-warning {{overlapping comparisons always evaluate to true}}
69 if (x == CHOICE_0 && x == CHOICE_1) { } // expected-warning {{overlapping comparisons always evaluate to false}}
81 if (c != CHOICE_0 || c != CHOICE_1) { } // expected-warning {{overlapping comparisons always evaluate to true}}
82 if (c == CHOICE_0 && c == CHOICE_1) { } // expected-warning {{overlapping comparisons always evaluate to false}}
