xref: /llvm-project/clang/test/Analysis/inlining/path-notes.c (revision a3e3343e51ad6da159f0df1120a19a8478601d0c) 
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 void zero(int **p) {
5   *p = 0;
6   // expected-note@-1 {{Null pointer value stored to 'a'}}
7 }
8 
9 void testZero(int *a) {
10   zero(&a);
11   // expected-note@-1 {{Calling 'zero'}}
12   // expected-note@-2 {{Returning from 'zero'}}
13   *a = 1; // expected-warning{{Dereference of null pointer}}
14   // expected-note@-1 {{Dereference of null pointer (loaded from variable 'a')}}
15 }
16 
17 
18 void check(int *p) {
19   if (p) {
20     // expected-note@-1 + {{Assuming 'p' is null}}
21     // expected-note@-2 + {{Assuming pointer value is null}}
22     // expected-note@-3 + {{Taking false branch}}
23     return;
24   }
25   return;
26 }
27 
28 void testCheck(int *a) {
29   check(a);
30   // expected-note@-1 {{Calling 'check'}}
31   // expected-note@-2 {{Returning from 'check'}}
32   *a = 1; // expected-warning{{Dereference of null pointer}}
33   // expected-note@-1 {{Dereference of null pointer (loaded from variable 'a')}}
34 }
35 
36 
37 int *getPointer();
38 
39 void testInitCheck() {
40   int *a = getPointer();
41   // expected-note@-1 {{Variable 'a' initialized here}}
42   check(a);
43   // expected-note@-1 {{Calling 'check'}}
44   // expected-note@-2 {{Returning from 'check'}}
45   *a = 1; // expected-warning{{Dereference of null pointer}}
46   // expected-note@-1 {{Dereference of null pointer (loaded from variable 'a')}}
47 }
48 
49 void testStoreCheck(int *a) {
50   a = getPointer();
51   // expected-note@-1 {{Value assigned to 'a'}}
52   check(a);
53   // expected-note@-1 {{Calling 'check'}}
54   // expected-note@-2 {{Returning from 'check'}}
55   *a = 1; // expected-warning{{Dereference of null pointer}}
56   // expected-note@-1 {{Dereference of null pointer (loaded from variable 'a')}}
57 }
58 
59 
60 // CHECK: <?xml version="1.0" encoding="UTF-8"?>
61 // CHECK: <!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
62 // CHECK: <plist version="1.0">
63 // CHECK: <dict>
64 // CHECK:  <key>files</key>
65 // CHECK:  <array>
66 // CHECK:   <string>{{.*}}path-notes.c</string>
67 // CHECK:  </array>
68 // CHECK:  <key>diagnostics</key>
69 // CHECK:  <array>
70 // CHECK:   <dict>
71 // CHECK:    <key>path</key>
72 // CHECK:    <array>
73 // CHECK:     <dict>
74 // CHECK:      <key>kind</key><string>event</string>
75 // CHECK:      <key>location</key>
76 // CHECK:      <dict>
77 // CHECK:       <key>line</key><integer>10</integer>
78 // CHECK:       <key>col</key><integer>3</integer>
79 // CHECK:       <key>file</key><integer>0</integer>
80 // CHECK:      </dict>
81 // CHECK:      <key>ranges</key>
82 // CHECK:      <array>
83 // CHECK:        <array>
84 // CHECK:         <dict>
85 // CHECK:          <key>line</key><integer>10</integer>
86 // CHECK:          <key>col</key><integer>3</integer>
87 // CHECK:          <key>file</key><integer>0</integer>
88 // CHECK:         </dict>
89 // CHECK:         <dict>
90 // CHECK:          <key>line</key><integer>10</integer>
91 // CHECK:          <key>col</key><integer>10</integer>
92 // CHECK:          <key>file</key><integer>0</integer>
93 // CHECK:         </dict>
94 // CHECK:        </array>
95 // CHECK:      </array>
96 // CHECK:      <key>depth</key><integer>0</integer>
97 // CHECK:      <key>extended_message</key>
98 // CHECK:      <string>Calling &apos;zero&apos;</string>
99 // CHECK:      <key>message</key>
100 // CHECK: <string>Calling &apos;zero&apos;</string>
101 // CHECK:     </dict>
102 // CHECK:     <dict>
103 // CHECK:      <key>kind</key><string>event</string>
104 // CHECK:      <key>location</key>
105 // CHECK:      <dict>
106 // CHECK:       <key>line</key><integer>4</integer>
107 // CHECK:       <key>col</key><integer>1</integer>
108 // CHECK:       <key>file</key><integer>0</integer>
109 // CHECK:      </dict>
110 // CHECK:      <key>depth</key><integer>1</integer>
111 // CHECK:      <key>extended_message</key>
112 // CHECK:      <string>Entered call from &apos;testZero&apos;</string>
113 // CHECK:      <key>message</key>
114 // CHECK: <string>Entered call from &apos;testZero&apos;</string>
115 // CHECK:     </dict>
116 // CHECK:     <dict>
117 // CHECK:      <key>kind</key><string>control</string>
118 // CHECK:      <key>edges</key>
119 // CHECK:       <array>
120 // CHECK:        <dict>
121 // CHECK:         <key>start</key>
122 // CHECK:          <array>
123 // CHECK:           <dict>
124 // CHECK:            <key>line</key><integer>4</integer>
125 // CHECK:            <key>col</key><integer>1</integer>
126 // CHECK:            <key>file</key><integer>0</integer>
127 // CHECK:           </dict>
128 // CHECK:           <dict>
129 // CHECK:            <key>line</key><integer>4</integer>
130 // CHECK:            <key>col</key><integer>4</integer>
131 // CHECK:            <key>file</key><integer>0</integer>
132 // CHECK:           </dict>
133 // CHECK:          </array>
134 // CHECK:         <key>end</key>
135 // CHECK:          <array>
136 // CHECK:           <dict>
137 // CHECK:            <key>line</key><integer>5</integer>
138 // CHECK:            <key>col</key><integer>3</integer>
139 // CHECK:            <key>file</key><integer>0</integer>
140 // CHECK:           </dict>
141 // CHECK:           <dict>
142 // CHECK:            <key>line</key><integer>5</integer>
143 // CHECK:            <key>col</key><integer>3</integer>
144 // CHECK:            <key>file</key><integer>0</integer>
145 // CHECK:           </dict>
146 // CHECK:          </array>
147 // CHECK:        </dict>
148 // CHECK:       </array>
149 // CHECK:     </dict>
150 // CHECK:     <dict>
151 // CHECK:      <key>kind</key><string>event</string>
152 // CHECK:      <key>location</key>
153 // CHECK:      <dict>
154 // CHECK:       <key>line</key><integer>5</integer>
155 // CHECK:       <key>col</key><integer>3</integer>
156 // CHECK:       <key>file</key><integer>0</integer>
157 // CHECK:      </dict>
158 // CHECK:      <key>ranges</key>
159 // CHECK:      <array>
160 // CHECK:        <array>
161 // CHECK:         <dict>
162 // CHECK:          <key>line</key><integer>5</integer>
163 // CHECK:          <key>col</key><integer>3</integer>
164 // CHECK:          <key>file</key><integer>0</integer>
165 // CHECK:         </dict>
166 // CHECK:         <dict>
167 // CHECK:          <key>line</key><integer>5</integer>
168 // CHECK:          <key>col</key><integer>8</integer>
169 // CHECK:          <key>file</key><integer>0</integer>
170 // CHECK:         </dict>
171 // CHECK:        </array>
172 // CHECK:      </array>
173 // CHECK:      <key>depth</key><integer>1</integer>
174 // CHECK:      <key>extended_message</key>
175 // CHECK:      <string>Null pointer value stored to &apos;a&apos;</string>
176 // CHECK:      <key>message</key>
177 // CHECK: <string>Null pointer value stored to &apos;a&apos;</string>
178 // CHECK:     </dict>
179 // CHECK:     <dict>
180 // CHECK:      <key>kind</key><string>event</string>
181 // CHECK:      <key>location</key>
182 // CHECK:      <dict>
183 // CHECK:       <key>line</key><integer>10</integer>
184 // CHECK:       <key>col</key><integer>3</integer>
185 // CHECK:       <key>file</key><integer>0</integer>
186 // CHECK:      </dict>
187 // CHECK:      <key>ranges</key>
188 // CHECK:      <array>
189 // CHECK:        <array>
190 // CHECK:         <dict>
191 // CHECK:          <key>line</key><integer>10</integer>
192 // CHECK:          <key>col</key><integer>3</integer>
193 // CHECK:          <key>file</key><integer>0</integer>
194 // CHECK:         </dict>
195 // CHECK:         <dict>
196 // CHECK:          <key>line</key><integer>10</integer>
197 // CHECK:          <key>col</key><integer>10</integer>
198 // CHECK:          <key>file</key><integer>0</integer>
199 // CHECK:         </dict>
200 // CHECK:        </array>
201 // CHECK:      </array>
202 // CHECK:      <key>depth</key><integer>1</integer>
203 // CHECK:      <key>extended_message</key>
204 // CHECK:      <string>Returning from &apos;zero&apos;</string>
205 // CHECK:      <key>message</key>
206 // CHECK: <string>Returning from &apos;zero&apos;</string>
207 // CHECK:     </dict>
208 // CHECK:     <dict>
209 // CHECK:      <key>kind</key><string>control</string>
210 // CHECK:      <key>edges</key>
211 // CHECK:       <array>
212 // CHECK:        <dict>
213 // CHECK:         <key>start</key>
214 // CHECK:          <array>
215 // CHECK:           <dict>
216 // CHECK:            <key>line</key><integer>10</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>10</integer>
222 // CHECK:            <key>col</key><integer>6</integer>
223 // CHECK:            <key>file</key><integer>0</integer>
224 // CHECK:           </dict>
225 // CHECK:          </array>
226 // CHECK:         <key>end</key>
227 // CHECK:          <array>
228 // CHECK:           <dict>
229 // CHECK:            <key>line</key><integer>13</integer>
230 // CHECK:            <key>col</key><integer>3</integer>
231 // CHECK:            <key>file</key><integer>0</integer>
232 // CHECK:           </dict>
233 // CHECK:           <dict>
234 // CHECK:            <key>line</key><integer>13</integer>
235 // CHECK:            <key>col</key><integer>3</integer>
236 // CHECK:            <key>file</key><integer>0</integer>
237 // CHECK:           </dict>
238 // CHECK:          </array>
239 // CHECK:        </dict>
240 // CHECK:       </array>
241 // CHECK:     </dict>
242 // CHECK:     <dict>
243 // CHECK:      <key>kind</key><string>event</string>
244 // CHECK:      <key>location</key>
245 // CHECK:      <dict>
246 // CHECK:       <key>line</key><integer>13</integer>
247 // CHECK:       <key>col</key><integer>3</integer>
248 // CHECK:       <key>file</key><integer>0</integer>
249 // CHECK:      </dict>
250 // CHECK:      <key>ranges</key>
251 // CHECK:      <array>
252 // CHECK:        <array>
253 // CHECK:         <dict>
254 // CHECK:          <key>line</key><integer>13</integer>
255 // CHECK:          <key>col</key><integer>4</integer>
256 // CHECK:          <key>file</key><integer>0</integer>
257 // CHECK:         </dict>
258 // CHECK:         <dict>
259 // CHECK:          <key>line</key><integer>13</integer>
260 // CHECK:          <key>col</key><integer>4</integer>
261 // CHECK:          <key>file</key><integer>0</integer>
262 // CHECK:         </dict>
263 // CHECK:        </array>
264 // CHECK:      </array>
265 // CHECK:      <key>depth</key><integer>0</integer>
266 // CHECK:      <key>extended_message</key>
267 // CHECK:      <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
268 // CHECK:      <key>message</key>
269 // CHECK: <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
270 // CHECK:     </dict>
271 // CHECK:    </array>
272 // CHECK:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
273 // CHECK:    <key>category</key><string>Logic error</string>
274 // CHECK:    <key>type</key><string>Dereference of null pointer</string>
275 // CHECK:   <key>issue_context_kind</key><string>function</string>
276 // CHECK:   <key>issue_context</key><string>testZero</string>
277 // CHECK:   <key>issue_hash</key><integer>4</integer>
278 // CHECK:   <key>location</key>
279 // CHECK:   <dict>
280 // CHECK:    <key>line</key><integer>13</integer>
281 // CHECK:    <key>col</key><integer>3</integer>
282 // CHECK:    <key>file</key><integer>0</integer>
283 // CHECK:   </dict>
284 // CHECK:   </dict>
285 // CHECK:   <dict>
286 // CHECK:    <key>path</key>
287 // CHECK:    <array>
288 // CHECK:     <dict>
289 // CHECK:      <key>kind</key><string>event</string>
290 // CHECK:      <key>location</key>
291 // CHECK:      <dict>
292 // CHECK:       <key>line</key><integer>29</integer>
293 // CHECK:       <key>col</key><integer>3</integer>
294 // CHECK:       <key>file</key><integer>0</integer>
295 // CHECK:      </dict>
296 // CHECK:      <key>ranges</key>
297 // CHECK:      <array>
298 // CHECK:        <array>
299 // CHECK:         <dict>
300 // CHECK:          <key>line</key><integer>29</integer>
301 // CHECK:          <key>col</key><integer>3</integer>
302 // CHECK:          <key>file</key><integer>0</integer>
303 // CHECK:         </dict>
304 // CHECK:         <dict>
305 // CHECK:          <key>line</key><integer>29</integer>
306 // CHECK:          <key>col</key><integer>10</integer>
307 // CHECK:          <key>file</key><integer>0</integer>
308 // CHECK:         </dict>
309 // CHECK:        </array>
310 // CHECK:      </array>
311 // CHECK:      <key>depth</key><integer>0</integer>
312 // CHECK:      <key>extended_message</key>
313 // CHECK:      <string>Calling &apos;check&apos;</string>
314 // CHECK:      <key>message</key>
315 // CHECK: <string>Calling &apos;check&apos;</string>
316 // CHECK:     </dict>
317 // CHECK:     <dict>
318 // CHECK:      <key>kind</key><string>event</string>
319 // CHECK:      <key>location</key>
320 // CHECK:      <dict>
321 // CHECK:       <key>line</key><integer>18</integer>
322 // CHECK:       <key>col</key><integer>1</integer>
323 // CHECK:       <key>file</key><integer>0</integer>
324 // CHECK:      </dict>
325 // CHECK:      <key>depth</key><integer>1</integer>
326 // CHECK:      <key>extended_message</key>
327 // CHECK:      <string>Entered call from &apos;testCheck&apos;</string>
328 // CHECK:      <key>message</key>
329 // CHECK: <string>Entered call from &apos;testCheck&apos;</string>
330 // CHECK:     </dict>
331 // CHECK:     <dict>
332 // CHECK:      <key>kind</key><string>control</string>
333 // CHECK:      <key>edges</key>
334 // CHECK:       <array>
335 // CHECK:        <dict>
336 // CHECK:         <key>start</key>
337 // CHECK:          <array>
338 // CHECK:           <dict>
339 // CHECK:            <key>line</key><integer>18</integer>
340 // CHECK:            <key>col</key><integer>1</integer>
341 // CHECK:            <key>file</key><integer>0</integer>
342 // CHECK:           </dict>
343 // CHECK:           <dict>
344 // CHECK:            <key>line</key><integer>18</integer>
345 // CHECK:            <key>col</key><integer>4</integer>
346 // CHECK:            <key>file</key><integer>0</integer>
347 // CHECK:           </dict>
348 // CHECK:          </array>
349 // CHECK:         <key>end</key>
350 // CHECK:          <array>
351 // CHECK:           <dict>
352 // CHECK:            <key>line</key><integer>19</integer>
353 // CHECK:            <key>col</key><integer>3</integer>
354 // CHECK:            <key>file</key><integer>0</integer>
355 // CHECK:           </dict>
356 // CHECK:           <dict>
357 // CHECK:            <key>line</key><integer>19</integer>
358 // CHECK:            <key>col</key><integer>4</integer>
359 // CHECK:            <key>file</key><integer>0</integer>
360 // CHECK:           </dict>
361 // CHECK:          </array>
362 // CHECK:        </dict>
363 // CHECK:       </array>
364 // CHECK:     </dict>
365 // CHECK:     <dict>
366 // CHECK:      <key>kind</key><string>control</string>
367 // CHECK:      <key>edges</key>
368 // CHECK:       <array>
369 // CHECK:        <dict>
370 // CHECK:         <key>start</key>
371 // CHECK:          <array>
372 // CHECK:           <dict>
373 // CHECK:            <key>line</key><integer>19</integer>
374 // CHECK:            <key>col</key><integer>3</integer>
375 // CHECK:            <key>file</key><integer>0</integer>
376 // CHECK:           </dict>
377 // CHECK:           <dict>
378 // CHECK:            <key>line</key><integer>19</integer>
379 // CHECK:            <key>col</key><integer>4</integer>
380 // CHECK:            <key>file</key><integer>0</integer>
381 // CHECK:           </dict>
382 // CHECK:          </array>
383 // CHECK:         <key>end</key>
384 // CHECK:          <array>
385 // CHECK:           <dict>
386 // CHECK:            <key>line</key><integer>19</integer>
387 // CHECK:            <key>col</key><integer>7</integer>
388 // CHECK:            <key>file</key><integer>0</integer>
389 // CHECK:           </dict>
390 // CHECK:           <dict>
391 // CHECK:            <key>line</key><integer>19</integer>
392 // CHECK:            <key>col</key><integer>7</integer>
393 // CHECK:            <key>file</key><integer>0</integer>
394 // CHECK:           </dict>
395 // CHECK:          </array>
396 // CHECK:        </dict>
397 // CHECK:       </array>
398 // CHECK:     </dict>
399 // CHECK:     <dict>
400 // CHECK:      <key>kind</key><string>event</string>
401 // CHECK:      <key>location</key>
402 // CHECK:      <dict>
403 // CHECK:       <key>line</key><integer>19</integer>
404 // CHECK:       <key>col</key><integer>7</integer>
405 // CHECK:       <key>file</key><integer>0</integer>
406 // CHECK:      </dict>
407 // CHECK:      <key>ranges</key>
408 // CHECK:      <array>
409 // CHECK:        <array>
410 // CHECK:         <dict>
411 // CHECK:          <key>line</key><integer>19</integer>
412 // CHECK:          <key>col</key><integer>7</integer>
413 // CHECK:          <key>file</key><integer>0</integer>
414 // CHECK:         </dict>
415 // CHECK:         <dict>
416 // CHECK:          <key>line</key><integer>19</integer>
417 // CHECK:          <key>col</key><integer>7</integer>
418 // CHECK:          <key>file</key><integer>0</integer>
419 // CHECK:         </dict>
420 // CHECK:        </array>
421 // CHECK:      </array>
422 // CHECK:      <key>depth</key><integer>1</integer>
423 // CHECK:      <key>extended_message</key>
424 // CHECK:      <string>Assuming &apos;p&apos; is null</string>
425 // CHECK:      <key>message</key>
426 // CHECK: <string>Assuming &apos;p&apos; is null</string>
427 // CHECK:     </dict>
428 // CHECK:     <dict>
429 // CHECK:      <key>kind</key><string>event</string>
430 // CHECK:      <key>location</key>
431 // CHECK:      <dict>
432 // CHECK:       <key>line</key><integer>19</integer>
433 // CHECK:       <key>col</key><integer>7</integer>
434 // CHECK:       <key>file</key><integer>0</integer>
435 // CHECK:      </dict>
436 // CHECK:      <key>ranges</key>
437 // CHECK:      <array>
438 // CHECK:        <array>
439 // CHECK:         <dict>
440 // CHECK:          <key>line</key><integer>19</integer>
441 // CHECK:          <key>col</key><integer>7</integer>
442 // CHECK:          <key>file</key><integer>0</integer>
443 // CHECK:         </dict>
444 // CHECK:         <dict>
445 // CHECK:          <key>line</key><integer>19</integer>
446 // CHECK:          <key>col</key><integer>7</integer>
447 // CHECK:          <key>file</key><integer>0</integer>
448 // CHECK:         </dict>
449 // CHECK:        </array>
450 // CHECK:      </array>
451 // CHECK:      <key>depth</key><integer>1</integer>
452 // CHECK:      <key>extended_message</key>
453 // CHECK:      <string>Assuming pointer value is null</string>
454 // CHECK:      <key>message</key>
455 // CHECK: <string>Assuming pointer value is null</string>
456 // CHECK:     </dict>
457 // CHECK:     <dict>
458 // CHECK:      <key>kind</key><string>control</string>
459 // CHECK:      <key>edges</key>
460 // CHECK:       <array>
461 // CHECK:        <dict>
462 // CHECK:         <key>start</key>
463 // CHECK:          <array>
464 // CHECK:           <dict>
465 // CHECK:            <key>line</key><integer>19</integer>
466 // CHECK:            <key>col</key><integer>7</integer>
467 // CHECK:            <key>file</key><integer>0</integer>
468 // CHECK:           </dict>
469 // CHECK:           <dict>
470 // CHECK:            <key>line</key><integer>19</integer>
471 // CHECK:            <key>col</key><integer>7</integer>
472 // CHECK:            <key>file</key><integer>0</integer>
473 // CHECK:           </dict>
474 // CHECK:          </array>
475 // CHECK:         <key>end</key>
476 // CHECK:          <array>
477 // CHECK:           <dict>
478 // CHECK:            <key>line</key><integer>25</integer>
479 // CHECK:            <key>col</key><integer>3</integer>
480 // CHECK:            <key>file</key><integer>0</integer>
481 // CHECK:           </dict>
482 // CHECK:           <dict>
483 // CHECK:            <key>line</key><integer>25</integer>
484 // CHECK:            <key>col</key><integer>8</integer>
485 // CHECK:            <key>file</key><integer>0</integer>
486 // CHECK:           </dict>
487 // CHECK:          </array>
488 // CHECK:        </dict>
489 // CHECK:       </array>
490 // CHECK:     </dict>
491 // CHECK:     <dict>
492 // CHECK:      <key>kind</key><string>event</string>
493 // CHECK:      <key>location</key>
494 // CHECK:      <dict>
495 // CHECK:       <key>line</key><integer>29</integer>
496 // CHECK:       <key>col</key><integer>3</integer>
497 // CHECK:       <key>file</key><integer>0</integer>
498 // CHECK:      </dict>
499 // CHECK:      <key>ranges</key>
500 // CHECK:      <array>
501 // CHECK:        <array>
502 // CHECK:         <dict>
503 // CHECK:          <key>line</key><integer>29</integer>
504 // CHECK:          <key>col</key><integer>3</integer>
505 // CHECK:          <key>file</key><integer>0</integer>
506 // CHECK:         </dict>
507 // CHECK:         <dict>
508 // CHECK:          <key>line</key><integer>29</integer>
509 // CHECK:          <key>col</key><integer>10</integer>
510 // CHECK:          <key>file</key><integer>0</integer>
511 // CHECK:         </dict>
512 // CHECK:        </array>
513 // CHECK:      </array>
514 // CHECK:      <key>depth</key><integer>1</integer>
515 // CHECK:      <key>extended_message</key>
516 // CHECK:      <string>Returning from &apos;check&apos;</string>
517 // CHECK:      <key>message</key>
518 // CHECK: <string>Returning from &apos;check&apos;</string>
519 // CHECK:     </dict>
520 // CHECK:     <dict>
521 // CHECK:      <key>kind</key><string>control</string>
522 // CHECK:      <key>edges</key>
523 // CHECK:       <array>
524 // CHECK:        <dict>
525 // CHECK:         <key>start</key>
526 // CHECK:          <array>
527 // CHECK:           <dict>
528 // CHECK:            <key>line</key><integer>29</integer>
529 // CHECK:            <key>col</key><integer>3</integer>
530 // CHECK:            <key>file</key><integer>0</integer>
531 // CHECK:           </dict>
532 // CHECK:           <dict>
533 // CHECK:            <key>line</key><integer>29</integer>
534 // CHECK:            <key>col</key><integer>7</integer>
535 // CHECK:            <key>file</key><integer>0</integer>
536 // CHECK:           </dict>
537 // CHECK:          </array>
538 // CHECK:         <key>end</key>
539 // CHECK:          <array>
540 // CHECK:           <dict>
541 // CHECK:            <key>line</key><integer>32</integer>
542 // CHECK:            <key>col</key><integer>3</integer>
543 // CHECK:            <key>file</key><integer>0</integer>
544 // CHECK:           </dict>
545 // CHECK:           <dict>
546 // CHECK:            <key>line</key><integer>32</integer>
547 // CHECK:            <key>col</key><integer>3</integer>
548 // CHECK:            <key>file</key><integer>0</integer>
549 // CHECK:           </dict>
550 // CHECK:          </array>
551 // CHECK:        </dict>
552 // CHECK:       </array>
553 // CHECK:     </dict>
554 // CHECK:     <dict>
555 // CHECK:      <key>kind</key><string>event</string>
556 // CHECK:      <key>location</key>
557 // CHECK:      <dict>
558 // CHECK:       <key>line</key><integer>32</integer>
559 // CHECK:       <key>col</key><integer>3</integer>
560 // CHECK:       <key>file</key><integer>0</integer>
561 // CHECK:      </dict>
562 // CHECK:      <key>ranges</key>
563 // CHECK:      <array>
564 // CHECK:        <array>
565 // CHECK:         <dict>
566 // CHECK:          <key>line</key><integer>32</integer>
567 // CHECK:          <key>col</key><integer>4</integer>
568 // CHECK:          <key>file</key><integer>0</integer>
569 // CHECK:         </dict>
570 // CHECK:         <dict>
571 // CHECK:          <key>line</key><integer>32</integer>
572 // CHECK:          <key>col</key><integer>4</integer>
573 // CHECK:          <key>file</key><integer>0</integer>
574 // CHECK:         </dict>
575 // CHECK:        </array>
576 // CHECK:      </array>
577 // CHECK:      <key>depth</key><integer>0</integer>
578 // CHECK:      <key>extended_message</key>
579 // CHECK:      <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
580 // CHECK:      <key>message</key>
581 // CHECK: <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
582 // CHECK:     </dict>
583 // CHECK:    </array>
584 // CHECK:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
585 // CHECK:    <key>category</key><string>Logic error</string>
586 // CHECK:    <key>type</key><string>Dereference of null pointer</string>
587 // CHECK:   <key>issue_context_kind</key><string>function</string>
588 // CHECK:   <key>issue_context</key><string>testCheck</string>
589 // CHECK:   <key>issue_hash</key><integer>4</integer>
590 // CHECK:   <key>location</key>
591 // CHECK:   <dict>
592 // CHECK:    <key>line</key><integer>32</integer>
593 // CHECK:    <key>col</key><integer>3</integer>
594 // CHECK:    <key>file</key><integer>0</integer>
595 // CHECK:   </dict>
596 // CHECK:   </dict>
597 // CHECK:   <dict>
598 // CHECK:    <key>path</key>
599 // CHECK:    <array>
600 // CHECK:     <dict>
601 // CHECK:      <key>kind</key><string>event</string>
602 // CHECK:      <key>location</key>
603 // CHECK:      <dict>
604 // CHECK:       <key>line</key><integer>40</integer>
605 // CHECK:       <key>col</key><integer>3</integer>
606 // CHECK:       <key>file</key><integer>0</integer>
607 // CHECK:      </dict>
608 // CHECK:      <key>ranges</key>
609 // CHECK:      <array>
610 // CHECK:        <array>
611 // CHECK:         <dict>
612 // CHECK:          <key>line</key><integer>40</integer>
613 // CHECK:          <key>col</key><integer>3</integer>
614 // CHECK:          <key>file</key><integer>0</integer>
615 // CHECK:         </dict>
616 // CHECK:         <dict>
617 // CHECK:          <key>line</key><integer>40</integer>
618 // CHECK:          <key>col</key><integer>8</integer>
619 // CHECK:          <key>file</key><integer>0</integer>
620 // CHECK:         </dict>
621 // CHECK:        </array>
622 // CHECK:      </array>
623 // CHECK:      <key>depth</key><integer>0</integer>
624 // CHECK:      <key>extended_message</key>
625 // CHECK:      <string>Variable &apos;a&apos; initialized here</string>
626 // CHECK:      <key>message</key>
627 // CHECK: <string>Variable &apos;a&apos; initialized here</string>
628 // CHECK:     </dict>
629 // CHECK:     <dict>
630 // CHECK:      <key>kind</key><string>control</string>
631 // CHECK:      <key>edges</key>
632 // CHECK:       <array>
633 // CHECK:        <dict>
634 // CHECK:         <key>start</key>
635 // CHECK:          <array>
636 // CHECK:           <dict>
637 // CHECK:            <key>line</key><integer>40</integer>
638 // CHECK:            <key>col</key><integer>3</integer>
639 // CHECK:            <key>file</key><integer>0</integer>
640 // CHECK:           </dict>
641 // CHECK:           <dict>
642 // CHECK:            <key>line</key><integer>40</integer>
643 // CHECK:            <key>col</key><integer>5</integer>
644 // CHECK:            <key>file</key><integer>0</integer>
645 // CHECK:           </dict>
646 // CHECK:          </array>
647 // CHECK:         <key>end</key>
648 // CHECK:          <array>
649 // CHECK:           <dict>
650 // CHECK:            <key>line</key><integer>42</integer>
651 // CHECK:            <key>col</key><integer>3</integer>
652 // CHECK:            <key>file</key><integer>0</integer>
653 // CHECK:           </dict>
654 // CHECK:           <dict>
655 // CHECK:            <key>line</key><integer>42</integer>
656 // CHECK:            <key>col</key><integer>7</integer>
657 // CHECK:            <key>file</key><integer>0</integer>
658 // CHECK:           </dict>
659 // CHECK:          </array>
660 // CHECK:        </dict>
661 // CHECK:       </array>
662 // CHECK:     </dict>
663 // CHECK:     <dict>
664 // CHECK:      <key>kind</key><string>event</string>
665 // CHECK:      <key>location</key>
666 // CHECK:      <dict>
667 // CHECK:       <key>line</key><integer>42</integer>
668 // CHECK:       <key>col</key><integer>3</integer>
669 // CHECK:       <key>file</key><integer>0</integer>
670 // CHECK:      </dict>
671 // CHECK:      <key>ranges</key>
672 // CHECK:      <array>
673 // CHECK:        <array>
674 // CHECK:         <dict>
675 // CHECK:          <key>line</key><integer>42</integer>
676 // CHECK:          <key>col</key><integer>3</integer>
677 // CHECK:          <key>file</key><integer>0</integer>
678 // CHECK:         </dict>
679 // CHECK:         <dict>
680 // CHECK:          <key>line</key><integer>42</integer>
681 // CHECK:          <key>col</key><integer>10</integer>
682 // CHECK:          <key>file</key><integer>0</integer>
683 // CHECK:         </dict>
684 // CHECK:        </array>
685 // CHECK:      </array>
686 // CHECK:      <key>depth</key><integer>0</integer>
687 // CHECK:      <key>extended_message</key>
688 // CHECK:      <string>Calling &apos;check&apos;</string>
689 // CHECK:      <key>message</key>
690 // CHECK: <string>Calling &apos;check&apos;</string>
691 // CHECK:     </dict>
692 // CHECK:     <dict>
693 // CHECK:      <key>kind</key><string>event</string>
694 // CHECK:      <key>location</key>
695 // CHECK:      <dict>
696 // CHECK:       <key>line</key><integer>18</integer>
697 // CHECK:       <key>col</key><integer>1</integer>
698 // CHECK:       <key>file</key><integer>0</integer>
699 // CHECK:      </dict>
700 // CHECK:      <key>depth</key><integer>1</integer>
701 // CHECK:      <key>extended_message</key>
702 // CHECK:      <string>Entered call from &apos;testInitCheck&apos;</string>
703 // CHECK:      <key>message</key>
704 // CHECK: <string>Entered call from &apos;testInitCheck&apos;</string>
705 // CHECK:     </dict>
706 // CHECK:     <dict>
707 // CHECK:      <key>kind</key><string>control</string>
708 // CHECK:      <key>edges</key>
709 // CHECK:       <array>
710 // CHECK:        <dict>
711 // CHECK:         <key>start</key>
712 // CHECK:          <array>
713 // CHECK:           <dict>
714 // CHECK:            <key>line</key><integer>18</integer>
715 // CHECK:            <key>col</key><integer>1</integer>
716 // CHECK:            <key>file</key><integer>0</integer>
717 // CHECK:           </dict>
718 // CHECK:           <dict>
719 // CHECK:            <key>line</key><integer>18</integer>
720 // CHECK:            <key>col</key><integer>4</integer>
721 // CHECK:            <key>file</key><integer>0</integer>
722 // CHECK:           </dict>
723 // CHECK:          </array>
724 // CHECK:         <key>end</key>
725 // CHECK:          <array>
726 // CHECK:           <dict>
727 // CHECK:            <key>line</key><integer>19</integer>
728 // CHECK:            <key>col</key><integer>3</integer>
729 // CHECK:            <key>file</key><integer>0</integer>
730 // CHECK:           </dict>
731 // CHECK:           <dict>
732 // CHECK:            <key>line</key><integer>19</integer>
733 // CHECK:            <key>col</key><integer>4</integer>
734 // CHECK:            <key>file</key><integer>0</integer>
735 // CHECK:           </dict>
736 // CHECK:          </array>
737 // CHECK:        </dict>
738 // CHECK:       </array>
739 // CHECK:     </dict>
740 // CHECK:     <dict>
741 // CHECK:      <key>kind</key><string>control</string>
742 // CHECK:      <key>edges</key>
743 // CHECK:       <array>
744 // CHECK:        <dict>
745 // CHECK:         <key>start</key>
746 // CHECK:          <array>
747 // CHECK:           <dict>
748 // CHECK:            <key>line</key><integer>19</integer>
749 // CHECK:            <key>col</key><integer>3</integer>
750 // CHECK:            <key>file</key><integer>0</integer>
751 // CHECK:           </dict>
752 // CHECK:           <dict>
753 // CHECK:            <key>line</key><integer>19</integer>
754 // CHECK:            <key>col</key><integer>4</integer>
755 // CHECK:            <key>file</key><integer>0</integer>
756 // CHECK:           </dict>
757 // CHECK:          </array>
758 // CHECK:         <key>end</key>
759 // CHECK:          <array>
760 // CHECK:           <dict>
761 // CHECK:            <key>line</key><integer>19</integer>
762 // CHECK:            <key>col</key><integer>7</integer>
763 // CHECK:            <key>file</key><integer>0</integer>
764 // CHECK:           </dict>
765 // CHECK:           <dict>
766 // CHECK:            <key>line</key><integer>19</integer>
767 // CHECK:            <key>col</key><integer>7</integer>
768 // CHECK:            <key>file</key><integer>0</integer>
769 // CHECK:           </dict>
770 // CHECK:          </array>
771 // CHECK:        </dict>
772 // CHECK:       </array>
773 // CHECK:     </dict>
774 // CHECK:     <dict>
775 // CHECK:      <key>kind</key><string>event</string>
776 // CHECK:      <key>location</key>
777 // CHECK:      <dict>
778 // CHECK:       <key>line</key><integer>19</integer>
779 // CHECK:       <key>col</key><integer>7</integer>
780 // CHECK:       <key>file</key><integer>0</integer>
781 // CHECK:      </dict>
782 // CHECK:      <key>ranges</key>
783 // CHECK:      <array>
784 // CHECK:        <array>
785 // CHECK:         <dict>
786 // CHECK:          <key>line</key><integer>19</integer>
787 // CHECK:          <key>col</key><integer>7</integer>
788 // CHECK:          <key>file</key><integer>0</integer>
789 // CHECK:         </dict>
790 // CHECK:         <dict>
791 // CHECK:          <key>line</key><integer>19</integer>
792 // CHECK:          <key>col</key><integer>7</integer>
793 // CHECK:          <key>file</key><integer>0</integer>
794 // CHECK:         </dict>
795 // CHECK:        </array>
796 // CHECK:      </array>
797 // CHECK:      <key>depth</key><integer>1</integer>
798 // CHECK:      <key>extended_message</key>
799 // CHECK:      <string>Assuming &apos;p&apos; is null</string>
800 // CHECK:      <key>message</key>
801 // CHECK: <string>Assuming &apos;p&apos; is null</string>
802 // CHECK:     </dict>
803 // CHECK:     <dict>
804 // CHECK:      <key>kind</key><string>control</string>
805 // CHECK:      <key>edges</key>
806 // CHECK:       <array>
807 // CHECK:        <dict>
808 // CHECK:         <key>start</key>
809 // CHECK:          <array>
810 // CHECK:           <dict>
811 // CHECK:            <key>line</key><integer>19</integer>
812 // CHECK:            <key>col</key><integer>7</integer>
813 // CHECK:            <key>file</key><integer>0</integer>
814 // CHECK:           </dict>
815 // CHECK:           <dict>
816 // CHECK:            <key>line</key><integer>19</integer>
817 // CHECK:            <key>col</key><integer>7</integer>
818 // CHECK:            <key>file</key><integer>0</integer>
819 // CHECK:           </dict>
820 // CHECK:          </array>
821 // CHECK:         <key>end</key>
822 // CHECK:          <array>
823 // CHECK:           <dict>
824 // CHECK:            <key>line</key><integer>25</integer>
825 // CHECK:            <key>col</key><integer>3</integer>
826 // CHECK:            <key>file</key><integer>0</integer>
827 // CHECK:           </dict>
828 // CHECK:           <dict>
829 // CHECK:            <key>line</key><integer>25</integer>
830 // CHECK:            <key>col</key><integer>8</integer>
831 // CHECK:            <key>file</key><integer>0</integer>
832 // CHECK:           </dict>
833 // CHECK:          </array>
834 // CHECK:        </dict>
835 // CHECK:       </array>
836 // CHECK:     </dict>
837 // CHECK:     <dict>
838 // CHECK:      <key>kind</key><string>event</string>
839 // CHECK:      <key>location</key>
840 // CHECK:      <dict>
841 // CHECK:       <key>line</key><integer>42</integer>
842 // CHECK:       <key>col</key><integer>3</integer>
843 // CHECK:       <key>file</key><integer>0</integer>
844 // CHECK:      </dict>
845 // CHECK:      <key>ranges</key>
846 // CHECK:      <array>
847 // CHECK:        <array>
848 // CHECK:         <dict>
849 // CHECK:          <key>line</key><integer>42</integer>
850 // CHECK:          <key>col</key><integer>3</integer>
851 // CHECK:          <key>file</key><integer>0</integer>
852 // CHECK:         </dict>
853 // CHECK:         <dict>
854 // CHECK:          <key>line</key><integer>42</integer>
855 // CHECK:          <key>col</key><integer>10</integer>
856 // CHECK:          <key>file</key><integer>0</integer>
857 // CHECK:         </dict>
858 // CHECK:        </array>
859 // CHECK:      </array>
860 // CHECK:      <key>depth</key><integer>1</integer>
861 // CHECK:      <key>extended_message</key>
862 // CHECK:      <string>Returning from &apos;check&apos;</string>
863 // CHECK:      <key>message</key>
864 // CHECK: <string>Returning from &apos;check&apos;</string>
865 // CHECK:     </dict>
866 // CHECK:     <dict>
867 // CHECK:      <key>kind</key><string>control</string>
868 // CHECK:      <key>edges</key>
869 // CHECK:       <array>
870 // CHECK:        <dict>
871 // CHECK:         <key>start</key>
872 // CHECK:          <array>
873 // CHECK:           <dict>
874 // CHECK:            <key>line</key><integer>42</integer>
875 // CHECK:            <key>col</key><integer>3</integer>
876 // CHECK:            <key>file</key><integer>0</integer>
877 // CHECK:           </dict>
878 // CHECK:           <dict>
879 // CHECK:            <key>line</key><integer>42</integer>
880 // CHECK:            <key>col</key><integer>7</integer>
881 // CHECK:            <key>file</key><integer>0</integer>
882 // CHECK:           </dict>
883 // CHECK:          </array>
884 // CHECK:         <key>end</key>
885 // CHECK:          <array>
886 // CHECK:           <dict>
887 // CHECK:            <key>line</key><integer>45</integer>
888 // CHECK:            <key>col</key><integer>3</integer>
889 // CHECK:            <key>file</key><integer>0</integer>
890 // CHECK:           </dict>
891 // CHECK:           <dict>
892 // CHECK:            <key>line</key><integer>45</integer>
893 // CHECK:            <key>col</key><integer>3</integer>
894 // CHECK:            <key>file</key><integer>0</integer>
895 // CHECK:           </dict>
896 // CHECK:          </array>
897 // CHECK:        </dict>
898 // CHECK:       </array>
899 // CHECK:     </dict>
900 // CHECK:     <dict>
901 // CHECK:      <key>kind</key><string>event</string>
902 // CHECK:      <key>location</key>
903 // CHECK:      <dict>
904 // CHECK:       <key>line</key><integer>45</integer>
905 // CHECK:       <key>col</key><integer>3</integer>
906 // CHECK:       <key>file</key><integer>0</integer>
907 // CHECK:      </dict>
908 // CHECK:      <key>ranges</key>
909 // CHECK:      <array>
910 // CHECK:        <array>
911 // CHECK:         <dict>
912 // CHECK:          <key>line</key><integer>45</integer>
913 // CHECK:          <key>col</key><integer>4</integer>
914 // CHECK:          <key>file</key><integer>0</integer>
915 // CHECK:         </dict>
916 // CHECK:         <dict>
917 // CHECK:          <key>line</key><integer>45</integer>
918 // CHECK:          <key>col</key><integer>4</integer>
919 // CHECK:          <key>file</key><integer>0</integer>
920 // CHECK:         </dict>
921 // CHECK:        </array>
922 // CHECK:      </array>
923 // CHECK:      <key>depth</key><integer>0</integer>
924 // CHECK:      <key>extended_message</key>
925 // CHECK:      <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
926 // CHECK:      <key>message</key>
927 // CHECK: <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
928 // CHECK:     </dict>
929 // CHECK:    </array>
930 // CHECK:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
931 // CHECK:    <key>category</key><string>Logic error</string>
932 // CHECK:    <key>type</key><string>Dereference of null pointer</string>
933 // CHECK:   <key>issue_context_kind</key><string>function</string>
934 // CHECK:   <key>issue_context</key><string>testInitCheck</string>
935 // CHECK:   <key>issue_hash</key><integer>6</integer>
936 // CHECK:   <key>location</key>
937 // CHECK:   <dict>
938 // CHECK:    <key>line</key><integer>45</integer>
939 // CHECK:    <key>col</key><integer>3</integer>
940 // CHECK:    <key>file</key><integer>0</integer>
941 // CHECK:   </dict>
942 // CHECK:   </dict>
943 // CHECK:   <dict>
944 // CHECK:    <key>path</key>
945 // CHECK:    <array>
946 // CHECK:     <dict>
947 // CHECK:      <key>kind</key><string>event</string>
948 // CHECK:      <key>location</key>
949 // CHECK:      <dict>
950 // CHECK:       <key>line</key><integer>50</integer>
951 // CHECK:       <key>col</key><integer>3</integer>
952 // CHECK:       <key>file</key><integer>0</integer>
953 // CHECK:      </dict>
954 // CHECK:      <key>ranges</key>
955 // CHECK:      <array>
956 // CHECK:        <array>
957 // CHECK:         <dict>
958 // CHECK:          <key>line</key><integer>50</integer>
959 // CHECK:          <key>col</key><integer>3</integer>
960 // CHECK:          <key>file</key><integer>0</integer>
961 // CHECK:         </dict>
962 // CHECK:         <dict>
963 // CHECK:          <key>line</key><integer>50</integer>
964 // CHECK:          <key>col</key><integer>18</integer>
965 // CHECK:          <key>file</key><integer>0</integer>
966 // CHECK:         </dict>
967 // CHECK:        </array>
968 // CHECK:      </array>
969 // CHECK:      <key>depth</key><integer>0</integer>
970 // CHECK:      <key>extended_message</key>
971 // CHECK:      <string>Value assigned to &apos;a&apos;</string>
972 // CHECK:      <key>message</key>
973 // CHECK: <string>Value assigned to &apos;a&apos;</string>
974 // CHECK:     </dict>
975 // CHECK:     <dict>
976 // CHECK:      <key>kind</key><string>control</string>
977 // CHECK:      <key>edges</key>
978 // CHECK:       <array>
979 // CHECK:        <dict>
980 // CHECK:         <key>start</key>
981 // CHECK:          <array>
982 // CHECK:           <dict>
983 // CHECK:            <key>line</key><integer>50</integer>
984 // CHECK:            <key>col</key><integer>3</integer>
985 // CHECK:            <key>file</key><integer>0</integer>
986 // CHECK:           </dict>
987 // CHECK:           <dict>
988 // CHECK:            <key>line</key><integer>50</integer>
989 // CHECK:            <key>col</key><integer>3</integer>
990 // CHECK:            <key>file</key><integer>0</integer>
991 // CHECK:           </dict>
992 // CHECK:          </array>
993 // CHECK:         <key>end</key>
994 // CHECK:          <array>
995 // CHECK:           <dict>
996 // CHECK:            <key>line</key><integer>52</integer>
997 // CHECK:            <key>col</key><integer>3</integer>
998 // CHECK:            <key>file</key><integer>0</integer>
999 // CHECK:           </dict>
1000 // CHECK:           <dict>
1001 // CHECK:            <key>line</key><integer>52</integer>
1002 // CHECK:            <key>col</key><integer>7</integer>
1003 // CHECK:            <key>file</key><integer>0</integer>
1004 // CHECK:           </dict>
1005 // CHECK:          </array>
1006 // CHECK:        </dict>
1007 // CHECK:       </array>
1008 // CHECK:     </dict>
1009 // CHECK:     <dict>
1010 // CHECK:      <key>kind</key><string>event</string>
1011 // CHECK:      <key>location</key>
1012 // CHECK:      <dict>
1013 // CHECK:       <key>line</key><integer>52</integer>
1014 // CHECK:       <key>col</key><integer>3</integer>
1015 // CHECK:       <key>file</key><integer>0</integer>
1016 // CHECK:      </dict>
1017 // CHECK:      <key>ranges</key>
1018 // CHECK:      <array>
1019 // CHECK:        <array>
1020 // CHECK:         <dict>
1021 // CHECK:          <key>line</key><integer>52</integer>
1022 // CHECK:          <key>col</key><integer>3</integer>
1023 // CHECK:          <key>file</key><integer>0</integer>
1024 // CHECK:         </dict>
1025 // CHECK:         <dict>
1026 // CHECK:          <key>line</key><integer>52</integer>
1027 // CHECK:          <key>col</key><integer>10</integer>
1028 // CHECK:          <key>file</key><integer>0</integer>
1029 // CHECK:         </dict>
1030 // CHECK:        </array>
1031 // CHECK:      </array>
1032 // CHECK:      <key>depth</key><integer>0</integer>
1033 // CHECK:      <key>extended_message</key>
1034 // CHECK:      <string>Calling &apos;check&apos;</string>
1035 // CHECK:      <key>message</key>
1036 // CHECK: <string>Calling &apos;check&apos;</string>
1037 // CHECK:     </dict>
1038 // CHECK:     <dict>
1039 // CHECK:      <key>kind</key><string>event</string>
1040 // CHECK:      <key>location</key>
1041 // CHECK:      <dict>
1042 // CHECK:       <key>line</key><integer>18</integer>
1043 // CHECK:       <key>col</key><integer>1</integer>
1044 // CHECK:       <key>file</key><integer>0</integer>
1045 // CHECK:      </dict>
1046 // CHECK:      <key>depth</key><integer>1</integer>
1047 // CHECK:      <key>extended_message</key>
1048 // CHECK:      <string>Entered call from &apos;testStoreCheck&apos;</string>
1049 // CHECK:      <key>message</key>
1050 // CHECK: <string>Entered call from &apos;testStoreCheck&apos;</string>
1051 // CHECK:     </dict>
1052 // CHECK:     <dict>
1053 // CHECK:      <key>kind</key><string>control</string>
1054 // CHECK:      <key>edges</key>
1055 // CHECK:       <array>
1056 // CHECK:        <dict>
1057 // CHECK:         <key>start</key>
1058 // CHECK:          <array>
1059 // CHECK:           <dict>
1060 // CHECK:            <key>line</key><integer>18</integer>
1061 // CHECK:            <key>col</key><integer>1</integer>
1062 // CHECK:            <key>file</key><integer>0</integer>
1063 // CHECK:           </dict>
1064 // CHECK:           <dict>
1065 // CHECK:            <key>line</key><integer>18</integer>
1066 // CHECK:            <key>col</key><integer>4</integer>
1067 // CHECK:            <key>file</key><integer>0</integer>
1068 // CHECK:           </dict>
1069 // CHECK:          </array>
1070 // CHECK:         <key>end</key>
1071 // CHECK:          <array>
1072 // CHECK:           <dict>
1073 // CHECK:            <key>line</key><integer>19</integer>
1074 // CHECK:            <key>col</key><integer>3</integer>
1075 // CHECK:            <key>file</key><integer>0</integer>
1076 // CHECK:           </dict>
1077 // CHECK:           <dict>
1078 // CHECK:            <key>line</key><integer>19</integer>
1079 // CHECK:            <key>col</key><integer>4</integer>
1080 // CHECK:            <key>file</key><integer>0</integer>
1081 // CHECK:           </dict>
1082 // CHECK:          </array>
1083 // CHECK:        </dict>
1084 // CHECK:       </array>
1085 // CHECK:     </dict>
1086 // CHECK:     <dict>
1087 // CHECK:      <key>kind</key><string>control</string>
1088 // CHECK:      <key>edges</key>
1089 // CHECK:       <array>
1090 // CHECK:        <dict>
1091 // CHECK:         <key>start</key>
1092 // CHECK:          <array>
1093 // CHECK:           <dict>
1094 // CHECK:            <key>line</key><integer>19</integer>
1095 // CHECK:            <key>col</key><integer>3</integer>
1096 // CHECK:            <key>file</key><integer>0</integer>
1097 // CHECK:           </dict>
1098 // CHECK:           <dict>
1099 // CHECK:            <key>line</key><integer>19</integer>
1100 // CHECK:            <key>col</key><integer>4</integer>
1101 // CHECK:            <key>file</key><integer>0</integer>
1102 // CHECK:           </dict>
1103 // CHECK:          </array>
1104 // CHECK:         <key>end</key>
1105 // CHECK:          <array>
1106 // CHECK:           <dict>
1107 // CHECK:            <key>line</key><integer>19</integer>
1108 // CHECK:            <key>col</key><integer>7</integer>
1109 // CHECK:            <key>file</key><integer>0</integer>
1110 // CHECK:           </dict>
1111 // CHECK:           <dict>
1112 // CHECK:            <key>line</key><integer>19</integer>
1113 // CHECK:            <key>col</key><integer>7</integer>
1114 // CHECK:            <key>file</key><integer>0</integer>
1115 // CHECK:           </dict>
1116 // CHECK:          </array>
1117 // CHECK:        </dict>
1118 // CHECK:       </array>
1119 // CHECK:     </dict>
1120 // CHECK:     <dict>
1121 // CHECK:      <key>kind</key><string>event</string>
1122 // CHECK:      <key>location</key>
1123 // CHECK:      <dict>
1124 // CHECK:       <key>line</key><integer>19</integer>
1125 // CHECK:       <key>col</key><integer>7</integer>
1126 // CHECK:       <key>file</key><integer>0</integer>
1127 // CHECK:      </dict>
1128 // CHECK:      <key>ranges</key>
1129 // CHECK:      <array>
1130 // CHECK:        <array>
1131 // CHECK:         <dict>
1132 // CHECK:          <key>line</key><integer>19</integer>
1133 // CHECK:          <key>col</key><integer>7</integer>
1134 // CHECK:          <key>file</key><integer>0</integer>
1135 // CHECK:         </dict>
1136 // CHECK:         <dict>
1137 // CHECK:          <key>line</key><integer>19</integer>
1138 // CHECK:          <key>col</key><integer>7</integer>
1139 // CHECK:          <key>file</key><integer>0</integer>
1140 // CHECK:         </dict>
1141 // CHECK:        </array>
1142 // CHECK:      </array>
1143 // CHECK:      <key>depth</key><integer>1</integer>
1144 // CHECK:      <key>extended_message</key>
1145 // CHECK:      <string>Assuming &apos;p&apos; is null</string>
1146 // CHECK:      <key>message</key>
1147 // CHECK: <string>Assuming &apos;p&apos; is null</string>
1148 // CHECK:     </dict>
1149 // CHECK:     <dict>
1150 // CHECK:      <key>kind</key><string>control</string>
1151 // CHECK:      <key>edges</key>
1152 // CHECK:       <array>
1153 // CHECK:        <dict>
1154 // CHECK:         <key>start</key>
1155 // CHECK:          <array>
1156 // CHECK:           <dict>
1157 // CHECK:            <key>line</key><integer>19</integer>
1158 // CHECK:            <key>col</key><integer>7</integer>
1159 // CHECK:            <key>file</key><integer>0</integer>
1160 // CHECK:           </dict>
1161 // CHECK:           <dict>
1162 // CHECK:            <key>line</key><integer>19</integer>
1163 // CHECK:            <key>col</key><integer>7</integer>
1164 // CHECK:            <key>file</key><integer>0</integer>
1165 // CHECK:           </dict>
1166 // CHECK:          </array>
1167 // CHECK:         <key>end</key>
1168 // CHECK:          <array>
1169 // CHECK:           <dict>
1170 // CHECK:            <key>line</key><integer>25</integer>
1171 // CHECK:            <key>col</key><integer>3</integer>
1172 // CHECK:            <key>file</key><integer>0</integer>
1173 // CHECK:           </dict>
1174 // CHECK:           <dict>
1175 // CHECK:            <key>line</key><integer>25</integer>
1176 // CHECK:            <key>col</key><integer>8</integer>
1177 // CHECK:            <key>file</key><integer>0</integer>
1178 // CHECK:           </dict>
1179 // CHECK:          </array>
1180 // CHECK:        </dict>
1181 // CHECK:       </array>
1182 // CHECK:     </dict>
1183 // CHECK:     <dict>
1184 // CHECK:      <key>kind</key><string>event</string>
1185 // CHECK:      <key>location</key>
1186 // CHECK:      <dict>
1187 // CHECK:       <key>line</key><integer>52</integer>
1188 // CHECK:       <key>col</key><integer>3</integer>
1189 // CHECK:       <key>file</key><integer>0</integer>
1190 // CHECK:      </dict>
1191 // CHECK:      <key>ranges</key>
1192 // CHECK:      <array>
1193 // CHECK:        <array>
1194 // CHECK:         <dict>
1195 // CHECK:          <key>line</key><integer>52</integer>
1196 // CHECK:          <key>col</key><integer>3</integer>
1197 // CHECK:          <key>file</key><integer>0</integer>
1198 // CHECK:         </dict>
1199 // CHECK:         <dict>
1200 // CHECK:          <key>line</key><integer>52</integer>
1201 // CHECK:          <key>col</key><integer>10</integer>
1202 // CHECK:          <key>file</key><integer>0</integer>
1203 // CHECK:         </dict>
1204 // CHECK:        </array>
1205 // CHECK:      </array>
1206 // CHECK:      <key>depth</key><integer>1</integer>
1207 // CHECK:      <key>extended_message</key>
1208 // CHECK:      <string>Returning from &apos;check&apos;</string>
1209 // CHECK:      <key>message</key>
1210 // CHECK: <string>Returning from &apos;check&apos;</string>
1211 // CHECK:     </dict>
1212 // CHECK:     <dict>
1213 // CHECK:      <key>kind</key><string>control</string>
1214 // CHECK:      <key>edges</key>
1215 // CHECK:       <array>
1216 // CHECK:        <dict>
1217 // CHECK:         <key>start</key>
1218 // CHECK:          <array>
1219 // CHECK:           <dict>
1220 // CHECK:            <key>line</key><integer>52</integer>
1221 // CHECK:            <key>col</key><integer>3</integer>
1222 // CHECK:            <key>file</key><integer>0</integer>
1223 // CHECK:           </dict>
1224 // CHECK:           <dict>
1225 // CHECK:            <key>line</key><integer>52</integer>
1226 // CHECK:            <key>col</key><integer>7</integer>
1227 // CHECK:            <key>file</key><integer>0</integer>
1228 // CHECK:           </dict>
1229 // CHECK:          </array>
1230 // CHECK:         <key>end</key>
1231 // CHECK:          <array>
1232 // CHECK:           <dict>
1233 // CHECK:            <key>line</key><integer>55</integer>
1234 // CHECK:            <key>col</key><integer>3</integer>
1235 // CHECK:            <key>file</key><integer>0</integer>
1236 // CHECK:           </dict>
1237 // CHECK:           <dict>
1238 // CHECK:            <key>line</key><integer>55</integer>
1239 // CHECK:            <key>col</key><integer>3</integer>
1240 // CHECK:            <key>file</key><integer>0</integer>
1241 // CHECK:           </dict>
1242 // CHECK:          </array>
1243 // CHECK:        </dict>
1244 // CHECK:       </array>
1245 // CHECK:     </dict>
1246 // CHECK:     <dict>
1247 // CHECK:      <key>kind</key><string>event</string>
1248 // CHECK:      <key>location</key>
1249 // CHECK:      <dict>
1250 // CHECK:       <key>line</key><integer>55</integer>
1251 // CHECK:       <key>col</key><integer>3</integer>
1252 // CHECK:       <key>file</key><integer>0</integer>
1253 // CHECK:      </dict>
1254 // CHECK:      <key>ranges</key>
1255 // CHECK:      <array>
1256 // CHECK:        <array>
1257 // CHECK:         <dict>
1258 // CHECK:          <key>line</key><integer>55</integer>
1259 // CHECK:          <key>col</key><integer>4</integer>
1260 // CHECK:          <key>file</key><integer>0</integer>
1261 // CHECK:         </dict>
1262 // CHECK:         <dict>
1263 // CHECK:          <key>line</key><integer>55</integer>
1264 // CHECK:          <key>col</key><integer>4</integer>
1265 // CHECK:          <key>file</key><integer>0</integer>
1266 // CHECK:         </dict>
1267 // CHECK:        </array>
1268 // CHECK:      </array>
1269 // CHECK:      <key>depth</key><integer>0</integer>
1270 // CHECK:      <key>extended_message</key>
1271 // CHECK:      <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
1272 // CHECK:      <key>message</key>
1273 // CHECK: <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
1274 // CHECK:     </dict>
1275 // CHECK:    </array>
1276 // CHECK:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
1277 // CHECK:    <key>category</key><string>Logic error</string>
1278 // CHECK:    <key>type</key><string>Dereference of null pointer</string>
1279 // CHECK:   <key>issue_context_kind</key><string>function</string>
1280 // CHECK:   <key>issue_context</key><string>testStoreCheck</string>
1281 // CHECK:   <key>issue_hash</key><integer>6</integer>
1282 // CHECK:   <key>location</key>
1283 // CHECK:   <dict>
1284 // CHECK:    <key>line</key><integer>55</integer>
1285 // CHECK:    <key>col</key><integer>3</integer>
1286 // CHECK:    <key>file</key><integer>0</integer>
1287 // CHECK:   </dict>
1288 // CHECK:   </dict>
1289 // CHECK:  </array>
1290 // CHECK: </dict>
1291 // CHECK: </plist>
1292