1 // RUN: %clang_analyze_cc1 -analyzer-checker=debug.ExprInspection,core.builtin \
2 // RUN: -analyzer-config eagerly-assume=false \
3 // RUN: -verify %s
4
5 void clang_analyzer_eval(int);
6
7 void exit(int);
8
9 #define UINT_MIN (0U)
10 #define UINT_MAX (~UINT_MIN)
11 #define UINT_MID (UINT_MAX / 2 + 1)
12 #define INT_MAX (UINT_MAX & (UINT_MAX >> 1))
13 #define INT_MIN (UINT_MAX & ~(UINT_MAX >> 1))
14
15 extern void abort() __attribute__((__noreturn__));
16 #define assert(expr) ((expr) ? (void)(0) : abort())
17
assert_in_range(int x)18 void assert_in_range(int x) {
19 assert(x <= ((int)INT_MAX / 4));
20 assert(x >= -(((int)INT_MAX) / 4));
21 }
22
assert_in_wide_range(int x)23 void assert_in_wide_range(int x) {
24 assert(x <= ((int)INT_MAX / 2));
25 assert(x >= -(((int)INT_MAX) / 2));
26 }
27
assert_in_range_2(int m,int n)28 void assert_in_range_2(int m, int n) {
29 assert_in_range(m);
30 assert_in_range(n);
31 }
32
equal(int m,int n)33 void equal(int m, int n) {
34 assert_in_range_2(m, n);
35 assert(m == n);
36 assert_in_wide_range(m - n);
37 clang_analyzer_eval(n == m); // expected-warning{{TRUE}}
38 }
39
non_equal(int m,int n)40 void non_equal(int m, int n) {
41 assert_in_range_2(m, n);
42 assert(m != n);
43 assert_in_wide_range(m - n);
44 clang_analyzer_eval(n != m); // expected-warning{{TRUE}}
45 }
46
less_or_equal(int m,int n)47 void less_or_equal(int m, int n) {
48 assert_in_range_2(m, n);
49 assert(m >= n);
50 assert_in_wide_range(m - n);
51 clang_analyzer_eval(n <= m); // expected-warning{{TRUE}}
52 }
53
less(int m,int n)54 void less(int m, int n) {
55 assert_in_range_2(m, n);
56 assert(m > n);
57 assert_in_wide_range(m - n);
58 clang_analyzer_eval(n < m); // expected-warning{{TRUE}}
59 }
60
greater_or_equal(int m,int n)61 void greater_or_equal(int m, int n) {
62 assert_in_range_2(m, n);
63 assert(m <= n);
64 assert_in_wide_range(m - n);
65 clang_analyzer_eval(n >= m); // expected-warning{{TRUE}}
66 }
67
greater(int m,int n)68 void greater(int m, int n) {
69 assert_in_range_2(m, n);
70 assert(m < n);
71 assert_in_wide_range(m - n);
72 clang_analyzer_eval(n > m); // expected-warning{{TRUE}}
73 }
74
negate_positive_range(int m,int n)75 void negate_positive_range(int m, int n) {
76 assert(m - n > 0);
77 clang_analyzer_eval(n - m < 0); // expected-warning{{TRUE}}
78 clang_analyzer_eval(n - m > INT_MIN); // expected-warning{{TRUE}}
79 }
80
81 _Static_assert(INT_MIN == -INT_MIN, "");
negate_int_min(int m,int n)82 void negate_int_min(int m, int n) {
83 assert(m - n == INT_MIN);
84 clang_analyzer_eval(n - m == INT_MIN); // expected-warning{{TRUE}}
85 }
86
negate_mixed(int m,int n)87 void negate_mixed(int m, int n) {
88 assert(m - n > 0 || m - n == INT_MIN);
89 clang_analyzer_eval(n - m <= 0); // expected-warning{{TRUE}}
90 }
91
effective_range(int m,int n)92 void effective_range(int m, int n) {
93 assert(m - n >= 0);
94 assert(n - m >= 0);
95 clang_analyzer_eval(m - n == 0); // expected-warning{{TRUE}}
96 clang_analyzer_eval(n - m == 0); // expected-warning{{TRUE}}
97 }
98
99 _Static_assert(INT_MIN == -INT_MIN, "");
effective_range_2(int m,int n)100 void effective_range_2(int m, int n) {
101 assert(m - n <= 0);
102 assert(n - m <= 0);
103 clang_analyzer_eval(m - n == 0 || m - n == INT_MIN); // expected-warning{{TRUE}}
104 }
105
negate_unsigned_min(unsigned m,unsigned n)106 void negate_unsigned_min(unsigned m, unsigned n) {
107 assert(m - n == UINT_MIN);
108 clang_analyzer_eval(n - m == UINT_MIN); // expected-warning{{TRUE}}
109 clang_analyzer_eval(n - m != UINT_MIN); // expected-warning{{FALSE}}
110 clang_analyzer_eval(n - m > UINT_MIN); // expected-warning{{FALSE}}
111 clang_analyzer_eval(n - m < UINT_MIN); // expected-warning{{FALSE}}
112 }
113
114 _Static_assert(7u - 3u != 3u - 7u, "");
negate_unsigned_4(unsigned m,unsigned n)115 void negate_unsigned_4(unsigned m, unsigned n) {
116 assert(m - n == 4u);
117 clang_analyzer_eval(n - m == 4u); // expected-warning{{FALSE}}
118 clang_analyzer_eval(n - m != 4u); // expected-warning{{TRUE}}
119 }
120
121 _Static_assert(UINT_MID == -UINT_MID, "");
negate_unsigned_mid(unsigned m,unsigned n)122 void negate_unsigned_mid(unsigned m, unsigned n) {
123 assert(m - n == UINT_MID);
124 clang_analyzer_eval(n - m == UINT_MID); // expected-warning{{TRUE}}
125 clang_analyzer_eval(n - m != UINT_MID); // expected-warning{{FALSE}}
126 }
127
negate_unsigned_mid2(unsigned m,unsigned n)128 void negate_unsigned_mid2(unsigned m, unsigned n) {
129 assert(UINT_MIN < m - n && m - n < UINT_MID);
130 clang_analyzer_eval(n - m > UINT_MID); // expected-warning{{TRUE}}
131 clang_analyzer_eval(n - m <= UINT_MAX); // expected-warning{{TRUE}}
132 }
133
134 _Static_assert(1u - 2u == UINT_MAX, "");
135 _Static_assert(2u - 1u == 1, "");
negate_unsigned_max(unsigned m,unsigned n)136 void negate_unsigned_max(unsigned m, unsigned n) {
137 assert(m - n == UINT_MAX);
138 clang_analyzer_eval(n - m == 1); // expected-warning{{TRUE}}
139 clang_analyzer_eval(n - m != 1); // expected-warning{{FALSE}}
140 }
141
negate_unsigned_one(unsigned m,unsigned n)142 void negate_unsigned_one(unsigned m, unsigned n) {
143 assert(m - n == 1);
144 clang_analyzer_eval(n - m == UINT_MAX); // expected-warning{{TRUE}}
145 clang_analyzer_eval(n - m < UINT_MAX); // expected-warning{{FALSE}}
146 }
147
148 // The next code is a repro for the bug PR41588
negated_unsigned_range(unsigned x,unsigned y)149 void negated_unsigned_range(unsigned x, unsigned y) {
150 clang_analyzer_eval(x - y != 0); // expected-warning{{UNKNOWN}}
151 clang_analyzer_eval(y - x != 0); // expected-warning{{UNKNOWN}}
152 // expected no assertion on the next line
153 clang_analyzer_eval(x - y != 0); // expected-warning{{UNKNOWN}}
154 }
155