call-invalidation.cpp revision 6bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89 
1// RUN: %clang_cc1 -analyze -analyzer-checker=core,debug.ExprInspection -verify %s
2
3void clang_analyzer_eval(bool);
4
5void usePointer(int * const *);
6void useReference(int * const &);
7
8void testPointer() {
9  int x;
10  int *p;
11
12  p = &x;
13  x = 42;
14  clang_analyzer_eval(x == 42); // expected-warning{{TRUE}}
15  usePointer(&p);
16  clang_analyzer_eval(x == 42); // expected-warning{{UNKNOWN}}
17
18  p = &x;
19  x = 42;
20  clang_analyzer_eval(x == 42); // expected-warning{{TRUE}}
21  useReference(p);
22  clang_analyzer_eval(x == 42); // expected-warning{{UNKNOWN}}
23
24  int * const cp1 = &x;
25  x = 42;
26  clang_analyzer_eval(x == 42); // expected-warning{{TRUE}}
27  usePointer(&cp1);
28  clang_analyzer_eval(x == 42); // expected-warning{{UNKNOWN}}
29
30  int * const cp2 = &x;
31  x = 42;
32  clang_analyzer_eval(x == 42); // expected-warning{{TRUE}}
33  useReference(cp2);
34  clang_analyzer_eval(x == 42); // expected-warning{{UNKNOWN}}
35}
36
37
38struct Wrapper {
39  int *ptr;
40};
41
42void useStruct(Wrapper &w);
43void useConstStruct(const Wrapper &w);
44
45void testPointerStruct() {
46  int x;
47  Wrapper w;
48
49  w.ptr = &x;
50  x = 42;
51  clang_analyzer_eval(x == 42); // expected-warning{{TRUE}}
52  useStruct(w);
53  clang_analyzer_eval(x == 42); // expected-warning{{UNKNOWN}}
54
55  w.ptr = &x;
56  x = 42;
57  clang_analyzer_eval(x == 42); // expected-warning{{TRUE}}
58  useConstStruct(w);
59  clang_analyzer_eval(x == 42); // expected-warning{{UNKNOWN}}
60}
61
62
63struct RefWrapper {
64  int &ref;
65};
66
67void useStruct(RefWrapper &w);
68void useConstStruct(const RefWrapper &w);
69
70void testReferenceStruct() {
71  int x;
72  RefWrapper w = { x };
73
74  x = 42;
75  clang_analyzer_eval(x == 42); // expected-warning{{TRUE}}
76  useStruct(w);
77  clang_analyzer_eval(x == 42); // expected-warning{{UNKNOWN}}
78}
79
80// FIXME: This test is split into two functions because region invalidation
81// does not preserve reference bindings. <rdar://problem/13320347>
82void testConstReferenceStruct() {
83  int x;
84  RefWrapper w = { x };
85
86  x = 42;
87  clang_analyzer_eval(x == 42); // expected-warning{{TRUE}}
88  useConstStruct(w);
89  clang_analyzer_eval(x == 42); // expected-warning{{UNKNOWN}}
90}
91
92
93void usePointerPure(int * const *) __attribute__((pure));
94void usePointerConst(int * const *) __attribute__((const));
95
96void testPureConst() {
97  extern int global;
98  int x;
99  int *p;
100
101  p = &x;
102  x = 42;
103  global = -5;
104  clang_analyzer_eval(x == 42); // expected-warning{{TRUE}}
105  clang_analyzer_eval(global == -5); // expected-warning{{TRUE}}
106
107  usePointerPure(&p);
108  clang_analyzer_eval(x == 42); // expected-warning{{TRUE}}
109  clang_analyzer_eval(global == -5); // expected-warning{{TRUE}}
110
111  usePointerConst(&p);
112  clang_analyzer_eval(x == 42); // expected-warning{{TRUE}}
113  clang_analyzer_eval(global == -5); // expected-warning{{TRUE}}
114
115  usePointer(&p);
116  clang_analyzer_eval(x == 42); // expected-warning{{UNKNOWN}}
117  clang_analyzer_eval(global == -5); // expected-warning{{UNKNOWN}}
118}
119
120
121