1 // RUN: %clang_cc1 -fsyntax-only -verify -Wtautological-overlap-compare %s
2
3 #define mydefine 2
4
f(int x)5 void f(int x) {
6 int y = 0;
7
8 // > || <
9 if (x > 2 || x < 1) { }
10 if (x > 2 || x < 2) { }
11 if (x != 2 || x != 3) { } // expected-warning {{overlapping comparisons always evaluate to true}}
12 if (x > 2 || x < 3) { } // expected-warning {{overlapping comparisons always evaluate to true}}
13 if (x > 0 || x < 0) { }
14
15 if (x > 2 || x <= 1) { }
16 if (x > 2 || x <= 2) { } // expected-warning {{overlapping comparisons always evaluate to true}}
17 if (x > 2 || x <= 3) { } // expected-warning {{overlapping comparisons always evaluate to true}}
18
19 if (x >= 2 || x < 1) { }
20 if (x >= 2 || x < 2) { } // expected-warning {{overlapping comparisons always evaluate to true}}
21 if (x >= 2 || x < 3) { } // expected-warning {{overlapping comparisons always evaluate to true}}
22
23 if (x >= 2 || x <= 1) { } // expected-warning {{overlapping comparisons always evaluate to true}}
24 if (x >= 2 || x <= 2) { } // expected-warning {{overlapping comparisons always evaluate to true}}
25 if (x >= 2 || x <= 3) { } // expected-warning {{overlapping comparisons always evaluate to true}}
26 if (x >= 0 || x <= 0) { } // expected-warning {{overlapping comparisons always evaluate to true}}
27
28 // > && <
29 if (x > 2 && x < 1) { } // expected-warning {{overlapping comparisons always evaluate to false}}
30 if (x > 2 && x < 2) { } // expected-warning {{overlapping comparisons always evaluate to false}}
31 if (x > 2 && x < 3) { } // expected-warning {{overlapping comparisons always evaluate to false}}
32 if (x > 0 && x < 1) { } // expected-warning {{overlapping comparisons always evaluate to false}}
33
34 if (x > 2 && x <= 1) { } // expected-warning {{overlapping comparisons always evaluate to false}}
35 if (x > 2 && x <= 2) { } // expected-warning {{overlapping comparisons always evaluate to false}}
36 if (x > 2 && x <= 3) { }
37
38 if (x >= 2 && x < 1) { } // expected-warning {{overlapping comparisons always evaluate to false}}
39 if (x >= 2 && x < 2) { } // expected-warning {{overlapping comparisons always evaluate to false}}
40 if (x >= 2 && x < 3) { }
41 if (x >= 0 && x < 0) { } // expected-warning {{overlapping comparisons always evaluate to false}}
42
43 if (x >= 2 && x <= 1) { } // expected-warning {{overlapping comparisons always evaluate to false}}
44 if (x >= 2 && x <= 2) { }
45 if (x >= 2 && x <= 3) { }
46
47 // !=, ==, ..
48 if (x != 2 || x != 3) { } // expected-warning {{overlapping comparisons always evaluate to true}}
49 if (x != 2 || x < 3) { } // expected-warning {{overlapping comparisons always evaluate to true}}
50 if (x == 2 && x == 3) { } // expected-warning {{overlapping comparisons always evaluate to false}}
51 if (x == 2 && x > 3) { } // expected-warning {{overlapping comparisons always evaluate to false}}
52 if (x == 3 && x < 0) { } // expected-warning {{overlapping comparisons always evaluate to false}}
53 if (3 == x && x < 0) { } // expected-warning {{overlapping comparisons always evaluate to false}}
54
55 if (x == mydefine && x > 3) { }
56 if (x == (mydefine + 1) && x > 3) { }
57 }
58
59 // Don't generate a warning here.
array_out_of_bounds()60 void array_out_of_bounds() {
61 int x;
62 int buffer[4];
63 x = (-7 > 0) ? (buffer[-7]) : 0;
64 }
65