1 // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-ipa=inlining -analyzer-output=text -verify %s
2 // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-ipa=inlining -analyzer-output=plist-multi-file %s -o - | FileCheck %s
3 
4 // Test warning about null or uninitialized pointer values used as instance member
5 // calls.
6 class TestInstanceCall {
7 public:
8   void foo() {}
9 };
10 
11 void test_ic() {
12   TestInstanceCall *p; // expected-note {{Variable 'p' declared without an initial value}}
13   p->foo(); // expected-warning {{Called C++ object pointer is uninitialized}} expected-note {{Called C++ object pointer is uninitialized}}
14 }
15 
16 void test_ic_null() {
17   TestInstanceCall *p = 0; // expected-note {{Variable 'p' initialized to a null pointer value}}
18   p->foo(); // expected-warning {{Called C++ object pointer is null}} expected-note {{Called C++ object pointer is null}}
19 }
20 
21 void test_ic_set_to_null() {
22   TestInstanceCall *p;
23   p = 0; // expected-note {{Null pointer value stored to 'p'}}
24   p->foo(); // expected-warning {{Called C++ object pointer is null}} expected-note {{Called C++ object pointer is null}}
25 }
26 
27 void test_ic_null(TestInstanceCall *p) {
28   if (!p) // expected-note {{Assuming pointer value is null}} expected-note {{Taking true branch}}
29     p->foo(); // expected-warning {{Called C++ object pointer is null}} expected-note{{Called C++ object pointer is null}}
30 }
31 
32 void test_ic_member_ptr() {
33   TestInstanceCall *p = 0; // expected-note {{Variable 'p' initialized to a null pointer value}}
34   typedef void (TestInstanceCall::*IC_Ptr)();
35   IC_Ptr bar = &TestInstanceCall::foo;
36   (p->*bar)(); // expected-warning {{Called C++ object pointer is null}} expected-note{{Called C++ object pointer is null}}
37 }
38 
39 void test_cast(const TestInstanceCall *p) {
40   if (!p) // expected-note {{Assuming pointer value is null}} expected-note {{Taking true branch}}
41     const_cast<TestInstanceCall *>(p)->foo(); // expected-warning {{Called C++ object pointer is null}} expected-note {{Called C++ object pointer is null}}
42 }
43 
44 // CHECK: <?xml version="1.0" encoding="UTF-8"?>
45 // CHECK: <!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
46 // CHECK: <plist version="1.0">
47 // CHECK: <dict>
48 // CHECK:  <key>files</key>
49 // CHECK:  <array>
50 // CHECK:   <string>{{.*}}method-call-path-notes.cpp</string>
51 // CHECK:  </array>
52 // CHECK:  <key>diagnostics</key>
53 // CHECK:  <array>
54 // CHECK:   <dict>
55 // CHECK:    <key>path</key>
56 // CHECK:    <array>
57 // CHECK:     <dict>
58 // CHECK:      <key>kind</key><string>event</string>
59 // CHECK:      <key>location</key>
60 // CHECK:      <dict>
61 // CHECK:       <key>line</key><integer>12</integer>
62 // CHECK:       <key>col</key><integer>3</integer>
63 // CHECK:       <key>file</key><integer>0</integer>
64 // CHECK:      </dict>
65 // CHECK:      <key>ranges</key>
66 // CHECK:      <array>
67 // CHECK:        <array>
68 // CHECK:         <dict>
69 // CHECK:          <key>line</key><integer>12</integer>
70 // CHECK:          <key>col</key><integer>3</integer>
71 // CHECK:          <key>file</key><integer>0</integer>
72 // CHECK:         </dict>
73 // CHECK:         <dict>
74 // CHECK:          <key>line</key><integer>12</integer>
75 // CHECK:          <key>col</key><integer>21</integer>
76 // CHECK:          <key>file</key><integer>0</integer>
77 // CHECK:         </dict>
78 // CHECK:        </array>
79 // CHECK:      </array>
80 // CHECK:      <key>depth</key><integer>0</integer>
81 // CHECK:      <key>extended_message</key>
82 // CHECK:      <string>Variable &apos;p&apos; declared without an initial value</string>
83 // CHECK:      <key>message</key>
84 // CHECK: <string>Variable &apos;p&apos; declared without an initial value</string>
85 // CHECK:     </dict>
86 // CHECK:     <dict>
87 // CHECK:      <key>kind</key><string>control</string>
88 // CHECK:      <key>edges</key>
89 // CHECK:       <array>
90 // CHECK:        <dict>
91 // CHECK:         <key>start</key>
92 // CHECK:          <array>
93 // CHECK:           <dict>
94 // CHECK:            <key>line</key><integer>12</integer>
95 // CHECK:            <key>col</key><integer>3</integer>
96 // CHECK:            <key>file</key><integer>0</integer>
97 // CHECK:           </dict>
98 // CHECK:           <dict>
99 // CHECK:            <key>line</key><integer>12</integer>
100 // CHECK:            <key>col</key><integer>18</integer>
101 // CHECK:            <key>file</key><integer>0</integer>
102 // CHECK:           </dict>
103 // CHECK:          </array>
104 // CHECK:         <key>end</key>
105 // CHECK:          <array>
106 // CHECK:           <dict>
107 // CHECK:            <key>line</key><integer>13</integer>
108 // CHECK:            <key>col</key><integer>3</integer>
109 // CHECK:            <key>file</key><integer>0</integer>
110 // CHECK:           </dict>
111 // CHECK:           <dict>
112 // CHECK:            <key>line</key><integer>13</integer>
113 // CHECK:            <key>col</key><integer>3</integer>
114 // CHECK:            <key>file</key><integer>0</integer>
115 // CHECK:           </dict>
116 // CHECK:          </array>
117 // CHECK:        </dict>
118 // CHECK:       </array>
119 // CHECK:     </dict>
120 // CHECK:     <dict>
121 // CHECK:      <key>kind</key><string>event</string>
122 // CHECK:      <key>location</key>
123 // CHECK:      <dict>
124 // CHECK:       <key>line</key><integer>13</integer>
125 // CHECK:       <key>col</key><integer>3</integer>
126 // CHECK:       <key>file</key><integer>0</integer>
127 // CHECK:      </dict>
128 // CHECK:      <key>ranges</key>
129 // CHECK:      <array>
130 // CHECK:        <array>
131 // CHECK:         <dict>
132 // CHECK:          <key>line</key><integer>13</integer>
133 // CHECK:          <key>col</key><integer>3</integer>
134 // CHECK:          <key>file</key><integer>0</integer>
135 // CHECK:         </dict>
136 // CHECK:         <dict>
137 // CHECK:          <key>line</key><integer>13</integer>
138 // CHECK:          <key>col</key><integer>3</integer>
139 // CHECK:          <key>file</key><integer>0</integer>
140 // CHECK:         </dict>
141 // CHECK:        </array>
142 // CHECK:      </array>
143 // CHECK:      <key>depth</key><integer>0</integer>
144 // CHECK:      <key>extended_message</key>
145 // CHECK:      <string>Called C++ object pointer is uninitialized</string>
146 // CHECK:      <key>message</key>
147 // CHECK: <string>Called C++ object pointer is uninitialized</string>
148 // CHECK:     </dict>
149 // CHECK:    </array>
150 // CHECK:    <key>description</key><string>Called C++ object pointer is uninitialized</string>
151 // CHECK:    <key>category</key><string>Logic error</string>
152 // CHECK:    <key>type</key><string>Called C++ object pointer is uninitialized</string>
153 // CHECK:   <key>issue_context_kind</key><string>function</string>
154 // CHECK:   <key>issue_context</key><string>test_ic</string>
155 // CHECK:   <key>issue_hash</key><integer>2</integer>
156 // CHECK:   <key>location</key>
157 // CHECK:   <dict>
158 // CHECK:    <key>line</key><integer>13</integer>
159 // CHECK:    <key>col</key><integer>3</integer>
160 // CHECK:    <key>file</key><integer>0</integer>
161 // CHECK:   </dict>
162 // CHECK:   </dict>
163 // CHECK:   <dict>
164 // CHECK:    <key>path</key>
165 // CHECK:    <array>
166 // CHECK:     <dict>
167 // CHECK:      <key>kind</key><string>event</string>
168 // CHECK:      <key>location</key>
169 // CHECK:      <dict>
170 // CHECK:       <key>line</key><integer>17</integer>
171 // CHECK:       <key>col</key><integer>3</integer>
172 // CHECK:       <key>file</key><integer>0</integer>
173 // CHECK:      </dict>
174 // CHECK:      <key>ranges</key>
175 // CHECK:      <array>
176 // CHECK:        <array>
177 // CHECK:         <dict>
178 // CHECK:          <key>line</key><integer>17</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:          <key>line</key><integer>17</integer>
184 // CHECK:          <key>col</key><integer>21</integer>
185 // CHECK:          <key>file</key><integer>0</integer>
186 // CHECK:         </dict>
187 // CHECK:        </array>
188 // CHECK:      </array>
189 // CHECK:      <key>depth</key><integer>0</integer>
190 // CHECK:      <key>extended_message</key>
191 // CHECK:      <string>Variable &apos;p&apos; initialized to a null pointer value</string>
192 // CHECK:      <key>message</key>
193 // CHECK: <string>Variable &apos;p&apos; initialized to a null pointer value</string>
194 // CHECK:     </dict>
195 // CHECK:     <dict>
196 // CHECK:      <key>kind</key><string>control</string>
197 // CHECK:      <key>edges</key>
198 // CHECK:       <array>
199 // CHECK:        <dict>
200 // CHECK:         <key>start</key>
201 // CHECK:          <array>
202 // CHECK:           <dict>
203 // CHECK:            <key>line</key><integer>17</integer>
204 // CHECK:            <key>col</key><integer>3</integer>
205 // CHECK:            <key>file</key><integer>0</integer>
206 // CHECK:           </dict>
207 // CHECK:           <dict>
208 // CHECK:            <key>line</key><integer>17</integer>
209 // CHECK:            <key>col</key><integer>18</integer>
210 // CHECK:            <key>file</key><integer>0</integer>
211 // CHECK:           </dict>
212 // CHECK:          </array>
213 // CHECK:         <key>end</key>
214 // CHECK:          <array>
215 // CHECK:           <dict>
216 // CHECK:            <key>line</key><integer>18</integer>
217 // CHECK:            <key>col</key><integer>3</integer>
218 // CHECK:            <key>file</key><integer>0</integer>
219 // CHECK:           </dict>
220 // CHECK:           <dict>
221 // CHECK:            <key>line</key><integer>18</integer>
222 // CHECK:            <key>col</key><integer>3</integer>
223 // CHECK:            <key>file</key><integer>0</integer>
224 // CHECK:           </dict>
225 // CHECK:          </array>
226 // CHECK:        </dict>
227 // CHECK:       </array>
228 // CHECK:     </dict>
229 // CHECK:     <dict>
230 // CHECK:      <key>kind</key><string>event</string>
231 // CHECK:      <key>location</key>
232 // CHECK:      <dict>
233 // CHECK:       <key>line</key><integer>18</integer>
234 // CHECK:       <key>col</key><integer>3</integer>
235 // CHECK:       <key>file</key><integer>0</integer>
236 // CHECK:      </dict>
237 // CHECK:      <key>ranges</key>
238 // CHECK:      <array>
239 // CHECK:        <array>
240 // CHECK:         <dict>
241 // CHECK:          <key>line</key><integer>18</integer>
242 // CHECK:          <key>col</key><integer>3</integer>
243 // CHECK:          <key>file</key><integer>0</integer>
244 // CHECK:         </dict>
245 // CHECK:         <dict>
246 // CHECK:          <key>line</key><integer>18</integer>
247 // CHECK:          <key>col</key><integer>3</integer>
248 // CHECK:          <key>file</key><integer>0</integer>
249 // CHECK:         </dict>
250 // CHECK:        </array>
251 // CHECK:      </array>
252 // CHECK:      <key>depth</key><integer>0</integer>
253 // CHECK:      <key>extended_message</key>
254 // CHECK:      <string>Called C++ object pointer is null</string>
255 // CHECK:      <key>message</key>
256 // CHECK: <string>Called C++ object pointer is null</string>
257 // CHECK:     </dict>
258 // CHECK:    </array>
259 // CHECK:    <key>description</key><string>Called C++ object pointer is null</string>
260 // CHECK:    <key>category</key><string>Logic error</string>
261 // CHECK:    <key>type</key><string>Called C++ object pointer is null</string>
262 // CHECK:   <key>issue_context_kind</key><string>function</string>
263 // CHECK:   <key>issue_context</key><string>test_ic_null</string>
264 // CHECK:   <key>issue_hash</key><integer>2</integer>
265 // CHECK:   <key>location</key>
266 // CHECK:   <dict>
267 // CHECK:    <key>line</key><integer>18</integer>
268 // CHECK:    <key>col</key><integer>3</integer>
269 // CHECK:    <key>file</key><integer>0</integer>
270 // CHECK:   </dict>
271 // CHECK:   </dict>
272 // CHECK:   <dict>
273 // CHECK:    <key>path</key>
274 // CHECK:    <array>
275 // CHECK:     <dict>
276 // CHECK:      <key>kind</key><string>control</string>
277 // CHECK:      <key>edges</key>
278 // CHECK:       <array>
279 // CHECK:        <dict>
280 // CHECK:         <key>start</key>
281 // CHECK:          <array>
282 // CHECK:           <dict>
283 // CHECK:            <key>line</key><integer>22</integer>
284 // CHECK:            <key>col</key><integer>3</integer>
285 // CHECK:            <key>file</key><integer>0</integer>
286 // CHECK:           </dict>
287 // CHECK:           <dict>
288 // CHECK:            <key>line</key><integer>22</integer>
289 // CHECK:            <key>col</key><integer>18</integer>
290 // CHECK:            <key>file</key><integer>0</integer>
291 // CHECK:           </dict>
292 // CHECK:          </array>
293 // CHECK:         <key>end</key>
294 // CHECK:          <array>
295 // CHECK:           <dict>
296 // CHECK:            <key>line</key><integer>23</integer>
297 // CHECK:            <key>col</key><integer>3</integer>
298 // CHECK:            <key>file</key><integer>0</integer>
299 // CHECK:           </dict>
300 // CHECK:           <dict>
301 // CHECK:            <key>line</key><integer>23</integer>
302 // CHECK:            <key>col</key><integer>3</integer>
303 // CHECK:            <key>file</key><integer>0</integer>
304 // CHECK:           </dict>
305 // CHECK:          </array>
306 // CHECK:        </dict>
307 // CHECK:       </array>
308 // CHECK:     </dict>
309 // CHECK:     <dict>
310 // CHECK:      <key>kind</key><string>event</string>
311 // CHECK:      <key>location</key>
312 // CHECK:      <dict>
313 // CHECK:       <key>line</key><integer>23</integer>
314 // CHECK:       <key>col</key><integer>3</integer>
315 // CHECK:       <key>file</key><integer>0</integer>
316 // CHECK:      </dict>
317 // CHECK:      <key>ranges</key>
318 // CHECK:      <array>
319 // CHECK:        <array>
320 // CHECK:         <dict>
321 // CHECK:          <key>line</key><integer>23</integer>
322 // CHECK:          <key>col</key><integer>3</integer>
323 // CHECK:          <key>file</key><integer>0</integer>
324 // CHECK:         </dict>
325 // CHECK:         <dict>
326 // CHECK:          <key>line</key><integer>23</integer>
327 // CHECK:          <key>col</key><integer>7</integer>
328 // CHECK:          <key>file</key><integer>0</integer>
329 // CHECK:         </dict>
330 // CHECK:        </array>
331 // CHECK:      </array>
332 // CHECK:      <key>depth</key><integer>0</integer>
333 // CHECK:      <key>extended_message</key>
334 // CHECK:      <string>Null pointer value stored to &apos;p&apos;</string>
335 // CHECK:      <key>message</key>
336 // CHECK: <string>Null pointer value stored to &apos;p&apos;</string>
337 // CHECK:     </dict>
338 // CHECK:     <dict>
339 // CHECK:      <key>kind</key><string>control</string>
340 // CHECK:      <key>edges</key>
341 // CHECK:       <array>
342 // CHECK:        <dict>
343 // CHECK:         <key>start</key>
344 // CHECK:          <array>
345 // CHECK:           <dict>
346 // CHECK:            <key>line</key><integer>23</integer>
347 // CHECK:            <key>col</key><integer>3</integer>
348 // CHECK:            <key>file</key><integer>0</integer>
349 // CHECK:           </dict>
350 // CHECK:           <dict>
351 // CHECK:            <key>line</key><integer>23</integer>
352 // CHECK:            <key>col</key><integer>3</integer>
353 // CHECK:            <key>file</key><integer>0</integer>
354 // CHECK:           </dict>
355 // CHECK:          </array>
356 // CHECK:         <key>end</key>
357 // CHECK:          <array>
358 // CHECK:           <dict>
359 // CHECK:            <key>line</key><integer>24</integer>
360 // CHECK:            <key>col</key><integer>3</integer>
361 // CHECK:            <key>file</key><integer>0</integer>
362 // CHECK:           </dict>
363 // CHECK:           <dict>
364 // CHECK:            <key>line</key><integer>24</integer>
365 // CHECK:            <key>col</key><integer>3</integer>
366 // CHECK:            <key>file</key><integer>0</integer>
367 // CHECK:           </dict>
368 // CHECK:          </array>
369 // CHECK:        </dict>
370 // CHECK:       </array>
371 // CHECK:     </dict>
372 // CHECK:     <dict>
373 // CHECK:      <key>kind</key><string>event</string>
374 // CHECK:      <key>location</key>
375 // CHECK:      <dict>
376 // CHECK:       <key>line</key><integer>24</integer>
377 // CHECK:       <key>col</key><integer>3</integer>
378 // CHECK:       <key>file</key><integer>0</integer>
379 // CHECK:      </dict>
380 // CHECK:      <key>ranges</key>
381 // CHECK:      <array>
382 // CHECK:        <array>
383 // CHECK:         <dict>
384 // CHECK:          <key>line</key><integer>24</integer>
385 // CHECK:          <key>col</key><integer>3</integer>
386 // CHECK:          <key>file</key><integer>0</integer>
387 // CHECK:         </dict>
388 // CHECK:         <dict>
389 // CHECK:          <key>line</key><integer>24</integer>
390 // CHECK:          <key>col</key><integer>3</integer>
391 // CHECK:          <key>file</key><integer>0</integer>
392 // CHECK:         </dict>
393 // CHECK:        </array>
394 // CHECK:      </array>
395 // CHECK:      <key>depth</key><integer>0</integer>
396 // CHECK:      <key>extended_message</key>
397 // CHECK:      <string>Called C++ object pointer is null</string>
398 // CHECK:      <key>message</key>
399 // CHECK: <string>Called C++ object pointer is null</string>
400 // CHECK:     </dict>
401 // CHECK:    </array>
402 // CHECK:    <key>description</key><string>Called C++ object pointer is null</string>
403 // CHECK:    <key>category</key><string>Logic error</string>
404 // CHECK:    <key>type</key><string>Called C++ object pointer is null</string>
405 // CHECK:   <key>issue_context_kind</key><string>function</string>
406 // CHECK:   <key>issue_context</key><string>test_ic_set_to_null</string>
407 // CHECK:   <key>issue_hash</key><integer>3</integer>
408 // CHECK:   <key>location</key>
409 // CHECK:   <dict>
410 // CHECK:    <key>line</key><integer>24</integer>
411 // CHECK:    <key>col</key><integer>3</integer>
412 // CHECK:    <key>file</key><integer>0</integer>
413 // CHECK:   </dict>
414 // CHECK:   </dict>
415 // CHECK:   <dict>
416 // CHECK:    <key>path</key>
417 // CHECK:    <array>
418 // CHECK:     <dict>
419 // CHECK:      <key>kind</key><string>control</string>
420 // CHECK:      <key>edges</key>
421 // CHECK:       <array>
422 // CHECK:        <dict>
423 // CHECK:         <key>start</key>
424 // CHECK:          <array>
425 // CHECK:           <dict>
426 // CHECK:            <key>line</key><integer>28</integer>
427 // CHECK:            <key>col</key><integer>3</integer>
428 // CHECK:            <key>file</key><integer>0</integer>
429 // CHECK:           </dict>
430 // CHECK:           <dict>
431 // CHECK:            <key>line</key><integer>28</integer>
432 // CHECK:            <key>col</key><integer>4</integer>
433 // CHECK:            <key>file</key><integer>0</integer>
434 // CHECK:           </dict>
435 // CHECK:          </array>
436 // CHECK:         <key>end</key>
437 // CHECK:          <array>
438 // CHECK:           <dict>
439 // CHECK:            <key>line</key><integer>28</integer>
440 // CHECK:            <key>col</key><integer>7</integer>
441 // CHECK:            <key>file</key><integer>0</integer>
442 // CHECK:           </dict>
443 // CHECK:           <dict>
444 // CHECK:            <key>line</key><integer>28</integer>
445 // CHECK:            <key>col</key><integer>7</integer>
446 // CHECK:            <key>file</key><integer>0</integer>
447 // CHECK:           </dict>
448 // CHECK:          </array>
449 // CHECK:        </dict>
450 // CHECK:       </array>
451 // CHECK:     </dict>
452 // CHECK:     <dict>
453 // CHECK:      <key>kind</key><string>event</string>
454 // CHECK:      <key>location</key>
455 // CHECK:      <dict>
456 // CHECK:       <key>line</key><integer>28</integer>
457 // CHECK:       <key>col</key><integer>7</integer>
458 // CHECK:       <key>file</key><integer>0</integer>
459 // CHECK:      </dict>
460 // CHECK:      <key>ranges</key>
461 // CHECK:      <array>
462 // CHECK:        <array>
463 // CHECK:         <dict>
464 // CHECK:          <key>line</key><integer>28</integer>
465 // CHECK:          <key>col</key><integer>7</integer>
466 // CHECK:          <key>file</key><integer>0</integer>
467 // CHECK:         </dict>
468 // CHECK:         <dict>
469 // CHECK:          <key>line</key><integer>28</integer>
470 // CHECK:          <key>col</key><integer>8</integer>
471 // CHECK:          <key>file</key><integer>0</integer>
472 // CHECK:         </dict>
473 // CHECK:        </array>
474 // CHECK:      </array>
475 // CHECK:      <key>depth</key><integer>0</integer>
476 // CHECK:      <key>extended_message</key>
477 // CHECK:      <string>Assuming pointer value is null</string>
478 // CHECK:      <key>message</key>
479 // CHECK: <string>Assuming pointer value is null</string>
480 // CHECK:     </dict>
481 // CHECK:     <dict>
482 // CHECK:      <key>kind</key><string>control</string>
483 // CHECK:      <key>edges</key>
484 // CHECK:       <array>
485 // CHECK:        <dict>
486 // CHECK:         <key>start</key>
487 // CHECK:          <array>
488 // CHECK:           <dict>
489 // CHECK:            <key>line</key><integer>28</integer>
490 // CHECK:            <key>col</key><integer>7</integer>
491 // CHECK:            <key>file</key><integer>0</integer>
492 // CHECK:           </dict>
493 // CHECK:           <dict>
494 // CHECK:            <key>line</key><integer>28</integer>
495 // CHECK:            <key>col</key><integer>7</integer>
496 // CHECK:            <key>file</key><integer>0</integer>
497 // CHECK:           </dict>
498 // CHECK:          </array>
499 // CHECK:         <key>end</key>
500 // CHECK:          <array>
501 // CHECK:           <dict>
502 // CHECK:            <key>line</key><integer>29</integer>
503 // CHECK:            <key>col</key><integer>5</integer>
504 // CHECK:            <key>file</key><integer>0</integer>
505 // CHECK:           </dict>
506 // CHECK:           <dict>
507 // CHECK:            <key>line</key><integer>29</integer>
508 // CHECK:            <key>col</key><integer>5</integer>
509 // CHECK:            <key>file</key><integer>0</integer>
510 // CHECK:           </dict>
511 // CHECK:          </array>
512 // CHECK:        </dict>
513 // CHECK:       </array>
514 // CHECK:     </dict>
515 // CHECK:     <dict>
516 // CHECK:      <key>kind</key><string>event</string>
517 // CHECK:      <key>location</key>
518 // CHECK:      <dict>
519 // CHECK:       <key>line</key><integer>29</integer>
520 // CHECK:       <key>col</key><integer>5</integer>
521 // CHECK:       <key>file</key><integer>0</integer>
522 // CHECK:      </dict>
523 // CHECK:      <key>ranges</key>
524 // CHECK:      <array>
525 // CHECK:        <array>
526 // CHECK:         <dict>
527 // CHECK:          <key>line</key><integer>29</integer>
528 // CHECK:          <key>col</key><integer>5</integer>
529 // CHECK:          <key>file</key><integer>0</integer>
530 // CHECK:         </dict>
531 // CHECK:         <dict>
532 // CHECK:          <key>line</key><integer>29</integer>
533 // CHECK:          <key>col</key><integer>5</integer>
534 // CHECK:          <key>file</key><integer>0</integer>
535 // CHECK:         </dict>
536 // CHECK:        </array>
537 // CHECK:      </array>
538 // CHECK:      <key>depth</key><integer>0</integer>
539 // CHECK:      <key>extended_message</key>
540 // CHECK:      <string>Called C++ object pointer is null</string>
541 // CHECK:      <key>message</key>
542 // CHECK: <string>Called C++ object pointer is null</string>
543 // CHECK:     </dict>
544 // CHECK:    </array>
545 // CHECK:    <key>description</key><string>Called C++ object pointer is null</string>
546 // CHECK:    <key>category</key><string>Logic error</string>
547 // CHECK:    <key>type</key><string>Called C++ object pointer is null</string>
548 // CHECK:   <key>issue_context_kind</key><string>function</string>
549 // CHECK:   <key>issue_context</key><string>test_ic_null</string>
550 // CHECK:   <key>issue_hash</key><integer>2</integer>
551 // CHECK:   <key>location</key>
552 // CHECK:   <dict>
553 // CHECK:    <key>line</key><integer>29</integer>
554 // CHECK:    <key>col</key><integer>5</integer>
555 // CHECK:    <key>file</key><integer>0</integer>
556 // CHECK:   </dict>
557 // CHECK:   </dict>
558 // CHECK:   <dict>
559 // CHECK:    <key>path</key>
560 // CHECK:    <array>
561 // CHECK:     <dict>
562 // CHECK:      <key>kind</key><string>event</string>
563 // CHECK:      <key>location</key>
564 // CHECK:      <dict>
565 // CHECK:       <key>line</key><integer>33</integer>
566 // CHECK:       <key>col</key><integer>3</integer>
567 // CHECK:       <key>file</key><integer>0</integer>
568 // CHECK:      </dict>
569 // CHECK:      <key>ranges</key>
570 // CHECK:      <array>
571 // CHECK:        <array>
572 // CHECK:         <dict>
573 // CHECK:          <key>line</key><integer>33</integer>
574 // CHECK:          <key>col</key><integer>3</integer>
575 // CHECK:          <key>file</key><integer>0</integer>
576 // CHECK:         </dict>
577 // CHECK:         <dict>
578 // CHECK:          <key>line</key><integer>33</integer>
579 // CHECK:          <key>col</key><integer>21</integer>
580 // CHECK:          <key>file</key><integer>0</integer>
581 // CHECK:         </dict>
582 // CHECK:        </array>
583 // CHECK:      </array>
584 // CHECK:      <key>depth</key><integer>0</integer>
585 // CHECK:      <key>extended_message</key>
586 // CHECK:      <string>Variable &apos;p&apos; initialized to a null pointer value</string>
587 // CHECK:      <key>message</key>
588 // CHECK: <string>Variable &apos;p&apos; initialized to a null pointer value</string>
589 // CHECK:     </dict>
590 // CHECK:     <dict>
591 // CHECK:      <key>kind</key><string>control</string>
592 // CHECK:      <key>edges</key>
593 // CHECK:       <array>
594 // CHECK:        <dict>
595 // CHECK:         <key>start</key>
596 // CHECK:          <array>
597 // CHECK:           <dict>
598 // CHECK:            <key>line</key><integer>33</integer>
599 // CHECK:            <key>col</key><integer>3</integer>
600 // CHECK:            <key>file</key><integer>0</integer>
601 // CHECK:           </dict>
602 // CHECK:           <dict>
603 // CHECK:            <key>line</key><integer>33</integer>
604 // CHECK:            <key>col</key><integer>18</integer>
605 // CHECK:            <key>file</key><integer>0</integer>
606 // CHECK:           </dict>
607 // CHECK:          </array>
608 // CHECK:         <key>end</key>
609 // CHECK:          <array>
610 // CHECK:           <dict>
611 // CHECK:            <key>line</key><integer>36</integer>
612 // CHECK:            <key>col</key><integer>3</integer>
613 // CHECK:            <key>file</key><integer>0</integer>
614 // CHECK:           </dict>
615 // CHECK:           <dict>
616 // CHECK:            <key>line</key><integer>36</integer>
617 // CHECK:            <key>col</key><integer>3</integer>
618 // CHECK:            <key>file</key><integer>0</integer>
619 // CHECK:           </dict>
620 // CHECK:          </array>
621 // CHECK:        </dict>
622 // CHECK:       </array>
623 // CHECK:     </dict>
624 // CHECK:     <dict>
625 // CHECK:      <key>kind</key><string>event</string>
626 // CHECK:      <key>location</key>
627 // CHECK:      <dict>
628 // CHECK:       <key>line</key><integer>36</integer>
629 // CHECK:       <key>col</key><integer>3</integer>
630 // CHECK:       <key>file</key><integer>0</integer>
631 // CHECK:      </dict>
632 // CHECK:      <key>ranges</key>
633 // CHECK:      <array>
634 // CHECK:        <array>
635 // CHECK:         <dict>
636 // CHECK:          <key>line</key><integer>36</integer>
637 // CHECK:          <key>col</key><integer>4</integer>
638 // CHECK:          <key>file</key><integer>0</integer>
639 // CHECK:         </dict>
640 // CHECK:         <dict>
641 // CHECK:          <key>line</key><integer>36</integer>
642 // CHECK:          <key>col</key><integer>4</integer>
643 // CHECK:          <key>file</key><integer>0</integer>
644 // CHECK:         </dict>
645 // CHECK:        </array>
646 // CHECK:      </array>
647 // CHECK:      <key>depth</key><integer>0</integer>
648 // CHECK:      <key>extended_message</key>
649 // CHECK:      <string>Called C++ object pointer is null</string>
650 // CHECK:      <key>message</key>
651 // CHECK: <string>Called C++ object pointer is null</string>
652 // CHECK:     </dict>
653 // CHECK:    </array>
654 // CHECK:    <key>description</key><string>Called C++ object pointer is null</string>
655 // CHECK:    <key>category</key><string>Logic error</string>
656 // CHECK:    <key>type</key><string>Called C++ object pointer is null</string>
657 // CHECK:   <key>issue_context_kind</key><string>function</string>
658 // CHECK:   <key>issue_context</key><string>test_ic_member_ptr</string>
659 // CHECK:   <key>issue_hash</key><integer>4</integer>
660 // CHECK:   <key>location</key>
661 // CHECK:   <dict>
662 // CHECK:    <key>line</key><integer>36</integer>
663 // CHECK:    <key>col</key><integer>3</integer>
664 // CHECK:    <key>file</key><integer>0</integer>
665 // CHECK:   </dict>
666 // CHECK:   </dict>
667 // CHECK:   <dict>
668 // CHECK:    <key>path</key>
669 // CHECK:    <array>
670 // CHECK:     <dict>
671 // CHECK:      <key>kind</key><string>control</string>
672 // CHECK:      <key>edges</key>
673 // CHECK:       <array>
674 // CHECK:        <dict>
675 // CHECK:         <key>start</key>
676 // CHECK:          <array>
677 // CHECK:           <dict>
678 // CHECK:            <key>line</key><integer>40</integer>
679 // CHECK:            <key>col</key><integer>3</integer>
680 // CHECK:            <key>file</key><integer>0</integer>
681 // CHECK:           </dict>
682 // CHECK:           <dict>
683 // CHECK:            <key>line</key><integer>40</integer>
684 // CHECK:            <key>col</key><integer>4</integer>
685 // CHECK:            <key>file</key><integer>0</integer>
686 // CHECK:           </dict>
687 // CHECK:          </array>
688 // CHECK:         <key>end</key>
689 // CHECK:          <array>
690 // CHECK:           <dict>
691 // CHECK:            <key>line</key><integer>41</integer>
692 // CHECK:            <key>col</key><integer>5</integer>
693 // CHECK:            <key>file</key><integer>0</integer>
694 // CHECK:           </dict>
695 // CHECK:           <dict>
696 // CHECK:            <key>line</key><integer>41</integer>
697 // CHECK:            <key>col</key><integer>14</integer>
698 // CHECK:            <key>file</key><integer>0</integer>
699 // CHECK:           </dict>
700 // CHECK:          </array>
701 // CHECK:        </dict>
702 // CHECK:       </array>
703 // CHECK:     </dict>
704 // CHECK:     <dict>
705 // CHECK:      <key>kind</key><string>event</string>
706 // CHECK:      <key>location</key>
707 // CHECK:      <dict>
708 // CHECK:       <key>line</key><integer>41</integer>
709 // CHECK:       <key>col</key><integer>5</integer>
710 // CHECK:       <key>file</key><integer>0</integer>
711 // CHECK:      </dict>
712 // CHECK:      <key>ranges</key>
713 // CHECK:      <array>
714 // CHECK:        <array>
715 // CHECK:         <dict>
716 // CHECK:          <key>line</key><integer>41</integer>
717 // CHECK:          <key>col</key><integer>5</integer>
718 // CHECK:          <key>file</key><integer>0</integer>
719 // CHECK:         </dict>
720 // CHECK:         <dict>
721 // CHECK:          <key>line</key><integer>41</integer>
722 // CHECK:          <key>col</key><integer>37</integer>
723 // CHECK:          <key>file</key><integer>0</integer>
724 // CHECK:         </dict>
725 // CHECK:        </array>
726 // CHECK:      </array>
727 // CHECK:      <key>depth</key><integer>0</integer>
728 // CHECK:      <key>extended_message</key>
729 // CHECK:      <string>Called C++ object pointer is null</string>
730 // CHECK:      <key>message</key>
731 // CHECK: <string>Called C++ object pointer is null</string>
732 // CHECK:     </dict>
733 // CHECK:    </array>
734 // CHECK:    <key>description</key><string>Called C++ object pointer is null</string>
735 // CHECK:    <key>category</key><string>Logic error</string>
736 // CHECK:    <key>type</key><string>Called C++ object pointer is null</string>
737 // CHECK:   <key>issue_context_kind</key><string>function</string>
738 // CHECK:   <key>issue_context</key><string>test_cast</string>
739 // CHECK:   <key>issue_hash</key><integer>2</integer>
740 // CHECK:   <key>location</key>
741 // CHECK:   <dict>
742 // CHECK:    <key>line</key><integer>41</integer>
743 // CHECK:    <key>col</key><integer>5</integer>
744 // CHECK:    <key>file</key><integer>0</integer>
745 // CHECK:   </dict>
746 // CHECK:   </dict>
747 // CHECK:  </array>
748 // CHECK: </dict>
749 // CHECK: </plist>
750