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