]>
Commit | Line | Data |
---|---|---|
223e47cc LB |
1 | // RUN: %clang --analyze %s -o %t > /dev/null 2>&1 |
2 | // RUN: FileCheck -input-file %t %s | |
3 | ||
4 | static inline bug(int *p) { | |
5 | *p = 0xDEADBEEF; | |
6 | } | |
7 | ||
8 | void test_bug_1() { | |
9 | int *p = 0; | |
10 | bug(p); | |
11 | } | |
12 | ||
13 | void test_bug_2() { | |
14 | int *p = 0; | |
15 | bug(p); | |
16 | } | |
17 | ||
18 | // CHECK: <?xml version="1.0" encoding="UTF-8"?> | |
19 | // CHECK: <plist version="1.0"> | |
20 | // CHECK: <dict> | |
21 | // CHECK: <key>files</key> | |
22 | // CHECK: <array> | |
23 | // CHECK: </array> | |
24 | // CHECK: <key>diagnostics</key> | |
25 | // CHECK: <array> | |
26 | // CHECK: <dict> | |
27 | // CHECK: <key>path</key> | |
28 | // CHECK: <array> | |
29 | // CHECK: <dict> | |
30 | // CHECK: <key>kind</key><string>control</string> | |
31 | // CHECK: <key>edges</key> | |
32 | // CHECK: <array> | |
33 | // CHECK: <dict> | |
34 | // CHECK: <key>start</key> | |
35 | // CHECK: <array> | |
36 | // CHECK: <dict> | |
37 | // CHECK: <key>line</key><integer>14</integer> | |
38 | // CHECK: <key>col</key><integer>3</integer> | |
39 | // CHECK: <key>file</key><integer>0</integer> | |
40 | // CHECK: </dict> | |
41 | // CHECK: <dict> | |
42 | // CHECK: <key>line</key><integer>14</integer> | |
43 | // CHECK: <key>col</key><integer>5</integer> | |
44 | // CHECK: <key>file</key><integer>0</integer> | |
45 | // CHECK: </dict> | |
46 | // CHECK: </array> | |
47 | // CHECK: <key>end</key> | |
48 | // CHECK: <array> | |
49 | // CHECK: <dict> | |
50 | // CHECK: <key>line</key><integer>15</integer> | |
51 | // CHECK: <key>col</key><integer>3</integer> | |
52 | // CHECK: <key>file</key><integer>0</integer> | |
53 | // CHECK: </dict> | |
54 | // CHECK: <dict> | |
55 | // CHECK: <key>line</key><integer>15</integer> | |
56 | // CHECK: <key>col</key><integer>5</integer> | |
57 | // CHECK: <key>file</key><integer>0</integer> | |
58 | // CHECK: </dict> | |
59 | // CHECK: </array> | |
60 | // CHECK: </dict> | |
61 | // CHECK: </array> | |
62 | // CHECK: </dict> | |
63 | // CHECK: <dict> | |
64 | // CHECK: <key>kind</key><string>event</string> | |
65 | // CHECK: <key>location</key> | |
66 | // CHECK: <dict> | |
67 | // CHECK: <key>line</key><integer>15</integer> | |
68 | // CHECK: <key>col</key><integer>3</integer> | |
69 | // CHECK: <key>file</key><integer>0</integer> | |
70 | // CHECK: </dict> | |
71 | // CHECK: <key>ranges</key> | |
72 | // CHECK: <array> | |
73 | // CHECK: <array> | |
74 | // CHECK: <dict> | |
75 | // CHECK: <key>line</key><integer>15</integer> | |
76 | // CHECK: <key>col</key><integer>3</integer> | |
77 | // CHECK: <key>file</key><integer>0</integer> | |
78 | // CHECK: </dict> | |
79 | // CHECK: <dict> | |
80 | // CHECK: <key>line</key><integer>15</integer> | |
81 | // CHECK: <key>col</key><integer>8</integer> | |
82 | // CHECK: <key>file</key><integer>0</integer> | |
83 | // CHECK: </dict> | |
84 | // CHECK: </array> | |
85 | // CHECK: </array> | |
86 | // CHECK: <key>depth</key><integer>0</integer> | |
87 | // CHECK: <key>extended_message</key> | |
88 | // CHECK: <string>Calling 'bug'</string> | |
89 | // CHECK: <key>message</key> | |
90 | // CHECK: <string>Calling 'bug'</string> | |
91 | // CHECK: </dict> | |
92 | // CHECK: <dict> | |
93 | // CHECK: <key>kind</key><string>event</string> | |
94 | // CHECK: <key>location</key> | |
95 | // CHECK: <dict> | |
96 | // CHECK: <key>line</key><integer>4</integer> | |
97 | // CHECK: <key>col</key><integer>1</integer> | |
98 | // CHECK: <key>file</key><integer>0</integer> | |
99 | // CHECK: </dict> | |
100 | // CHECK: <key>depth</key><integer>1</integer> | |
101 | // CHECK: <key>extended_message</key> | |
102 | // CHECK: <string>Entered call from 'test_bug_2'</string> | |
103 | // CHECK: <key>message</key> | |
104 | // CHECK: <string>Entered call from 'test_bug_2'</string> | |
105 | // CHECK: </dict> | |
106 | // CHECK: <dict> | |
107 | // CHECK: <key>kind</key><string>control</string> | |
108 | // CHECK: <key>edges</key> | |
109 | // CHECK: <array> | |
110 | // CHECK: <dict> | |
111 | // CHECK: <key>start</key> | |
112 | // CHECK: <array> | |
113 | // CHECK: <dict> | |
114 | // CHECK: <key>line</key><integer>4</integer> | |
115 | // CHECK: <key>col</key><integer>1</integer> | |
116 | // CHECK: <key>file</key><integer>0</integer> | |
117 | // CHECK: </dict> | |
118 | // CHECK: <dict> | |
119 | // CHECK: <key>line</key><integer>4</integer> | |
120 | // CHECK: <key>col</key><integer>6</integer> | |
121 | // CHECK: <key>file</key><integer>0</integer> | |
122 | // CHECK: </dict> | |
123 | // CHECK: </array> | |
124 | // CHECK: <key>end</key> | |
125 | // CHECK: <array> | |
126 | // CHECK: <dict> | |
127 | // CHECK: <key>line</key><integer>5</integer> | |
128 | // CHECK: <key>col</key><integer>3</integer> | |
129 | // CHECK: <key>file</key><integer>0</integer> | |
130 | // CHECK: </dict> | |
131 | // CHECK: <dict> | |
132 | // CHECK: <key>line</key><integer>5</integer> | |
133 | // CHECK: <key>col</key><integer>3</integer> | |
134 | // CHECK: <key>file</key><integer>0</integer> | |
135 | // CHECK: </dict> | |
136 | // CHECK: </array> | |
137 | // CHECK: </dict> | |
138 | // CHECK: </array> | |
139 | // CHECK: </dict> | |
140 | // CHECK: <dict> | |
141 | // CHECK: <key>kind</key><string>event</string> | |
142 | // CHECK: <key>location</key> | |
143 | // CHECK: <dict> | |
144 | // CHECK: <key>line</key><integer>5</integer> | |
145 | // CHECK: <key>col</key><integer>3</integer> | |
146 | // CHECK: <key>file</key><integer>0</integer> | |
147 | // CHECK: </dict> | |
148 | // CHECK: <key>ranges</key> | |
149 | // CHECK: <array> | |
150 | // CHECK: <array> | |
151 | // CHECK: <dict> | |
152 | // CHECK: <key>line</key><integer>5</integer> | |
153 | // CHECK: <key>col</key><integer>4</integer> | |
154 | // CHECK: <key>file</key><integer>0</integer> | |
155 | // CHECK: </dict> | |
156 | // CHECK: <dict> | |
157 | // CHECK: <key>line</key><integer>5</integer> | |
158 | // CHECK: <key>col</key><integer>4</integer> | |
159 | // CHECK: <key>file</key><integer>0</integer> | |
160 | // CHECK: </dict> | |
161 | // CHECK: </array> | |
162 | // CHECK: </array> | |
163 | // CHECK: <key>depth</key><integer>1</integer> | |
164 | // CHECK: <key>extended_message</key> | |
165 | // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> | |
166 | // CHECK: <key>message</key> | |
167 | // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> | |
168 | // CHECK: </dict> | |
169 | // CHECK: </array> | |
170 | // CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> | |
171 | // CHECK: <key>category</key><string>Logic error</string> | |
172 | // CHECK: <key>type</key><string>Dereference of null pointer</string> | |
173 | // CHECK: <key>issue_context_kind</key><string>function</string> | |
174 | // CHECK: <key>issue_context</key><string>bug</string> | |
175 | // CHECK: <key>issue_hash</key><integer>1</integer> | |
176 | // CHECK: <key>location</key> | |
177 | // CHECK: <dict> | |
178 | // CHECK: <key>line</key><integer>5</integer> | |
179 | // CHECK: <key>col</key><integer>3</integer> | |
180 | // CHECK: <key>file</key><integer>0</integer> | |
181 | // CHECK: </dict> | |
182 | // CHECK: </dict> | |
183 | // CHECK: </array> | |
184 | // CHECK: </dict> | |
185 | // CHECK: </plist> | |
186 |