call-invalidation.cpp revision f8ddc098981d4d85cad4e72fc6dfcfe83b842b66 
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