1 // RUN: %clang_analyze_cc1 -analyzer-checker=debug.ExprInspection,core.builtin -analyzer-config aggressive-binary-operation-simplification=true -verify %s
2
3 void clang_analyzer_eval(int);
4
5 void exit(int);
6
7 #define UINT_MAX (~0U)
8 #define INT_MAX (UINT_MAX & (UINT_MAX >> 1))
9 #define INT_MIN (UINT_MAX & ~(UINT_MAX >> 1))
10
11 extern void __assert_fail (__const char *__assertion, __const char *__file,
12 unsigned int __line, __const char *__function)
13 __attribute__ ((__noreturn__));
14 #define assert(expr) \
15 ((expr) ? (void)(0) : __assert_fail (#expr, __FILE__, __LINE__, __func__))
16
assert_in_range(int x)17 void assert_in_range(int x) {
18 assert(x <= ((int)INT_MAX / 4));
19 assert(x >= -(((int)INT_MAX) / 4));
20 }
21
assert_in_wide_range(int x)22 void assert_in_wide_range(int x) {
23 assert(x <= ((int)INT_MAX / 2));
24 assert(x >= -(((int)INT_MAX) / 2));
25 }
26
assert_in_range_2(int m,int n)27 void assert_in_range_2(int m, int n) {
28 assert_in_range(m);
29 assert_in_range(n);
30 }
31
equal(int m,int n)32 void equal(int m, int n) {
33 assert_in_range_2(m, n);
34 if (m != n)
35 return;
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 if (m == n)
43 return;
44 assert_in_wide_range(m - n);
45 clang_analyzer_eval(n != m); // expected-warning{{TRUE}}
46 }
47
less_or_equal(int m,int n)48 void less_or_equal(int m, int n) {
49 assert_in_range_2(m, n);
50 if (m < n)
51 return;
52 assert_in_wide_range(m - n);
53 clang_analyzer_eval(n <= m); // expected-warning{{TRUE}}
54 }
55
less(int m,int n)56 void less(int m, int n) {
57 assert_in_range_2(m, n);
58 if (m <= n)
59 return;
60 assert_in_wide_range(m - n);
61 clang_analyzer_eval(n < m); // expected-warning{{TRUE}}
62 }
63
greater_or_equal(int m,int n)64 void greater_or_equal(int m, int n) {
65 assert_in_range_2(m, n);
66 if (m > n)
67 return;
68 assert_in_wide_range(m - n);
69 clang_analyzer_eval(n >= m); // expected-warning{{TRUE}}
70 }
71
greater(int m,int n)72 void greater(int m, int n) {
73 assert_in_range_2(m, n);
74 if (m >= n)
75 return;
76 assert_in_wide_range(m - n);
77 clang_analyzer_eval(n > m); // expected-warning{{TRUE}}
78 }
79
negate_positive_range(int m,int n)80 void negate_positive_range(int m, int n) {
81 if (m - n <= 0)
82 return;
83 clang_analyzer_eval(n - m < 0); // expected-warning{{TRUE}}
84 clang_analyzer_eval(n - m > INT_MIN); // expected-warning{{TRUE}}
85 clang_analyzer_eval(n - m == INT_MIN); // expected-warning{{FALSE}}
86 }
87
negate_int_min(int m,int n)88 void negate_int_min(int m, int n) {
89 if (m - n != INT_MIN)
90 return;
91 clang_analyzer_eval(n - m == INT_MIN); // expected-warning{{TRUE}}
92 }
93
negate_mixed(int m,int n)94 void negate_mixed(int m, int n) {
95 if (m -n > INT_MIN && m - n <= 0)
96 return;
97 clang_analyzer_eval(n - m <= 0); // expected-warning{{TRUE}}
98 }
99
effective_range(int m,int n)100 void effective_range(int m, int n) {
101 assert(m - n >= 0);
102 assert(n - m >= 0);
103 clang_analyzer_eval(m - n == 0); // expected-warning{{TRUE}}
104 clang_analyzer_eval(n - m == 0); // expected-warning{{TRUE}}
105 }
106
effective_range_2(int m,int n)107 void effective_range_2(int m, int n) {
108 assert(m - n <= 0);
109 assert(n - m <= 0);
110 clang_analyzer_eval(m - n == 0); // expected-warning{{TRUE}} expected-warning{{FALSE}}
111 clang_analyzer_eval(n - m == 0); // expected-warning{{TRUE}} expected-warning{{FALSE}}
112 }
113