blob: d3b5fca9cd5b92f54e14f0b6114825cd392d3b83 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
|
// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -verify %s
void clang_analyzer_eval(bool);
void usePointer(int * const *);
void useReference(int * const &);
void testPointer() {
int x;
int *p;
p = &x;
x = 42;
clang_analyzer_eval(x == 42); // expected-warning{{TRUE}}
usePointer(&p);
clang_analyzer_eval(x == 42); // expected-warning{{UNKNOWN}}
p = &x;
x = 42;
clang_analyzer_eval(x == 42); // expected-warning{{TRUE}}
useReference(p);
clang_analyzer_eval(x == 42); // expected-warning{{UNKNOWN}}
int * const cp1 = &x;
x = 42;
clang_analyzer_eval(x == 42); // expected-warning{{TRUE}}
usePointer(&cp1);
clang_analyzer_eval(x == 42); // expected-warning{{UNKNOWN}}
int * const cp2 = &x;
x = 42;
clang_analyzer_eval(x == 42); // expected-warning{{TRUE}}
useReference(cp2);
clang_analyzer_eval(x == 42); // expected-warning{{UNKNOWN}}
}
struct Wrapper {
int *ptr;
};
void useStruct(Wrapper &w);
void useConstStruct(const Wrapper &w);
void testPointerStruct() {
int x;
Wrapper w;
w.ptr = &x;
x = 42;
clang_analyzer_eval(x == 42); // expected-warning{{TRUE}}
useStruct(w);
clang_analyzer_eval(x == 42); // expected-warning{{UNKNOWN}}
w.ptr = &x;
x = 42;
clang_analyzer_eval(x == 42); // expected-warning{{TRUE}}
useConstStruct(w);
clang_analyzer_eval(x == 42); // expected-warning{{UNKNOWN}}
}
struct RefWrapper {
int &ref;
};
void useStruct(RefWrapper &w);
void useConstStruct(const RefWrapper &w);
void testReferenceStruct() {
int x;
RefWrapper w = { x };
x = 42;
clang_analyzer_eval(x == 42); // expected-warning{{TRUE}}
useStruct(w);
clang_analyzer_eval(x == 42); // expected-warning{{UNKNOWN}}
}
// FIXME: This test is split into two functions because region invalidation
// does not preserve reference bindings. <rdar://problem/13320347>
void testConstReferenceStruct() {
int x;
RefWrapper w = { x };
x = 42;
clang_analyzer_eval(x == 42); // expected-warning{{TRUE}}
useConstStruct(w);
clang_analyzer_eval(x == 42); // expected-warning{{UNKNOWN}}
}
void usePointerPure(int * const *) __attribute__((pure));
void usePointerConst(int * const *) __attribute__((const));
void testPureConst() {
extern int global;
int x;
int *p;
p = &x;
x = 42;
global = -5;
clang_analyzer_eval(x == 42); // expected-warning{{TRUE}}
clang_analyzer_eval(global == -5); // expected-warning{{TRUE}}
usePointerPure(&p);
clang_analyzer_eval(x == 42); // expected-warning{{TRUE}}
clang_analyzer_eval(global == -5); // expected-warning{{TRUE}}
usePointerConst(&p);
clang_analyzer_eval(x == 42); // expected-warning{{TRUE}}
clang_analyzer_eval(global == -5); // expected-warning{{TRUE}}
usePointer(&p);
clang_analyzer_eval(x == 42); // expected-warning{{UNKNOWN}}
clang_analyzer_eval(global == -5); // expected-warning{{UNKNOWN}}
}
struct PlainStruct {
int x, y;
mutable int z;
};
PlainStruct glob;
void useAnything(void *);
void useAnythingConst(const void *);
void testInvalidationThroughBaseRegionPointer() {
PlainStruct s1;
s1.x = 1;
s1.z = 1;
clang_analyzer_eval(s1.x == 1); // expected-warning{{TRUE}}
clang_analyzer_eval(s1.z == 1); // expected-warning{{TRUE}}
// Not only passing a structure pointer through const pointer parameter,
// but also passing a field pointer through const pointer parameter
// should preserve the contents of the structure.
useAnythingConst(&(s1.y));
clang_analyzer_eval(s1.x == 1); // expected-warning{{TRUE}}
// FIXME: Should say "UNKNOWN", because it is not uncommon to
// modify a mutable member variable through const pointer.
clang_analyzer_eval(s1.z == 1); // expected-warning{{TRUE}}
useAnything(&(s1.y));
clang_analyzer_eval(s1.x == 1); // expected-warning{{UNKNOWN}}
}
void useFirstConstSecondNonConst(const void *x, void *y);
void useFirstNonConstSecondConst(void *x, const void *y);
void testMixedConstNonConstCalls() {
PlainStruct s2;
s2.x = 1;
useFirstConstSecondNonConst(&(s2.x), &(s2.y));
clang_analyzer_eval(s2.x == 1); // expected-warning{{UNKNOWN}}
s2.x = 1;
useFirstNonConstSecondConst(&(s2.x), &(s2.y));
clang_analyzer_eval(s2.x == 1); // expected-warning{{UNKNOWN}}
s2.y = 1;
useFirstConstSecondNonConst(&(s2.x), &(s2.y));
clang_analyzer_eval(s2.y == 1); // expected-warning{{UNKNOWN}}
s2.y = 1;
useFirstNonConstSecondConst(&(s2.x), &(s2.y));
clang_analyzer_eval(s2.y == 1); // expected-warning{{UNKNOWN}}
}
|
