1 // RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=text -analyzer-config suppress-null-return-paths=false -verify %s
2 // RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=plist-multi-file -analyzer-config suppress-null-return-paths=false -analyzer-config path-diagnostics-alternate=false %s -o %t.plist
3 // RUN: FileCheck --input-file=%t.plist %s
4 
5 void zero(int **p) {
6   *p = 0;
7   // expected-note@-1 {{Null pointer value stored to 'a'}}
8 }
9 
10 void testZero(int *a) {
11   zero(&a);
12   // expected-note@-1 {{Calling 'zero'}}
13   // expected-note@-2 {{Returning from 'zero'}}
14   *a = 1; // expected-warning{{Dereference of null pointer}}
15   // expected-note@-1 {{Dereference of null pointer (loaded from variable 'a')}}
16 }
17 
18 void testCheck(int *a) {
19   if (a) {
20     // expected-note@-1 + {{Assuming 'a' is null}}
21     // expected-note@-2 + {{Taking false branch}}
22     ;
23   }
24   *a = 1; // expected-warning{{Dereference of null pointer}}
25   // expected-note@-1 {{Dereference of null pointer (loaded from variable 'a')}}
26 }
27 
28 
29 int *getPointer();
30 
31 void testInitCheck() {
32   int *a = getPointer();
33   // expected-note@-1 {{'a' initialized here}}
34   if (a) {
35     // expected-note@-1 + {{Assuming 'a' is null}}
36     // expected-note@-2 + {{Taking false branch}}
37     ;
38   }
39   *a = 1; // expected-warning{{Dereference of null pointer}}
40   // expected-note@-1 {{Dereference of null pointer (loaded from variable 'a')}}
41 }
42 
43 void testStoreCheck(int *a) {
44   a = getPointer();
45   // expected-note@-1 {{Value assigned to 'a'}}
46   if (a) {
47     // expected-note@-1 + {{Assuming 'a' is null}}
48     // expected-note@-2 + {{Taking false branch}}
49     ;
50   }
51   *a = 1; // expected-warning{{Dereference of null pointer}}
52   // expected-note@-1 {{Dereference of null pointer (loaded from variable 'a')}}
53 }
54 
55 
56 int *getZero() {
57   int *p = 0;
58   // expected-note@-1 + {{'p' initialized to a null pointer value}}
59   // ^ This note checks that we add a second visitor for the return value.
60   return p;
61   // expected-note@-1 + {{Returning null pointer (loaded from 'p')}}
62 }
63 
64 void testReturnZero() {
65   *getZero() = 1; // expected-warning{{Dereference of null pointer}}
66   // expected-note@-1 {{Calling 'getZero'}}
67   // expected-note@-2 {{Returning from 'getZero'}}
68   // expected-note@-3 {{Dereference of null pointer}}
69 }
70 
71 int testReturnZero2() {
72   return *getZero(); // expected-warning{{Dereference of null pointer}}
73   // expected-note@-1 {{Calling 'getZero'}}
74   // expected-note@-2 {{Returning from 'getZero'}}
75   // expected-note@-3 {{Dereference of null pointer}}
76 }
77 
78 void testInitZero() {
79   int *a = getZero();
80   // expected-note@-1 {{Calling 'getZero'}}
81   // expected-note@-2 {{Returning from 'getZero'}}
82   // expected-note@-3 {{'a' initialized to a null pointer value}}
83   *a = 1; // expected-warning{{Dereference of null pointer}}
84   // expected-note@-1 {{Dereference of null pointer (loaded from variable 'a')}}
85 }
86 
87 void testStoreZero(int *a) {
88   a = getZero();
89   // expected-note@-1 {{Calling 'getZero'}}
90   // expected-note@-2 {{Returning from 'getZero'}}
91   // expected-note@-3 {{Null pointer value stored to 'a'}}
92   *a = 1; // expected-warning{{Dereference of null pointer}}
93   // expected-note@-1 {{Dereference of null pointer (loaded from variable 'a')}}
94 }
95 
96 void usePointer(int *p) {
97   *p = 1; // expected-warning{{Dereference of null pointer}}
98   // expected-note@-1 {{Dereference of null pointer}}
99 }
100 
101 void testUseOfNullPointer() {
102   // Test the case where an argument expression is itself a call.
103   usePointer(getZero());
104   // expected-note@-1 {{Calling 'getZero'}}
105   // expected-note@-2 {{Returning from 'getZero'}}
106   // expected-note@-3 {{Passing null pointer value via 1st parameter 'p'}}
107   // expected-note@-4 {{Calling 'usePointer'}}
108 }
109 
110 struct X { char *p; };
111 
112 void setFieldToNull(struct X *x) {
113 	x->p = 0; // expected-note {{Null pointer value stored to field 'p'}}
114 }
115 
116 int testSetFieldToNull(struct X *x) {
117   setFieldToNull(x); // expected-note {{Calling 'setFieldToNull'}}
118                      // expected-note@-1{{Returning from 'setFieldToNull'}}
119   return *x->p;
120   // expected-warning@-1 {{Dereference of null pointer (loaded from field 'p')}}
121   // expected-note@-2 {{Dereference of null pointer (loaded from field 'p')}}
122 }
123 
124 struct Outer {
125   struct Inner {
126     int *p;
127   } inner;
128 };
129 
130 void test(struct Outer *wrapperPtr) {
131   wrapperPtr->inner.p = 0;  // expected-note {{Null pointer value stored to field 'p'}}
132   *wrapperPtr->inner.p = 1; //expected-warning {{Dereference of null pointer (loaded from field 'p')}}
133                             // expected-note@-1 {{Dereference of null pointer (loaded from field 'p')}}
134 }
135 
136 void test4(int **p) {
137   if (*p) return; // expected-note {{Taking false branch}}
138                   // expected-note@-1 {{Assuming pointer value is null}}
139   **p = 1; // expected-warning {{Dereference of null pointer}}
140            // expected-note@-1 {{Dereference of null pointer}}
141 }
142 
143 void boringCallee() {
144 }
145 
146 void interestingCallee(int *x) {
147   *x = 0; // expected-note{{The value 0 is assigned to 'x'}}
148   boringCallee(); // no-note
149 }
150 
151 int testBoringCalleeOfInterestingCallee() {
152   int x;
153   interestingCallee(&x); // expected-note{{Calling 'interestingCallee'}}
154                          // expected-note@-1{{Returning from 'interestingCallee'}}
155   return 1 / x; // expected-warning{{Division by zero}}
156                 // expected-note@-1{{Division by zero}}
157 }
158 
159 // CHECK:  <key>diagnostics</key>
160 // CHECK-NEXT:  <array>
161 // CHECK-NEXT:   <dict>
162 // CHECK-NEXT:    <key>path</key>
163 // CHECK-NEXT:    <array>
164 // CHECK-NEXT:     <dict>
165 // CHECK-NEXT:      <key>kind</key><string>event</string>
166 // CHECK-NEXT:      <key>location</key>
167 // CHECK-NEXT:      <dict>
168 // CHECK-NEXT:       <key>line</key><integer>11</integer>
169 // CHECK-NEXT:       <key>col</key><integer>3</integer>
170 // CHECK-NEXT:       <key>file</key><integer>0</integer>
171 // CHECK-NEXT:      </dict>
172 // CHECK-NEXT:      <key>ranges</key>
173 // CHECK-NEXT:      <array>
174 // CHECK-NEXT:        <array>
175 // CHECK-NEXT:         <dict>
176 // CHECK-NEXT:          <key>line</key><integer>11</integer>
177 // CHECK-NEXT:          <key>col</key><integer>3</integer>
178 // CHECK-NEXT:          <key>file</key><integer>0</integer>
179 // CHECK-NEXT:         </dict>
180 // CHECK-NEXT:         <dict>
181 // CHECK-NEXT:          <key>line</key><integer>11</integer>
182 // CHECK-NEXT:          <key>col</key><integer>10</integer>
183 // CHECK-NEXT:          <key>file</key><integer>0</integer>
184 // CHECK-NEXT:         </dict>
185 // CHECK-NEXT:        </array>
186 // CHECK-NEXT:      </array>
187 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
188 // CHECK-NEXT:      <key>extended_message</key>
189 // CHECK-NEXT:      <string>Calling &apos;zero&apos;</string>
190 // CHECK-NEXT:      <key>message</key>
191 // CHECK-NEXT:      <string>Calling &apos;zero&apos;</string>
192 // CHECK-NEXT:     </dict>
193 // CHECK-NEXT:     <dict>
194 // CHECK-NEXT:      <key>kind</key><string>event</string>
195 // CHECK-NEXT:      <key>location</key>
196 // CHECK-NEXT:      <dict>
197 // CHECK-NEXT:       <key>line</key><integer>5</integer>
198 // CHECK-NEXT:       <key>col</key><integer>1</integer>
199 // CHECK-NEXT:       <key>file</key><integer>0</integer>
200 // CHECK-NEXT:      </dict>
201 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
202 // CHECK-NEXT:      <key>extended_message</key>
203 // CHECK-NEXT:      <string>Entered call from &apos;testZero&apos;</string>
204 // CHECK-NEXT:      <key>message</key>
205 // CHECK-NEXT:      <string>Entered call from &apos;testZero&apos;</string>
206 // CHECK-NEXT:     </dict>
207 // CHECK-NEXT:     <dict>
208 // CHECK-NEXT:      <key>kind</key><string>control</string>
209 // CHECK-NEXT:      <key>edges</key>
210 // CHECK-NEXT:       <array>
211 // CHECK-NEXT:        <dict>
212 // CHECK-NEXT:         <key>start</key>
213 // CHECK-NEXT:          <array>
214 // CHECK-NEXT:           <dict>
215 // CHECK-NEXT:            <key>line</key><integer>5</integer>
216 // CHECK-NEXT:            <key>col</key><integer>1</integer>
217 // CHECK-NEXT:            <key>file</key><integer>0</integer>
218 // CHECK-NEXT:           </dict>
219 // CHECK-NEXT:           <dict>
220 // CHECK-NEXT:            <key>line</key><integer>5</integer>
221 // CHECK-NEXT:            <key>col</key><integer>4</integer>
222 // CHECK-NEXT:            <key>file</key><integer>0</integer>
223 // CHECK-NEXT:           </dict>
224 // CHECK-NEXT:          </array>
225 // CHECK-NEXT:         <key>end</key>
226 // CHECK-NEXT:          <array>
227 // CHECK-NEXT:           <dict>
228 // CHECK-NEXT:            <key>line</key><integer>6</integer>
229 // CHECK-NEXT:            <key>col</key><integer>3</integer>
230 // CHECK-NEXT:            <key>file</key><integer>0</integer>
231 // CHECK-NEXT:           </dict>
232 // CHECK-NEXT:           <dict>
233 // CHECK-NEXT:            <key>line</key><integer>6</integer>
234 // CHECK-NEXT:            <key>col</key><integer>3</integer>
235 // CHECK-NEXT:            <key>file</key><integer>0</integer>
236 // CHECK-NEXT:           </dict>
237 // CHECK-NEXT:          </array>
238 // CHECK-NEXT:        </dict>
239 // CHECK-NEXT:       </array>
240 // CHECK-NEXT:     </dict>
241 // CHECK-NEXT:     <dict>
242 // CHECK-NEXT:      <key>kind</key><string>event</string>
243 // CHECK-NEXT:      <key>location</key>
244 // CHECK-NEXT:      <dict>
245 // CHECK-NEXT:       <key>line</key><integer>6</integer>
246 // CHECK-NEXT:       <key>col</key><integer>3</integer>
247 // CHECK-NEXT:       <key>file</key><integer>0</integer>
248 // CHECK-NEXT:      </dict>
249 // CHECK-NEXT:      <key>ranges</key>
250 // CHECK-NEXT:      <array>
251 // CHECK-NEXT:        <array>
252 // CHECK-NEXT:         <dict>
253 // CHECK-NEXT:          <key>line</key><integer>6</integer>
254 // CHECK-NEXT:          <key>col</key><integer>3</integer>
255 // CHECK-NEXT:          <key>file</key><integer>0</integer>
256 // CHECK-NEXT:         </dict>
257 // CHECK-NEXT:         <dict>
258 // CHECK-NEXT:          <key>line</key><integer>6</integer>
259 // CHECK-NEXT:          <key>col</key><integer>8</integer>
260 // CHECK-NEXT:          <key>file</key><integer>0</integer>
261 // CHECK-NEXT:         </dict>
262 // CHECK-NEXT:        </array>
263 // CHECK-NEXT:      </array>
264 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
265 // CHECK-NEXT:      <key>extended_message</key>
266 // CHECK-NEXT:      <string>Null pointer value stored to &apos;a&apos;</string>
267 // CHECK-NEXT:      <key>message</key>
268 // CHECK-NEXT:      <string>Null pointer value stored to &apos;a&apos;</string>
269 // CHECK-NEXT:     </dict>
270 // CHECK-NEXT:     <dict>
271 // CHECK-NEXT:      <key>kind</key><string>event</string>
272 // CHECK-NEXT:      <key>location</key>
273 // CHECK-NEXT:      <dict>
274 // CHECK-NEXT:       <key>line</key><integer>11</integer>
275 // CHECK-NEXT:       <key>col</key><integer>3</integer>
276 // CHECK-NEXT:       <key>file</key><integer>0</integer>
277 // CHECK-NEXT:      </dict>
278 // CHECK-NEXT:      <key>ranges</key>
279 // CHECK-NEXT:      <array>
280 // CHECK-NEXT:        <array>
281 // CHECK-NEXT:         <dict>
282 // CHECK-NEXT:          <key>line</key><integer>11</integer>
283 // CHECK-NEXT:          <key>col</key><integer>3</integer>
284 // CHECK-NEXT:          <key>file</key><integer>0</integer>
285 // CHECK-NEXT:         </dict>
286 // CHECK-NEXT:         <dict>
287 // CHECK-NEXT:          <key>line</key><integer>11</integer>
288 // CHECK-NEXT:          <key>col</key><integer>10</integer>
289 // CHECK-NEXT:          <key>file</key><integer>0</integer>
290 // CHECK-NEXT:         </dict>
291 // CHECK-NEXT:        </array>
292 // CHECK-NEXT:      </array>
293 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
294 // CHECK-NEXT:      <key>extended_message</key>
295 // CHECK-NEXT:      <string>Returning from &apos;zero&apos;</string>
296 // CHECK-NEXT:      <key>message</key>
297 // CHECK-NEXT:      <string>Returning from &apos;zero&apos;</string>
298 // CHECK-NEXT:     </dict>
299 // CHECK-NEXT:     <dict>
300 // CHECK-NEXT:      <key>kind</key><string>control</string>
301 // CHECK-NEXT:      <key>edges</key>
302 // CHECK-NEXT:       <array>
303 // CHECK-NEXT:        <dict>
304 // CHECK-NEXT:         <key>start</key>
305 // CHECK-NEXT:          <array>
306 // CHECK-NEXT:           <dict>
307 // CHECK-NEXT:            <key>line</key><integer>11</integer>
308 // CHECK-NEXT:            <key>col</key><integer>3</integer>
309 // CHECK-NEXT:            <key>file</key><integer>0</integer>
310 // CHECK-NEXT:           </dict>
311 // CHECK-NEXT:           <dict>
312 // CHECK-NEXT:            <key>line</key><integer>11</integer>
313 // CHECK-NEXT:            <key>col</key><integer>6</integer>
314 // CHECK-NEXT:            <key>file</key><integer>0</integer>
315 // CHECK-NEXT:           </dict>
316 // CHECK-NEXT:          </array>
317 // CHECK-NEXT:         <key>end</key>
318 // CHECK-NEXT:          <array>
319 // CHECK-NEXT:           <dict>
320 // CHECK-NEXT:            <key>line</key><integer>14</integer>
321 // CHECK-NEXT:            <key>col</key><integer>6</integer>
322 // CHECK-NEXT:            <key>file</key><integer>0</integer>
323 // CHECK-NEXT:           </dict>
324 // CHECK-NEXT:           <dict>
325 // CHECK-NEXT:            <key>line</key><integer>14</integer>
326 // CHECK-NEXT:            <key>col</key><integer>6</integer>
327 // CHECK-NEXT:            <key>file</key><integer>0</integer>
328 // CHECK-NEXT:           </dict>
329 // CHECK-NEXT:          </array>
330 // CHECK-NEXT:        </dict>
331 // CHECK-NEXT:       </array>
332 // CHECK-NEXT:     </dict>
333 // CHECK-NEXT:     <dict>
334 // CHECK-NEXT:      <key>kind</key><string>event</string>
335 // CHECK-NEXT:      <key>location</key>
336 // CHECK-NEXT:      <dict>
337 // CHECK-NEXT:       <key>line</key><integer>14</integer>
338 // CHECK-NEXT:       <key>col</key><integer>6</integer>
339 // CHECK-NEXT:       <key>file</key><integer>0</integer>
340 // CHECK-NEXT:      </dict>
341 // CHECK-NEXT:      <key>ranges</key>
342 // CHECK-NEXT:      <array>
343 // CHECK-NEXT:        <array>
344 // CHECK-NEXT:         <dict>
345 // CHECK-NEXT:          <key>line</key><integer>14</integer>
346 // CHECK-NEXT:          <key>col</key><integer>4</integer>
347 // CHECK-NEXT:          <key>file</key><integer>0</integer>
348 // CHECK-NEXT:         </dict>
349 // CHECK-NEXT:         <dict>
350 // CHECK-NEXT:          <key>line</key><integer>14</integer>
351 // CHECK-NEXT:          <key>col</key><integer>4</integer>
352 // CHECK-NEXT:          <key>file</key><integer>0</integer>
353 // CHECK-NEXT:         </dict>
354 // CHECK-NEXT:        </array>
355 // CHECK-NEXT:      </array>
356 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
357 // CHECK-NEXT:      <key>extended_message</key>
358 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
359 // CHECK-NEXT:      <key>message</key>
360 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
361 // CHECK-NEXT:     </dict>
362 // CHECK-NEXT:    </array>
363 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
364 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
365 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
366 // CHECK-NEXT:    <key>check_name</key><string>core.NullDereference</string>
367 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
368 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>52499a849b132453be19ec9167d8c021</string>
369 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
370 // CHECK-NEXT:   <key>issue_context</key><string>testZero</string>
371 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>4</string>
372 // CHECK-NEXT:   <key>location</key>
373 // CHECK-NEXT:   <dict>
374 // CHECK-NEXT:    <key>line</key><integer>14</integer>
375 // CHECK-NEXT:    <key>col</key><integer>6</integer>
376 // CHECK-NEXT:    <key>file</key><integer>0</integer>
377 // CHECK-NEXT:   </dict>
378 // CHECK-NEXT:   </dict>
379 // CHECK-NEXT:   <dict>
380 // CHECK-NEXT:    <key>path</key>
381 // CHECK-NEXT:    <array>
382 // CHECK-NEXT:     <dict>
383 // CHECK-NEXT:      <key>kind</key><string>control</string>
384 // CHECK-NEXT:      <key>edges</key>
385 // CHECK-NEXT:       <array>
386 // CHECK-NEXT:        <dict>
387 // CHECK-NEXT:         <key>start</key>
388 // CHECK-NEXT:          <array>
389 // CHECK-NEXT:           <dict>
390 // CHECK-NEXT:            <key>line</key><integer>19</integer>
391 // CHECK-NEXT:            <key>col</key><integer>3</integer>
392 // CHECK-NEXT:            <key>file</key><integer>0</integer>
393 // CHECK-NEXT:           </dict>
394 // CHECK-NEXT:           <dict>
395 // CHECK-NEXT:            <key>line</key><integer>19</integer>
396 // CHECK-NEXT:            <key>col</key><integer>4</integer>
397 // CHECK-NEXT:            <key>file</key><integer>0</integer>
398 // CHECK-NEXT:           </dict>
399 // CHECK-NEXT:          </array>
400 // CHECK-NEXT:         <key>end</key>
401 // CHECK-NEXT:          <array>
402 // CHECK-NEXT:           <dict>
403 // CHECK-NEXT:            <key>line</key><integer>19</integer>
404 // CHECK-NEXT:            <key>col</key><integer>7</integer>
405 // CHECK-NEXT:            <key>file</key><integer>0</integer>
406 // CHECK-NEXT:           </dict>
407 // CHECK-NEXT:           <dict>
408 // CHECK-NEXT:            <key>line</key><integer>19</integer>
409 // CHECK-NEXT:            <key>col</key><integer>7</integer>
410 // CHECK-NEXT:            <key>file</key><integer>0</integer>
411 // CHECK-NEXT:           </dict>
412 // CHECK-NEXT:          </array>
413 // CHECK-NEXT:        </dict>
414 // CHECK-NEXT:       </array>
415 // CHECK-NEXT:     </dict>
416 // CHECK-NEXT:     <dict>
417 // CHECK-NEXT:      <key>kind</key><string>event</string>
418 // CHECK-NEXT:      <key>location</key>
419 // CHECK-NEXT:      <dict>
420 // CHECK-NEXT:       <key>line</key><integer>19</integer>
421 // CHECK-NEXT:       <key>col</key><integer>7</integer>
422 // CHECK-NEXT:       <key>file</key><integer>0</integer>
423 // CHECK-NEXT:      </dict>
424 // CHECK-NEXT:      <key>ranges</key>
425 // CHECK-NEXT:      <array>
426 // CHECK-NEXT:        <array>
427 // CHECK-NEXT:         <dict>
428 // CHECK-NEXT:          <key>line</key><integer>19</integer>
429 // CHECK-NEXT:          <key>col</key><integer>7</integer>
430 // CHECK-NEXT:          <key>file</key><integer>0</integer>
431 // CHECK-NEXT:         </dict>
432 // CHECK-NEXT:         <dict>
433 // CHECK-NEXT:          <key>line</key><integer>19</integer>
434 // CHECK-NEXT:          <key>col</key><integer>7</integer>
435 // CHECK-NEXT:          <key>file</key><integer>0</integer>
436 // CHECK-NEXT:         </dict>
437 // CHECK-NEXT:        </array>
438 // CHECK-NEXT:      </array>
439 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
440 // CHECK-NEXT:      <key>extended_message</key>
441 // CHECK-NEXT:      <string>Assuming &apos;a&apos; is null</string>
442 // CHECK-NEXT:      <key>message</key>
443 // CHECK-NEXT:      <string>Assuming &apos;a&apos; is null</string>
444 // CHECK-NEXT:     </dict>
445 // CHECK-NEXT:     <dict>
446 // CHECK-NEXT:      <key>kind</key><string>control</string>
447 // CHECK-NEXT:      <key>edges</key>
448 // CHECK-NEXT:       <array>
449 // CHECK-NEXT:        <dict>
450 // CHECK-NEXT:         <key>start</key>
451 // CHECK-NEXT:          <array>
452 // CHECK-NEXT:           <dict>
453 // CHECK-NEXT:            <key>line</key><integer>19</integer>
454 // CHECK-NEXT:            <key>col</key><integer>7</integer>
455 // CHECK-NEXT:            <key>file</key><integer>0</integer>
456 // CHECK-NEXT:           </dict>
457 // CHECK-NEXT:           <dict>
458 // CHECK-NEXT:            <key>line</key><integer>19</integer>
459 // CHECK-NEXT:            <key>col</key><integer>7</integer>
460 // CHECK-NEXT:            <key>file</key><integer>0</integer>
461 // CHECK-NEXT:           </dict>
462 // CHECK-NEXT:          </array>
463 // CHECK-NEXT:         <key>end</key>
464 // CHECK-NEXT:          <array>
465 // CHECK-NEXT:           <dict>
466 // CHECK-NEXT:            <key>line</key><integer>24</integer>
467 // CHECK-NEXT:            <key>col</key><integer>3</integer>
468 // CHECK-NEXT:            <key>file</key><integer>0</integer>
469 // CHECK-NEXT:           </dict>
470 // CHECK-NEXT:           <dict>
471 // CHECK-NEXT:            <key>line</key><integer>24</integer>
472 // CHECK-NEXT:            <key>col</key><integer>3</integer>
473 // CHECK-NEXT:            <key>file</key><integer>0</integer>
474 // CHECK-NEXT:           </dict>
475 // CHECK-NEXT:          </array>
476 // CHECK-NEXT:        </dict>
477 // CHECK-NEXT:       </array>
478 // CHECK-NEXT:     </dict>
479 // CHECK-NEXT:     <dict>
480 // CHECK-NEXT:      <key>kind</key><string>control</string>
481 // CHECK-NEXT:      <key>edges</key>
482 // CHECK-NEXT:       <array>
483 // CHECK-NEXT:        <dict>
484 // CHECK-NEXT:         <key>start</key>
485 // CHECK-NEXT:          <array>
486 // CHECK-NEXT:           <dict>
487 // CHECK-NEXT:            <key>line</key><integer>24</integer>
488 // CHECK-NEXT:            <key>col</key><integer>3</integer>
489 // CHECK-NEXT:            <key>file</key><integer>0</integer>
490 // CHECK-NEXT:           </dict>
491 // CHECK-NEXT:           <dict>
492 // CHECK-NEXT:            <key>line</key><integer>24</integer>
493 // CHECK-NEXT:            <key>col</key><integer>3</integer>
494 // CHECK-NEXT:            <key>file</key><integer>0</integer>
495 // CHECK-NEXT:           </dict>
496 // CHECK-NEXT:          </array>
497 // CHECK-NEXT:         <key>end</key>
498 // CHECK-NEXT:          <array>
499 // CHECK-NEXT:           <dict>
500 // CHECK-NEXT:            <key>line</key><integer>24</integer>
501 // CHECK-NEXT:            <key>col</key><integer>6</integer>
502 // CHECK-NEXT:            <key>file</key><integer>0</integer>
503 // CHECK-NEXT:           </dict>
504 // CHECK-NEXT:           <dict>
505 // CHECK-NEXT:            <key>line</key><integer>24</integer>
506 // CHECK-NEXT:            <key>col</key><integer>6</integer>
507 // CHECK-NEXT:            <key>file</key><integer>0</integer>
508 // CHECK-NEXT:           </dict>
509 // CHECK-NEXT:          </array>
510 // CHECK-NEXT:        </dict>
511 // CHECK-NEXT:       </array>
512 // CHECK-NEXT:     </dict>
513 // CHECK-NEXT:     <dict>
514 // CHECK-NEXT:      <key>kind</key><string>event</string>
515 // CHECK-NEXT:      <key>location</key>
516 // CHECK-NEXT:      <dict>
517 // CHECK-NEXT:       <key>line</key><integer>24</integer>
518 // CHECK-NEXT:       <key>col</key><integer>6</integer>
519 // CHECK-NEXT:       <key>file</key><integer>0</integer>
520 // CHECK-NEXT:      </dict>
521 // CHECK-NEXT:      <key>ranges</key>
522 // CHECK-NEXT:      <array>
523 // CHECK-NEXT:        <array>
524 // CHECK-NEXT:         <dict>
525 // CHECK-NEXT:          <key>line</key><integer>24</integer>
526 // CHECK-NEXT:          <key>col</key><integer>4</integer>
527 // CHECK-NEXT:          <key>file</key><integer>0</integer>
528 // CHECK-NEXT:         </dict>
529 // CHECK-NEXT:         <dict>
530 // CHECK-NEXT:          <key>line</key><integer>24</integer>
531 // CHECK-NEXT:          <key>col</key><integer>4</integer>
532 // CHECK-NEXT:          <key>file</key><integer>0</integer>
533 // CHECK-NEXT:         </dict>
534 // CHECK-NEXT:        </array>
535 // CHECK-NEXT:      </array>
536 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
537 // CHECK-NEXT:      <key>extended_message</key>
538 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
539 // CHECK-NEXT:      <key>message</key>
540 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
541 // CHECK-NEXT:     </dict>
542 // CHECK-NEXT:    </array>
543 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
544 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
545 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
546 // CHECK-NEXT:    <key>check_name</key><string>core.NullDereference</string>
547 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
548 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>cb893891b6a08ee4b7dc3d0c11df856e</string>
549 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
550 // CHECK-NEXT:   <key>issue_context</key><string>testCheck</string>
551 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>6</string>
552 // CHECK-NEXT:   <key>location</key>
553 // CHECK-NEXT:   <dict>
554 // CHECK-NEXT:    <key>line</key><integer>24</integer>
555 // CHECK-NEXT:    <key>col</key><integer>6</integer>
556 // CHECK-NEXT:    <key>file</key><integer>0</integer>
557 // CHECK-NEXT:   </dict>
558 // CHECK-NEXT:   </dict>
559 // CHECK-NEXT:   <dict>
560 // CHECK-NEXT:    <key>path</key>
561 // CHECK-NEXT:    <array>
562 // CHECK-NEXT:     <dict>
563 // CHECK-NEXT:      <key>kind</key><string>event</string>
564 // CHECK-NEXT:      <key>location</key>
565 // CHECK-NEXT:      <dict>
566 // CHECK-NEXT:       <key>line</key><integer>32</integer>
567 // CHECK-NEXT:       <key>col</key><integer>3</integer>
568 // CHECK-NEXT:       <key>file</key><integer>0</integer>
569 // CHECK-NEXT:      </dict>
570 // CHECK-NEXT:      <key>ranges</key>
571 // CHECK-NEXT:      <array>
572 // CHECK-NEXT:        <array>
573 // CHECK-NEXT:         <dict>
574 // CHECK-NEXT:          <key>line</key><integer>32</integer>
575 // CHECK-NEXT:          <key>col</key><integer>3</integer>
576 // CHECK-NEXT:          <key>file</key><integer>0</integer>
577 // CHECK-NEXT:         </dict>
578 // CHECK-NEXT:         <dict>
579 // CHECK-NEXT:          <key>line</key><integer>32</integer>
580 // CHECK-NEXT:          <key>col</key><integer>8</integer>
581 // CHECK-NEXT:          <key>file</key><integer>0</integer>
582 // CHECK-NEXT:         </dict>
583 // CHECK-NEXT:        </array>
584 // CHECK-NEXT:      </array>
585 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
586 // CHECK-NEXT:      <key>extended_message</key>
587 // CHECK-NEXT:      <string>&apos;a&apos; initialized here</string>
588 // CHECK-NEXT:      <key>message</key>
589 // CHECK-NEXT:      <string>&apos;a&apos; initialized here</string>
590 // CHECK-NEXT:     </dict>
591 // CHECK-NEXT:     <dict>
592 // CHECK-NEXT:      <key>kind</key><string>control</string>
593 // CHECK-NEXT:      <key>edges</key>
594 // CHECK-NEXT:       <array>
595 // CHECK-NEXT:        <dict>
596 // CHECK-NEXT:         <key>start</key>
597 // CHECK-NEXT:          <array>
598 // CHECK-NEXT:           <dict>
599 // CHECK-NEXT:            <key>line</key><integer>32</integer>
600 // CHECK-NEXT:            <key>col</key><integer>3</integer>
601 // CHECK-NEXT:            <key>file</key><integer>0</integer>
602 // CHECK-NEXT:           </dict>
603 // CHECK-NEXT:           <dict>
604 // CHECK-NEXT:            <key>line</key><integer>32</integer>
605 // CHECK-NEXT:            <key>col</key><integer>5</integer>
606 // CHECK-NEXT:            <key>file</key><integer>0</integer>
607 // CHECK-NEXT:           </dict>
608 // CHECK-NEXT:          </array>
609 // CHECK-NEXT:         <key>end</key>
610 // CHECK-NEXT:          <array>
611 // CHECK-NEXT:           <dict>
612 // CHECK-NEXT:            <key>line</key><integer>34</integer>
613 // CHECK-NEXT:            <key>col</key><integer>3</integer>
614 // CHECK-NEXT:            <key>file</key><integer>0</integer>
615 // CHECK-NEXT:           </dict>
616 // CHECK-NEXT:           <dict>
617 // CHECK-NEXT:            <key>line</key><integer>34</integer>
618 // CHECK-NEXT:            <key>col</key><integer>4</integer>
619 // CHECK-NEXT:            <key>file</key><integer>0</integer>
620 // CHECK-NEXT:           </dict>
621 // CHECK-NEXT:          </array>
622 // CHECK-NEXT:        </dict>
623 // CHECK-NEXT:       </array>
624 // CHECK-NEXT:     </dict>
625 // CHECK-NEXT:     <dict>
626 // CHECK-NEXT:      <key>kind</key><string>control</string>
627 // CHECK-NEXT:      <key>edges</key>
628 // CHECK-NEXT:       <array>
629 // CHECK-NEXT:        <dict>
630 // CHECK-NEXT:         <key>start</key>
631 // CHECK-NEXT:          <array>
632 // CHECK-NEXT:           <dict>
633 // CHECK-NEXT:            <key>line</key><integer>34</integer>
634 // CHECK-NEXT:            <key>col</key><integer>3</integer>
635 // CHECK-NEXT:            <key>file</key><integer>0</integer>
636 // CHECK-NEXT:           </dict>
637 // CHECK-NEXT:           <dict>
638 // CHECK-NEXT:            <key>line</key><integer>34</integer>
639 // CHECK-NEXT:            <key>col</key><integer>4</integer>
640 // CHECK-NEXT:            <key>file</key><integer>0</integer>
641 // CHECK-NEXT:           </dict>
642 // CHECK-NEXT:          </array>
643 // CHECK-NEXT:         <key>end</key>
644 // CHECK-NEXT:          <array>
645 // CHECK-NEXT:           <dict>
646 // CHECK-NEXT:            <key>line</key><integer>34</integer>
647 // CHECK-NEXT:            <key>col</key><integer>7</integer>
648 // CHECK-NEXT:            <key>file</key><integer>0</integer>
649 // CHECK-NEXT:           </dict>
650 // CHECK-NEXT:           <dict>
651 // CHECK-NEXT:            <key>line</key><integer>34</integer>
652 // CHECK-NEXT:            <key>col</key><integer>7</integer>
653 // CHECK-NEXT:            <key>file</key><integer>0</integer>
654 // CHECK-NEXT:           </dict>
655 // CHECK-NEXT:          </array>
656 // CHECK-NEXT:        </dict>
657 // CHECK-NEXT:       </array>
658 // CHECK-NEXT:     </dict>
659 // CHECK-NEXT:     <dict>
660 // CHECK-NEXT:      <key>kind</key><string>event</string>
661 // CHECK-NEXT:      <key>location</key>
662 // CHECK-NEXT:      <dict>
663 // CHECK-NEXT:       <key>line</key><integer>34</integer>
664 // CHECK-NEXT:       <key>col</key><integer>7</integer>
665 // CHECK-NEXT:       <key>file</key><integer>0</integer>
666 // CHECK-NEXT:      </dict>
667 // CHECK-NEXT:      <key>ranges</key>
668 // CHECK-NEXT:      <array>
669 // CHECK-NEXT:        <array>
670 // CHECK-NEXT:         <dict>
671 // CHECK-NEXT:          <key>line</key><integer>34</integer>
672 // CHECK-NEXT:          <key>col</key><integer>7</integer>
673 // CHECK-NEXT:          <key>file</key><integer>0</integer>
674 // CHECK-NEXT:         </dict>
675 // CHECK-NEXT:         <dict>
676 // CHECK-NEXT:          <key>line</key><integer>34</integer>
677 // CHECK-NEXT:          <key>col</key><integer>7</integer>
678 // CHECK-NEXT:          <key>file</key><integer>0</integer>
679 // CHECK-NEXT:         </dict>
680 // CHECK-NEXT:        </array>
681 // CHECK-NEXT:      </array>
682 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
683 // CHECK-NEXT:      <key>extended_message</key>
684 // CHECK-NEXT:      <string>Assuming &apos;a&apos; is null</string>
685 // CHECK-NEXT:      <key>message</key>
686 // CHECK-NEXT:      <string>Assuming &apos;a&apos; is null</string>
687 // CHECK-NEXT:     </dict>
688 // CHECK-NEXT:     <dict>
689 // CHECK-NEXT:      <key>kind</key><string>control</string>
690 // CHECK-NEXT:      <key>edges</key>
691 // CHECK-NEXT:       <array>
692 // CHECK-NEXT:        <dict>
693 // CHECK-NEXT:         <key>start</key>
694 // CHECK-NEXT:          <array>
695 // CHECK-NEXT:           <dict>
696 // CHECK-NEXT:            <key>line</key><integer>34</integer>
697 // CHECK-NEXT:            <key>col</key><integer>7</integer>
698 // CHECK-NEXT:            <key>file</key><integer>0</integer>
699 // CHECK-NEXT:           </dict>
700 // CHECK-NEXT:           <dict>
701 // CHECK-NEXT:            <key>line</key><integer>34</integer>
702 // CHECK-NEXT:            <key>col</key><integer>7</integer>
703 // CHECK-NEXT:            <key>file</key><integer>0</integer>
704 // CHECK-NEXT:           </dict>
705 // CHECK-NEXT:          </array>
706 // CHECK-NEXT:         <key>end</key>
707 // CHECK-NEXT:          <array>
708 // CHECK-NEXT:           <dict>
709 // CHECK-NEXT:            <key>line</key><integer>39</integer>
710 // CHECK-NEXT:            <key>col</key><integer>3</integer>
711 // CHECK-NEXT:            <key>file</key><integer>0</integer>
712 // CHECK-NEXT:           </dict>
713 // CHECK-NEXT:           <dict>
714 // CHECK-NEXT:            <key>line</key><integer>39</integer>
715 // CHECK-NEXT:            <key>col</key><integer>3</integer>
716 // CHECK-NEXT:            <key>file</key><integer>0</integer>
717 // CHECK-NEXT:           </dict>
718 // CHECK-NEXT:          </array>
719 // CHECK-NEXT:        </dict>
720 // CHECK-NEXT:       </array>
721 // CHECK-NEXT:     </dict>
722 // CHECK-NEXT:     <dict>
723 // CHECK-NEXT:      <key>kind</key><string>control</string>
724 // CHECK-NEXT:      <key>edges</key>
725 // CHECK-NEXT:       <array>
726 // CHECK-NEXT:        <dict>
727 // CHECK-NEXT:         <key>start</key>
728 // CHECK-NEXT:          <array>
729 // CHECK-NEXT:           <dict>
730 // CHECK-NEXT:            <key>line</key><integer>39</integer>
731 // CHECK-NEXT:            <key>col</key><integer>3</integer>
732 // CHECK-NEXT:            <key>file</key><integer>0</integer>
733 // CHECK-NEXT:           </dict>
734 // CHECK-NEXT:           <dict>
735 // CHECK-NEXT:            <key>line</key><integer>39</integer>
736 // CHECK-NEXT:            <key>col</key><integer>3</integer>
737 // CHECK-NEXT:            <key>file</key><integer>0</integer>
738 // CHECK-NEXT:           </dict>
739 // CHECK-NEXT:          </array>
740 // CHECK-NEXT:         <key>end</key>
741 // CHECK-NEXT:          <array>
742 // CHECK-NEXT:           <dict>
743 // CHECK-NEXT:            <key>line</key><integer>39</integer>
744 // CHECK-NEXT:            <key>col</key><integer>6</integer>
745 // CHECK-NEXT:            <key>file</key><integer>0</integer>
746 // CHECK-NEXT:           </dict>
747 // CHECK-NEXT:           <dict>
748 // CHECK-NEXT:            <key>line</key><integer>39</integer>
749 // CHECK-NEXT:            <key>col</key><integer>6</integer>
750 // CHECK-NEXT:            <key>file</key><integer>0</integer>
751 // CHECK-NEXT:           </dict>
752 // CHECK-NEXT:          </array>
753 // CHECK-NEXT:        </dict>
754 // CHECK-NEXT:       </array>
755 // CHECK-NEXT:     </dict>
756 // CHECK-NEXT:     <dict>
757 // CHECK-NEXT:      <key>kind</key><string>event</string>
758 // CHECK-NEXT:      <key>location</key>
759 // CHECK-NEXT:      <dict>
760 // CHECK-NEXT:       <key>line</key><integer>39</integer>
761 // CHECK-NEXT:       <key>col</key><integer>6</integer>
762 // CHECK-NEXT:       <key>file</key><integer>0</integer>
763 // CHECK-NEXT:      </dict>
764 // CHECK-NEXT:      <key>ranges</key>
765 // CHECK-NEXT:      <array>
766 // CHECK-NEXT:        <array>
767 // CHECK-NEXT:         <dict>
768 // CHECK-NEXT:          <key>line</key><integer>39</integer>
769 // CHECK-NEXT:          <key>col</key><integer>4</integer>
770 // CHECK-NEXT:          <key>file</key><integer>0</integer>
771 // CHECK-NEXT:         </dict>
772 // CHECK-NEXT:         <dict>
773 // CHECK-NEXT:          <key>line</key><integer>39</integer>
774 // CHECK-NEXT:          <key>col</key><integer>4</integer>
775 // CHECK-NEXT:          <key>file</key><integer>0</integer>
776 // CHECK-NEXT:         </dict>
777 // CHECK-NEXT:        </array>
778 // CHECK-NEXT:      </array>
779 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
780 // CHECK-NEXT:      <key>extended_message</key>
781 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
782 // CHECK-NEXT:      <key>message</key>
783 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
784 // CHECK-NEXT:     </dict>
785 // CHECK-NEXT:    </array>
786 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
787 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
788 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
789 // CHECK-NEXT:    <key>check_name</key><string>core.NullDereference</string>
790 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
791 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>ec20b5e53a72c82d442b3ca04c81e138</string>
792 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
793 // CHECK-NEXT:   <key>issue_context</key><string>testInitCheck</string>
794 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>8</string>
795 // CHECK-NEXT:   <key>location</key>
796 // CHECK-NEXT:   <dict>
797 // CHECK-NEXT:    <key>line</key><integer>39</integer>
798 // CHECK-NEXT:    <key>col</key><integer>6</integer>
799 // CHECK-NEXT:    <key>file</key><integer>0</integer>
800 // CHECK-NEXT:   </dict>
801 // CHECK-NEXT:   </dict>
802 // CHECK-NEXT:   <dict>
803 // CHECK-NEXT:    <key>path</key>
804 // CHECK-NEXT:    <array>
805 // CHECK-NEXT:     <dict>
806 // CHECK-NEXT:      <key>kind</key><string>event</string>
807 // CHECK-NEXT:      <key>location</key>
808 // CHECK-NEXT:      <dict>
809 // CHECK-NEXT:       <key>line</key><integer>44</integer>
810 // CHECK-NEXT:       <key>col</key><integer>3</integer>
811 // CHECK-NEXT:       <key>file</key><integer>0</integer>
812 // CHECK-NEXT:      </dict>
813 // CHECK-NEXT:      <key>ranges</key>
814 // CHECK-NEXT:      <array>
815 // CHECK-NEXT:        <array>
816 // CHECK-NEXT:         <dict>
817 // CHECK-NEXT:          <key>line</key><integer>44</integer>
818 // CHECK-NEXT:          <key>col</key><integer>3</integer>
819 // CHECK-NEXT:          <key>file</key><integer>0</integer>
820 // CHECK-NEXT:         </dict>
821 // CHECK-NEXT:         <dict>
822 // CHECK-NEXT:          <key>line</key><integer>44</integer>
823 // CHECK-NEXT:          <key>col</key><integer>18</integer>
824 // CHECK-NEXT:          <key>file</key><integer>0</integer>
825 // CHECK-NEXT:         </dict>
826 // CHECK-NEXT:        </array>
827 // CHECK-NEXT:      </array>
828 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
829 // CHECK-NEXT:      <key>extended_message</key>
830 // CHECK-NEXT:      <string>Value assigned to &apos;a&apos;</string>
831 // CHECK-NEXT:      <key>message</key>
832 // CHECK-NEXT:      <string>Value assigned to &apos;a&apos;</string>
833 // CHECK-NEXT:     </dict>
834 // CHECK-NEXT:     <dict>
835 // CHECK-NEXT:      <key>kind</key><string>control</string>
836 // CHECK-NEXT:      <key>edges</key>
837 // CHECK-NEXT:       <array>
838 // CHECK-NEXT:        <dict>
839 // CHECK-NEXT:         <key>start</key>
840 // CHECK-NEXT:          <array>
841 // CHECK-NEXT:           <dict>
842 // CHECK-NEXT:            <key>line</key><integer>44</integer>
843 // CHECK-NEXT:            <key>col</key><integer>3</integer>
844 // CHECK-NEXT:            <key>file</key><integer>0</integer>
845 // CHECK-NEXT:           </dict>
846 // CHECK-NEXT:           <dict>
847 // CHECK-NEXT:            <key>line</key><integer>44</integer>
848 // CHECK-NEXT:            <key>col</key><integer>3</integer>
849 // CHECK-NEXT:            <key>file</key><integer>0</integer>
850 // CHECK-NEXT:           </dict>
851 // CHECK-NEXT:          </array>
852 // CHECK-NEXT:         <key>end</key>
853 // CHECK-NEXT:          <array>
854 // CHECK-NEXT:           <dict>
855 // CHECK-NEXT:            <key>line</key><integer>46</integer>
856 // CHECK-NEXT:            <key>col</key><integer>3</integer>
857 // CHECK-NEXT:            <key>file</key><integer>0</integer>
858 // CHECK-NEXT:           </dict>
859 // CHECK-NEXT:           <dict>
860 // CHECK-NEXT:            <key>line</key><integer>46</integer>
861 // CHECK-NEXT:            <key>col</key><integer>4</integer>
862 // CHECK-NEXT:            <key>file</key><integer>0</integer>
863 // CHECK-NEXT:           </dict>
864 // CHECK-NEXT:          </array>
865 // CHECK-NEXT:        </dict>
866 // CHECK-NEXT:       </array>
867 // CHECK-NEXT:     </dict>
868 // CHECK-NEXT:     <dict>
869 // CHECK-NEXT:      <key>kind</key><string>control</string>
870 // CHECK-NEXT:      <key>edges</key>
871 // CHECK-NEXT:       <array>
872 // CHECK-NEXT:        <dict>
873 // CHECK-NEXT:         <key>start</key>
874 // CHECK-NEXT:          <array>
875 // CHECK-NEXT:           <dict>
876 // CHECK-NEXT:            <key>line</key><integer>46</integer>
877 // CHECK-NEXT:            <key>col</key><integer>3</integer>
878 // CHECK-NEXT:            <key>file</key><integer>0</integer>
879 // CHECK-NEXT:           </dict>
880 // CHECK-NEXT:           <dict>
881 // CHECK-NEXT:            <key>line</key><integer>46</integer>
882 // CHECK-NEXT:            <key>col</key><integer>4</integer>
883 // CHECK-NEXT:            <key>file</key><integer>0</integer>
884 // CHECK-NEXT:           </dict>
885 // CHECK-NEXT:          </array>
886 // CHECK-NEXT:         <key>end</key>
887 // CHECK-NEXT:          <array>
888 // CHECK-NEXT:           <dict>
889 // CHECK-NEXT:            <key>line</key><integer>46</integer>
890 // CHECK-NEXT:            <key>col</key><integer>7</integer>
891 // CHECK-NEXT:            <key>file</key><integer>0</integer>
892 // CHECK-NEXT:           </dict>
893 // CHECK-NEXT:           <dict>
894 // CHECK-NEXT:            <key>line</key><integer>46</integer>
895 // CHECK-NEXT:            <key>col</key><integer>7</integer>
896 // CHECK-NEXT:            <key>file</key><integer>0</integer>
897 // CHECK-NEXT:           </dict>
898 // CHECK-NEXT:          </array>
899 // CHECK-NEXT:        </dict>
900 // CHECK-NEXT:       </array>
901 // CHECK-NEXT:     </dict>
902 // CHECK-NEXT:     <dict>
903 // CHECK-NEXT:      <key>kind</key><string>event</string>
904 // CHECK-NEXT:      <key>location</key>
905 // CHECK-NEXT:      <dict>
906 // CHECK-NEXT:       <key>line</key><integer>46</integer>
907 // CHECK-NEXT:       <key>col</key><integer>7</integer>
908 // CHECK-NEXT:       <key>file</key><integer>0</integer>
909 // CHECK-NEXT:      </dict>
910 // CHECK-NEXT:      <key>ranges</key>
911 // CHECK-NEXT:      <array>
912 // CHECK-NEXT:        <array>
913 // CHECK-NEXT:         <dict>
914 // CHECK-NEXT:          <key>line</key><integer>46</integer>
915 // CHECK-NEXT:          <key>col</key><integer>7</integer>
916 // CHECK-NEXT:          <key>file</key><integer>0</integer>
917 // CHECK-NEXT:         </dict>
918 // CHECK-NEXT:         <dict>
919 // CHECK-NEXT:          <key>line</key><integer>46</integer>
920 // CHECK-NEXT:          <key>col</key><integer>7</integer>
921 // CHECK-NEXT:          <key>file</key><integer>0</integer>
922 // CHECK-NEXT:         </dict>
923 // CHECK-NEXT:        </array>
924 // CHECK-NEXT:      </array>
925 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
926 // CHECK-NEXT:      <key>extended_message</key>
927 // CHECK-NEXT:      <string>Assuming &apos;a&apos; is null</string>
928 // CHECK-NEXT:      <key>message</key>
929 // CHECK-NEXT:      <string>Assuming &apos;a&apos; is null</string>
930 // CHECK-NEXT:     </dict>
931 // CHECK-NEXT:     <dict>
932 // CHECK-NEXT:      <key>kind</key><string>control</string>
933 // CHECK-NEXT:      <key>edges</key>
934 // CHECK-NEXT:       <array>
935 // CHECK-NEXT:        <dict>
936 // CHECK-NEXT:         <key>start</key>
937 // CHECK-NEXT:          <array>
938 // CHECK-NEXT:           <dict>
939 // CHECK-NEXT:            <key>line</key><integer>46</integer>
940 // CHECK-NEXT:            <key>col</key><integer>7</integer>
941 // CHECK-NEXT:            <key>file</key><integer>0</integer>
942 // CHECK-NEXT:           </dict>
943 // CHECK-NEXT:           <dict>
944 // CHECK-NEXT:            <key>line</key><integer>46</integer>
945 // CHECK-NEXT:            <key>col</key><integer>7</integer>
946 // CHECK-NEXT:            <key>file</key><integer>0</integer>
947 // CHECK-NEXT:           </dict>
948 // CHECK-NEXT:          </array>
949 // CHECK-NEXT:         <key>end</key>
950 // CHECK-NEXT:          <array>
951 // CHECK-NEXT:           <dict>
952 // CHECK-NEXT:            <key>line</key><integer>51</integer>
953 // CHECK-NEXT:            <key>col</key><integer>3</integer>
954 // CHECK-NEXT:            <key>file</key><integer>0</integer>
955 // CHECK-NEXT:           </dict>
956 // CHECK-NEXT:           <dict>
957 // CHECK-NEXT:            <key>line</key><integer>51</integer>
958 // CHECK-NEXT:            <key>col</key><integer>3</integer>
959 // CHECK-NEXT:            <key>file</key><integer>0</integer>
960 // CHECK-NEXT:           </dict>
961 // CHECK-NEXT:          </array>
962 // CHECK-NEXT:        </dict>
963 // CHECK-NEXT:       </array>
964 // CHECK-NEXT:     </dict>
965 // CHECK-NEXT:     <dict>
966 // CHECK-NEXT:      <key>kind</key><string>control</string>
967 // CHECK-NEXT:      <key>edges</key>
968 // CHECK-NEXT:       <array>
969 // CHECK-NEXT:        <dict>
970 // CHECK-NEXT:         <key>start</key>
971 // CHECK-NEXT:          <array>
972 // CHECK-NEXT:           <dict>
973 // CHECK-NEXT:            <key>line</key><integer>51</integer>
974 // CHECK-NEXT:            <key>col</key><integer>3</integer>
975 // CHECK-NEXT:            <key>file</key><integer>0</integer>
976 // CHECK-NEXT:           </dict>
977 // CHECK-NEXT:           <dict>
978 // CHECK-NEXT:            <key>line</key><integer>51</integer>
979 // CHECK-NEXT:            <key>col</key><integer>3</integer>
980 // CHECK-NEXT:            <key>file</key><integer>0</integer>
981 // CHECK-NEXT:           </dict>
982 // CHECK-NEXT:          </array>
983 // CHECK-NEXT:         <key>end</key>
984 // CHECK-NEXT:          <array>
985 // CHECK-NEXT:           <dict>
986 // CHECK-NEXT:            <key>line</key><integer>51</integer>
987 // CHECK-NEXT:            <key>col</key><integer>6</integer>
988 // CHECK-NEXT:            <key>file</key><integer>0</integer>
989 // CHECK-NEXT:           </dict>
990 // CHECK-NEXT:           <dict>
991 // CHECK-NEXT:            <key>line</key><integer>51</integer>
992 // CHECK-NEXT:            <key>col</key><integer>6</integer>
993 // CHECK-NEXT:            <key>file</key><integer>0</integer>
994 // CHECK-NEXT:           </dict>
995 // CHECK-NEXT:          </array>
996 // CHECK-NEXT:        </dict>
997 // CHECK-NEXT:       </array>
998 // CHECK-NEXT:     </dict>
999 // CHECK-NEXT:     <dict>
1000 // CHECK-NEXT:      <key>kind</key><string>event</string>
1001 // CHECK-NEXT:      <key>location</key>
1002 // CHECK-NEXT:      <dict>
1003 // CHECK-NEXT:       <key>line</key><integer>51</integer>
1004 // CHECK-NEXT:       <key>col</key><integer>6</integer>
1005 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1006 // CHECK-NEXT:      </dict>
1007 // CHECK-NEXT:      <key>ranges</key>
1008 // CHECK-NEXT:      <array>
1009 // CHECK-NEXT:        <array>
1010 // CHECK-NEXT:         <dict>
1011 // CHECK-NEXT:          <key>line</key><integer>51</integer>
1012 // CHECK-NEXT:          <key>col</key><integer>4</integer>
1013 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1014 // CHECK-NEXT:         </dict>
1015 // CHECK-NEXT:         <dict>
1016 // CHECK-NEXT:          <key>line</key><integer>51</integer>
1017 // CHECK-NEXT:          <key>col</key><integer>4</integer>
1018 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1019 // CHECK-NEXT:         </dict>
1020 // CHECK-NEXT:        </array>
1021 // CHECK-NEXT:      </array>
1022 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
1023 // CHECK-NEXT:      <key>extended_message</key>
1024 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
1025 // CHECK-NEXT:      <key>message</key>
1026 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
1027 // CHECK-NEXT:     </dict>
1028 // CHECK-NEXT:    </array>
1029 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
1030 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
1031 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
1032 // CHECK-NEXT:    <key>check_name</key><string>core.NullDereference</string>
1033 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
1034 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>1ae8e7c84d15f307abc1df9f5612078b</string>
1035 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
1036 // CHECK-NEXT:   <key>issue_context</key><string>testStoreCheck</string>
1037 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>8</string>
1038 // CHECK-NEXT:   <key>location</key>
1039 // CHECK-NEXT:   <dict>
1040 // CHECK-NEXT:    <key>line</key><integer>51</integer>
1041 // CHECK-NEXT:    <key>col</key><integer>6</integer>
1042 // CHECK-NEXT:    <key>file</key><integer>0</integer>
1043 // CHECK-NEXT:   </dict>
1044 // CHECK-NEXT:   </dict>
1045 // CHECK-NEXT:   <dict>
1046 // CHECK-NEXT:    <key>path</key>
1047 // CHECK-NEXT:    <array>
1048 // CHECK-NEXT:     <dict>
1049 // CHECK-NEXT:      <key>kind</key><string>control</string>
1050 // CHECK-NEXT:      <key>edges</key>
1051 // CHECK-NEXT:       <array>
1052 // CHECK-NEXT:        <dict>
1053 // CHECK-NEXT:         <key>start</key>
1054 // CHECK-NEXT:          <array>
1055 // CHECK-NEXT:           <dict>
1056 // CHECK-NEXT:            <key>line</key><integer>65</integer>
1057 // CHECK-NEXT:            <key>col</key><integer>3</integer>
1058 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1059 // CHECK-NEXT:           </dict>
1060 // CHECK-NEXT:           <dict>
1061 // CHECK-NEXT:            <key>line</key><integer>65</integer>
1062 // CHECK-NEXT:            <key>col</key><integer>3</integer>
1063 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1064 // CHECK-NEXT:           </dict>
1065 // CHECK-NEXT:          </array>
1066 // CHECK-NEXT:         <key>end</key>
1067 // CHECK-NEXT:          <array>
1068 // CHECK-NEXT:           <dict>
1069 // CHECK-NEXT:            <key>line</key><integer>65</integer>
1070 // CHECK-NEXT:            <key>col</key><integer>4</integer>
1071 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1072 // CHECK-NEXT:           </dict>
1073 // CHECK-NEXT:           <dict>
1074 // CHECK-NEXT:            <key>line</key><integer>65</integer>
1075 // CHECK-NEXT:            <key>col</key><integer>10</integer>
1076 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1077 // CHECK-NEXT:           </dict>
1078 // CHECK-NEXT:          </array>
1079 // CHECK-NEXT:        </dict>
1080 // CHECK-NEXT:       </array>
1081 // CHECK-NEXT:     </dict>
1082 // CHECK-NEXT:     <dict>
1083 // CHECK-NEXT:      <key>kind</key><string>event</string>
1084 // CHECK-NEXT:      <key>location</key>
1085 // CHECK-NEXT:      <dict>
1086 // CHECK-NEXT:       <key>line</key><integer>65</integer>
1087 // CHECK-NEXT:       <key>col</key><integer>4</integer>
1088 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1089 // CHECK-NEXT:      </dict>
1090 // CHECK-NEXT:      <key>ranges</key>
1091 // CHECK-NEXT:      <array>
1092 // CHECK-NEXT:        <array>
1093 // CHECK-NEXT:         <dict>
1094 // CHECK-NEXT:          <key>line</key><integer>65</integer>
1095 // CHECK-NEXT:          <key>col</key><integer>4</integer>
1096 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1097 // CHECK-NEXT:         </dict>
1098 // CHECK-NEXT:         <dict>
1099 // CHECK-NEXT:          <key>line</key><integer>65</integer>
1100 // CHECK-NEXT:          <key>col</key><integer>12</integer>
1101 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1102 // CHECK-NEXT:         </dict>
1103 // CHECK-NEXT:        </array>
1104 // CHECK-NEXT:      </array>
1105 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
1106 // CHECK-NEXT:      <key>extended_message</key>
1107 // CHECK-NEXT:      <string>Calling &apos;getZero&apos;</string>
1108 // CHECK-NEXT:      <key>message</key>
1109 // CHECK-NEXT:      <string>Calling &apos;getZero&apos;</string>
1110 // CHECK-NEXT:     </dict>
1111 // CHECK-NEXT:     <dict>
1112 // CHECK-NEXT:      <key>kind</key><string>event</string>
1113 // CHECK-NEXT:      <key>location</key>
1114 // CHECK-NEXT:      <dict>
1115 // CHECK-NEXT:       <key>line</key><integer>56</integer>
1116 // CHECK-NEXT:       <key>col</key><integer>1</integer>
1117 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1118 // CHECK-NEXT:      </dict>
1119 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
1120 // CHECK-NEXT:      <key>extended_message</key>
1121 // CHECK-NEXT:      <string>Entered call from &apos;testReturnZero&apos;</string>
1122 // CHECK-NEXT:      <key>message</key>
1123 // CHECK-NEXT:      <string>Entered call from &apos;testReturnZero&apos;</string>
1124 // CHECK-NEXT:     </dict>
1125 // CHECK-NEXT:     <dict>
1126 // CHECK-NEXT:      <key>kind</key><string>control</string>
1127 // CHECK-NEXT:      <key>edges</key>
1128 // CHECK-NEXT:       <array>
1129 // CHECK-NEXT:        <dict>
1130 // CHECK-NEXT:         <key>start</key>
1131 // CHECK-NEXT:          <array>
1132 // CHECK-NEXT:           <dict>
1133 // CHECK-NEXT:            <key>line</key><integer>56</integer>
1134 // CHECK-NEXT:            <key>col</key><integer>1</integer>
1135 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1136 // CHECK-NEXT:           </dict>
1137 // CHECK-NEXT:           <dict>
1138 // CHECK-NEXT:            <key>line</key><integer>56</integer>
1139 // CHECK-NEXT:            <key>col</key><integer>3</integer>
1140 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1141 // CHECK-NEXT:           </dict>
1142 // CHECK-NEXT:          </array>
1143 // CHECK-NEXT:         <key>end</key>
1144 // CHECK-NEXT:          <array>
1145 // CHECK-NEXT:           <dict>
1146 // CHECK-NEXT:            <key>line</key><integer>57</integer>
1147 // CHECK-NEXT:            <key>col</key><integer>3</integer>
1148 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1149 // CHECK-NEXT:           </dict>
1150 // CHECK-NEXT:           <dict>
1151 // CHECK-NEXT:            <key>line</key><integer>57</integer>
1152 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1153 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1154 // CHECK-NEXT:           </dict>
1155 // CHECK-NEXT:          </array>
1156 // CHECK-NEXT:        </dict>
1157 // CHECK-NEXT:       </array>
1158 // CHECK-NEXT:     </dict>
1159 // CHECK-NEXT:     <dict>
1160 // CHECK-NEXT:      <key>kind</key><string>event</string>
1161 // CHECK-NEXT:      <key>location</key>
1162 // CHECK-NEXT:      <dict>
1163 // CHECK-NEXT:       <key>line</key><integer>57</integer>
1164 // CHECK-NEXT:       <key>col</key><integer>3</integer>
1165 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1166 // CHECK-NEXT:      </dict>
1167 // CHECK-NEXT:      <key>ranges</key>
1168 // CHECK-NEXT:      <array>
1169 // CHECK-NEXT:        <array>
1170 // CHECK-NEXT:         <dict>
1171 // CHECK-NEXT:          <key>line</key><integer>57</integer>
1172 // CHECK-NEXT:          <key>col</key><integer>3</integer>
1173 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1174 // CHECK-NEXT:         </dict>
1175 // CHECK-NEXT:         <dict>
1176 // CHECK-NEXT:          <key>line</key><integer>57</integer>
1177 // CHECK-NEXT:          <key>col</key><integer>8</integer>
1178 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1179 // CHECK-NEXT:         </dict>
1180 // CHECK-NEXT:        </array>
1181 // CHECK-NEXT:      </array>
1182 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
1183 // CHECK-NEXT:      <key>extended_message</key>
1184 // CHECK-NEXT:      <string>&apos;p&apos; initialized to a null pointer value</string>
1185 // CHECK-NEXT:      <key>message</key>
1186 // CHECK-NEXT:      <string>&apos;p&apos; initialized to a null pointer value</string>
1187 // CHECK-NEXT:     </dict>
1188 // CHECK-NEXT:     <dict>
1189 // CHECK-NEXT:      <key>kind</key><string>control</string>
1190 // CHECK-NEXT:      <key>edges</key>
1191 // CHECK-NEXT:       <array>
1192 // CHECK-NEXT:        <dict>
1193 // CHECK-NEXT:         <key>start</key>
1194 // CHECK-NEXT:          <array>
1195 // CHECK-NEXT:           <dict>
1196 // CHECK-NEXT:            <key>line</key><integer>57</integer>
1197 // CHECK-NEXT:            <key>col</key><integer>3</integer>
1198 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1199 // CHECK-NEXT:           </dict>
1200 // CHECK-NEXT:           <dict>
1201 // CHECK-NEXT:            <key>line</key><integer>57</integer>
1202 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1203 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1204 // CHECK-NEXT:           </dict>
1205 // CHECK-NEXT:          </array>
1206 // CHECK-NEXT:         <key>end</key>
1207 // CHECK-NEXT:          <array>
1208 // CHECK-NEXT:           <dict>
1209 // CHECK-NEXT:            <key>line</key><integer>60</integer>
1210 // CHECK-NEXT:            <key>col</key><integer>3</integer>
1211 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1212 // CHECK-NEXT:           </dict>
1213 // CHECK-NEXT:           <dict>
1214 // CHECK-NEXT:            <key>line</key><integer>60</integer>
1215 // CHECK-NEXT:            <key>col</key><integer>8</integer>
1216 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1217 // CHECK-NEXT:           </dict>
1218 // CHECK-NEXT:          </array>
1219 // CHECK-NEXT:        </dict>
1220 // CHECK-NEXT:       </array>
1221 // CHECK-NEXT:     </dict>
1222 // CHECK-NEXT:     <dict>
1223 // CHECK-NEXT:      <key>kind</key><string>event</string>
1224 // CHECK-NEXT:      <key>location</key>
1225 // CHECK-NEXT:      <dict>
1226 // CHECK-NEXT:       <key>line</key><integer>60</integer>
1227 // CHECK-NEXT:       <key>col</key><integer>3</integer>
1228 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1229 // CHECK-NEXT:      </dict>
1230 // CHECK-NEXT:      <key>ranges</key>
1231 // CHECK-NEXT:      <array>
1232 // CHECK-NEXT:        <array>
1233 // CHECK-NEXT:         <dict>
1234 // CHECK-NEXT:          <key>line</key><integer>60</integer>
1235 // CHECK-NEXT:          <key>col</key><integer>3</integer>
1236 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1237 // CHECK-NEXT:         </dict>
1238 // CHECK-NEXT:         <dict>
1239 // CHECK-NEXT:          <key>line</key><integer>60</integer>
1240 // CHECK-NEXT:          <key>col</key><integer>10</integer>
1241 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1242 // CHECK-NEXT:         </dict>
1243 // CHECK-NEXT:        </array>
1244 // CHECK-NEXT:      </array>
1245 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
1246 // CHECK-NEXT:      <key>extended_message</key>
1247 // CHECK-NEXT:      <string>Returning null pointer (loaded from &apos;p&apos;)</string>
1248 // CHECK-NEXT:      <key>message</key>
1249 // CHECK-NEXT:      <string>Returning null pointer (loaded from &apos;p&apos;)</string>
1250 // CHECK-NEXT:     </dict>
1251 // CHECK-NEXT:     <dict>
1252 // CHECK-NEXT:      <key>kind</key><string>event</string>
1253 // CHECK-NEXT:      <key>location</key>
1254 // CHECK-NEXT:      <dict>
1255 // CHECK-NEXT:       <key>line</key><integer>65</integer>
1256 // CHECK-NEXT:       <key>col</key><integer>4</integer>
1257 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1258 // CHECK-NEXT:      </dict>
1259 // CHECK-NEXT:      <key>ranges</key>
1260 // CHECK-NEXT:      <array>
1261 // CHECK-NEXT:        <array>
1262 // CHECK-NEXT:         <dict>
1263 // CHECK-NEXT:          <key>line</key><integer>65</integer>
1264 // CHECK-NEXT:          <key>col</key><integer>4</integer>
1265 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1266 // CHECK-NEXT:         </dict>
1267 // CHECK-NEXT:         <dict>
1268 // CHECK-NEXT:          <key>line</key><integer>65</integer>
1269 // CHECK-NEXT:          <key>col</key><integer>12</integer>
1270 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1271 // CHECK-NEXT:         </dict>
1272 // CHECK-NEXT:        </array>
1273 // CHECK-NEXT:      </array>
1274 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
1275 // CHECK-NEXT:      <key>extended_message</key>
1276 // CHECK-NEXT:      <string>Returning from &apos;getZero&apos;</string>
1277 // CHECK-NEXT:      <key>message</key>
1278 // CHECK-NEXT:      <string>Returning from &apos;getZero&apos;</string>
1279 // CHECK-NEXT:     </dict>
1280 // CHECK-NEXT:     <dict>
1281 // CHECK-NEXT:      <key>kind</key><string>control</string>
1282 // CHECK-NEXT:      <key>edges</key>
1283 // CHECK-NEXT:       <array>
1284 // CHECK-NEXT:        <dict>
1285 // CHECK-NEXT:         <key>start</key>
1286 // CHECK-NEXT:          <array>
1287 // CHECK-NEXT:           <dict>
1288 // CHECK-NEXT:            <key>line</key><integer>65</integer>
1289 // CHECK-NEXT:            <key>col</key><integer>4</integer>
1290 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1291 // CHECK-NEXT:           </dict>
1292 // CHECK-NEXT:           <dict>
1293 // CHECK-NEXT:            <key>line</key><integer>65</integer>
1294 // CHECK-NEXT:            <key>col</key><integer>10</integer>
1295 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1296 // CHECK-NEXT:           </dict>
1297 // CHECK-NEXT:          </array>
1298 // CHECK-NEXT:         <key>end</key>
1299 // CHECK-NEXT:          <array>
1300 // CHECK-NEXT:           <dict>
1301 // CHECK-NEXT:            <key>line</key><integer>65</integer>
1302 // CHECK-NEXT:            <key>col</key><integer>14</integer>
1303 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1304 // CHECK-NEXT:           </dict>
1305 // CHECK-NEXT:           <dict>
1306 // CHECK-NEXT:            <key>line</key><integer>65</integer>
1307 // CHECK-NEXT:            <key>col</key><integer>14</integer>
1308 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1309 // CHECK-NEXT:           </dict>
1310 // CHECK-NEXT:          </array>
1311 // CHECK-NEXT:        </dict>
1312 // CHECK-NEXT:       </array>
1313 // CHECK-NEXT:     </dict>
1314 // CHECK-NEXT:     <dict>
1315 // CHECK-NEXT:      <key>kind</key><string>event</string>
1316 // CHECK-NEXT:      <key>location</key>
1317 // CHECK-NEXT:      <dict>
1318 // CHECK-NEXT:       <key>line</key><integer>65</integer>
1319 // CHECK-NEXT:       <key>col</key><integer>14</integer>
1320 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1321 // CHECK-NEXT:      </dict>
1322 // CHECK-NEXT:      <key>ranges</key>
1323 // CHECK-NEXT:      <array>
1324 // CHECK-NEXT:        <array>
1325 // CHECK-NEXT:         <dict>
1326 // CHECK-NEXT:          <key>line</key><integer>65</integer>
1327 // CHECK-NEXT:          <key>col</key><integer>3</integer>
1328 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1329 // CHECK-NEXT:         </dict>
1330 // CHECK-NEXT:         <dict>
1331 // CHECK-NEXT:          <key>line</key><integer>65</integer>
1332 // CHECK-NEXT:          <key>col</key><integer>16</integer>
1333 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1334 // CHECK-NEXT:         </dict>
1335 // CHECK-NEXT:        </array>
1336 // CHECK-NEXT:      </array>
1337 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
1338 // CHECK-NEXT:      <key>extended_message</key>
1339 // CHECK-NEXT:      <string>Dereference of null pointer</string>
1340 // CHECK-NEXT:      <key>message</key>
1341 // CHECK-NEXT:      <string>Dereference of null pointer</string>
1342 // CHECK-NEXT:     </dict>
1343 // CHECK-NEXT:    </array>
1344 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer</string>
1345 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
1346 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
1347 // CHECK-NEXT:    <key>check_name</key><string>core.NullDereference</string>
1348 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
1349 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>d03346854b8f45b55cbd5efe29bf2c8e</string>
1350 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
1351 // CHECK-NEXT:   <key>issue_context</key><string>testReturnZero</string>
1352 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>1</string>
1353 // CHECK-NEXT:   <key>location</key>
1354 // CHECK-NEXT:   <dict>
1355 // CHECK-NEXT:    <key>line</key><integer>65</integer>
1356 // CHECK-NEXT:    <key>col</key><integer>14</integer>
1357 // CHECK-NEXT:    <key>file</key><integer>0</integer>
1358 // CHECK-NEXT:   </dict>
1359 // CHECK-NEXT:   </dict>
1360 // CHECK-NEXT:   <dict>
1361 // CHECK-NEXT:    <key>path</key>
1362 // CHECK-NEXT:    <array>
1363 // CHECK-NEXT:     <dict>
1364 // CHECK-NEXT:      <key>kind</key><string>control</string>
1365 // CHECK-NEXT:      <key>edges</key>
1366 // CHECK-NEXT:       <array>
1367 // CHECK-NEXT:        <dict>
1368 // CHECK-NEXT:         <key>start</key>
1369 // CHECK-NEXT:          <array>
1370 // CHECK-NEXT:           <dict>
1371 // CHECK-NEXT:            <key>line</key><integer>72</integer>
1372 // CHECK-NEXT:            <key>col</key><integer>3</integer>
1373 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1374 // CHECK-NEXT:           </dict>
1375 // CHECK-NEXT:           <dict>
1376 // CHECK-NEXT:            <key>line</key><integer>72</integer>
1377 // CHECK-NEXT:            <key>col</key><integer>8</integer>
1378 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1379 // CHECK-NEXT:           </dict>
1380 // CHECK-NEXT:          </array>
1381 // CHECK-NEXT:         <key>end</key>
1382 // CHECK-NEXT:          <array>
1383 // CHECK-NEXT:           <dict>
1384 // CHECK-NEXT:            <key>line</key><integer>72</integer>
1385 // CHECK-NEXT:            <key>col</key><integer>11</integer>
1386 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1387 // CHECK-NEXT:           </dict>
1388 // CHECK-NEXT:           <dict>
1389 // CHECK-NEXT:            <key>line</key><integer>72</integer>
1390 // CHECK-NEXT:            <key>col</key><integer>17</integer>
1391 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1392 // CHECK-NEXT:           </dict>
1393 // CHECK-NEXT:          </array>
1394 // CHECK-NEXT:        </dict>
1395 // CHECK-NEXT:       </array>
1396 // CHECK-NEXT:     </dict>
1397 // CHECK-NEXT:     <dict>
1398 // CHECK-NEXT:      <key>kind</key><string>event</string>
1399 // CHECK-NEXT:      <key>location</key>
1400 // CHECK-NEXT:      <dict>
1401 // CHECK-NEXT:       <key>line</key><integer>72</integer>
1402 // CHECK-NEXT:       <key>col</key><integer>11</integer>
1403 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1404 // CHECK-NEXT:      </dict>
1405 // CHECK-NEXT:      <key>ranges</key>
1406 // CHECK-NEXT:      <array>
1407 // CHECK-NEXT:        <array>
1408 // CHECK-NEXT:         <dict>
1409 // CHECK-NEXT:          <key>line</key><integer>72</integer>
1410 // CHECK-NEXT:          <key>col</key><integer>11</integer>
1411 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1412 // CHECK-NEXT:         </dict>
1413 // CHECK-NEXT:         <dict>
1414 // CHECK-NEXT:          <key>line</key><integer>72</integer>
1415 // CHECK-NEXT:          <key>col</key><integer>19</integer>
1416 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1417 // CHECK-NEXT:         </dict>
1418 // CHECK-NEXT:        </array>
1419 // CHECK-NEXT:      </array>
1420 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
1421 // CHECK-NEXT:      <key>extended_message</key>
1422 // CHECK-NEXT:      <string>Calling &apos;getZero&apos;</string>
1423 // CHECK-NEXT:      <key>message</key>
1424 // CHECK-NEXT:      <string>Calling &apos;getZero&apos;</string>
1425 // CHECK-NEXT:     </dict>
1426 // CHECK-NEXT:     <dict>
1427 // CHECK-NEXT:      <key>kind</key><string>event</string>
1428 // CHECK-NEXT:      <key>location</key>
1429 // CHECK-NEXT:      <dict>
1430 // CHECK-NEXT:       <key>line</key><integer>56</integer>
1431 // CHECK-NEXT:       <key>col</key><integer>1</integer>
1432 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1433 // CHECK-NEXT:      </dict>
1434 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
1435 // CHECK-NEXT:      <key>extended_message</key>
1436 // CHECK-NEXT:      <string>Entered call from &apos;testReturnZero2&apos;</string>
1437 // CHECK-NEXT:      <key>message</key>
1438 // CHECK-NEXT:      <string>Entered call from &apos;testReturnZero2&apos;</string>
1439 // CHECK-NEXT:     </dict>
1440 // CHECK-NEXT:     <dict>
1441 // CHECK-NEXT:      <key>kind</key><string>control</string>
1442 // CHECK-NEXT:      <key>edges</key>
1443 // CHECK-NEXT:       <array>
1444 // CHECK-NEXT:        <dict>
1445 // CHECK-NEXT:         <key>start</key>
1446 // CHECK-NEXT:          <array>
1447 // CHECK-NEXT:           <dict>
1448 // CHECK-NEXT:            <key>line</key><integer>56</integer>
1449 // CHECK-NEXT:            <key>col</key><integer>1</integer>
1450 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1451 // CHECK-NEXT:           </dict>
1452 // CHECK-NEXT:           <dict>
1453 // CHECK-NEXT:            <key>line</key><integer>56</integer>
1454 // CHECK-NEXT:            <key>col</key><integer>3</integer>
1455 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1456 // CHECK-NEXT:           </dict>
1457 // CHECK-NEXT:          </array>
1458 // CHECK-NEXT:         <key>end</key>
1459 // CHECK-NEXT:          <array>
1460 // CHECK-NEXT:           <dict>
1461 // CHECK-NEXT:            <key>line</key><integer>57</integer>
1462 // CHECK-NEXT:            <key>col</key><integer>3</integer>
1463 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1464 // CHECK-NEXT:           </dict>
1465 // CHECK-NEXT:           <dict>
1466 // CHECK-NEXT:            <key>line</key><integer>57</integer>
1467 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1468 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1469 // CHECK-NEXT:           </dict>
1470 // CHECK-NEXT:          </array>
1471 // CHECK-NEXT:        </dict>
1472 // CHECK-NEXT:       </array>
1473 // CHECK-NEXT:     </dict>
1474 // CHECK-NEXT:     <dict>
1475 // CHECK-NEXT:      <key>kind</key><string>event</string>
1476 // CHECK-NEXT:      <key>location</key>
1477 // CHECK-NEXT:      <dict>
1478 // CHECK-NEXT:       <key>line</key><integer>57</integer>
1479 // CHECK-NEXT:       <key>col</key><integer>3</integer>
1480 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1481 // CHECK-NEXT:      </dict>
1482 // CHECK-NEXT:      <key>ranges</key>
1483 // CHECK-NEXT:      <array>
1484 // CHECK-NEXT:        <array>
1485 // CHECK-NEXT:         <dict>
1486 // CHECK-NEXT:          <key>line</key><integer>57</integer>
1487 // CHECK-NEXT:          <key>col</key><integer>3</integer>
1488 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1489 // CHECK-NEXT:         </dict>
1490 // CHECK-NEXT:         <dict>
1491 // CHECK-NEXT:          <key>line</key><integer>57</integer>
1492 // CHECK-NEXT:          <key>col</key><integer>8</integer>
1493 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1494 // CHECK-NEXT:         </dict>
1495 // CHECK-NEXT:        </array>
1496 // CHECK-NEXT:      </array>
1497 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
1498 // CHECK-NEXT:      <key>extended_message</key>
1499 // CHECK-NEXT:      <string>&apos;p&apos; initialized to a null pointer value</string>
1500 // CHECK-NEXT:      <key>message</key>
1501 // CHECK-NEXT:      <string>&apos;p&apos; initialized to a null pointer value</string>
1502 // CHECK-NEXT:     </dict>
1503 // CHECK-NEXT:     <dict>
1504 // CHECK-NEXT:      <key>kind</key><string>control</string>
1505 // CHECK-NEXT:      <key>edges</key>
1506 // CHECK-NEXT:       <array>
1507 // CHECK-NEXT:        <dict>
1508 // CHECK-NEXT:         <key>start</key>
1509 // CHECK-NEXT:          <array>
1510 // CHECK-NEXT:           <dict>
1511 // CHECK-NEXT:            <key>line</key><integer>57</integer>
1512 // CHECK-NEXT:            <key>col</key><integer>3</integer>
1513 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1514 // CHECK-NEXT:           </dict>
1515 // CHECK-NEXT:           <dict>
1516 // CHECK-NEXT:            <key>line</key><integer>57</integer>
1517 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1518 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1519 // CHECK-NEXT:           </dict>
1520 // CHECK-NEXT:          </array>
1521 // CHECK-NEXT:         <key>end</key>
1522 // CHECK-NEXT:          <array>
1523 // CHECK-NEXT:           <dict>
1524 // CHECK-NEXT:            <key>line</key><integer>60</integer>
1525 // CHECK-NEXT:            <key>col</key><integer>3</integer>
1526 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1527 // CHECK-NEXT:           </dict>
1528 // CHECK-NEXT:           <dict>
1529 // CHECK-NEXT:            <key>line</key><integer>60</integer>
1530 // CHECK-NEXT:            <key>col</key><integer>8</integer>
1531 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1532 // CHECK-NEXT:           </dict>
1533 // CHECK-NEXT:          </array>
1534 // CHECK-NEXT:        </dict>
1535 // CHECK-NEXT:       </array>
1536 // CHECK-NEXT:     </dict>
1537 // CHECK-NEXT:     <dict>
1538 // CHECK-NEXT:      <key>kind</key><string>event</string>
1539 // CHECK-NEXT:      <key>location</key>
1540 // CHECK-NEXT:      <dict>
1541 // CHECK-NEXT:       <key>line</key><integer>60</integer>
1542 // CHECK-NEXT:       <key>col</key><integer>3</integer>
1543 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1544 // CHECK-NEXT:      </dict>
1545 // CHECK-NEXT:      <key>ranges</key>
1546 // CHECK-NEXT:      <array>
1547 // CHECK-NEXT:        <array>
1548 // CHECK-NEXT:         <dict>
1549 // CHECK-NEXT:          <key>line</key><integer>60</integer>
1550 // CHECK-NEXT:          <key>col</key><integer>3</integer>
1551 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1552 // CHECK-NEXT:         </dict>
1553 // CHECK-NEXT:         <dict>
1554 // CHECK-NEXT:          <key>line</key><integer>60</integer>
1555 // CHECK-NEXT:          <key>col</key><integer>10</integer>
1556 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1557 // CHECK-NEXT:         </dict>
1558 // CHECK-NEXT:        </array>
1559 // CHECK-NEXT:      </array>
1560 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
1561 // CHECK-NEXT:      <key>extended_message</key>
1562 // CHECK-NEXT:      <string>Returning null pointer (loaded from &apos;p&apos;)</string>
1563 // CHECK-NEXT:      <key>message</key>
1564 // CHECK-NEXT:      <string>Returning null pointer (loaded from &apos;p&apos;)</string>
1565 // CHECK-NEXT:     </dict>
1566 // CHECK-NEXT:     <dict>
1567 // CHECK-NEXT:      <key>kind</key><string>event</string>
1568 // CHECK-NEXT:      <key>location</key>
1569 // CHECK-NEXT:      <dict>
1570 // CHECK-NEXT:       <key>line</key><integer>72</integer>
1571 // CHECK-NEXT:       <key>col</key><integer>11</integer>
1572 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1573 // CHECK-NEXT:      </dict>
1574 // CHECK-NEXT:      <key>ranges</key>
1575 // CHECK-NEXT:      <array>
1576 // CHECK-NEXT:        <array>
1577 // CHECK-NEXT:         <dict>
1578 // CHECK-NEXT:          <key>line</key><integer>72</integer>
1579 // CHECK-NEXT:          <key>col</key><integer>11</integer>
1580 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1581 // CHECK-NEXT:         </dict>
1582 // CHECK-NEXT:         <dict>
1583 // CHECK-NEXT:          <key>line</key><integer>72</integer>
1584 // CHECK-NEXT:          <key>col</key><integer>19</integer>
1585 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1586 // CHECK-NEXT:         </dict>
1587 // CHECK-NEXT:        </array>
1588 // CHECK-NEXT:      </array>
1589 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
1590 // CHECK-NEXT:      <key>extended_message</key>
1591 // CHECK-NEXT:      <string>Returning from &apos;getZero&apos;</string>
1592 // CHECK-NEXT:      <key>message</key>
1593 // CHECK-NEXT:      <string>Returning from &apos;getZero&apos;</string>
1594 // CHECK-NEXT:     </dict>
1595 // CHECK-NEXT:     <dict>
1596 // CHECK-NEXT:      <key>kind</key><string>control</string>
1597 // CHECK-NEXT:      <key>edges</key>
1598 // CHECK-NEXT:       <array>
1599 // CHECK-NEXT:        <dict>
1600 // CHECK-NEXT:         <key>start</key>
1601 // CHECK-NEXT:          <array>
1602 // CHECK-NEXT:           <dict>
1603 // CHECK-NEXT:            <key>line</key><integer>72</integer>
1604 // CHECK-NEXT:            <key>col</key><integer>11</integer>
1605 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1606 // CHECK-NEXT:           </dict>
1607 // CHECK-NEXT:           <dict>
1608 // CHECK-NEXT:            <key>line</key><integer>72</integer>
1609 // CHECK-NEXT:            <key>col</key><integer>17</integer>
1610 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1611 // CHECK-NEXT:           </dict>
1612 // CHECK-NEXT:          </array>
1613 // CHECK-NEXT:         <key>end</key>
1614 // CHECK-NEXT:          <array>
1615 // CHECK-NEXT:           <dict>
1616 // CHECK-NEXT:            <key>line</key><integer>72</integer>
1617 // CHECK-NEXT:            <key>col</key><integer>10</integer>
1618 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1619 // CHECK-NEXT:           </dict>
1620 // CHECK-NEXT:           <dict>
1621 // CHECK-NEXT:            <key>line</key><integer>72</integer>
1622 // CHECK-NEXT:            <key>col</key><integer>10</integer>
1623 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1624 // CHECK-NEXT:           </dict>
1625 // CHECK-NEXT:          </array>
1626 // CHECK-NEXT:        </dict>
1627 // CHECK-NEXT:       </array>
1628 // CHECK-NEXT:     </dict>
1629 // CHECK-NEXT:     <dict>
1630 // CHECK-NEXT:      <key>kind</key><string>event</string>
1631 // CHECK-NEXT:      <key>location</key>
1632 // CHECK-NEXT:      <dict>
1633 // CHECK-NEXT:       <key>line</key><integer>72</integer>
1634 // CHECK-NEXT:       <key>col</key><integer>10</integer>
1635 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1636 // CHECK-NEXT:      </dict>
1637 // CHECK-NEXT:      <key>ranges</key>
1638 // CHECK-NEXT:      <array>
1639 // CHECK-NEXT:        <array>
1640 // CHECK-NEXT:         <dict>
1641 // CHECK-NEXT:          <key>line</key><integer>72</integer>
1642 // CHECK-NEXT:          <key>col</key><integer>10</integer>
1643 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1644 // CHECK-NEXT:         </dict>
1645 // CHECK-NEXT:         <dict>
1646 // CHECK-NEXT:          <key>line</key><integer>72</integer>
1647 // CHECK-NEXT:          <key>col</key><integer>19</integer>
1648 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1649 // CHECK-NEXT:         </dict>
1650 // CHECK-NEXT:        </array>
1651 // CHECK-NEXT:      </array>
1652 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
1653 // CHECK-NEXT:      <key>extended_message</key>
1654 // CHECK-NEXT:      <string>Dereference of null pointer</string>
1655 // CHECK-NEXT:      <key>message</key>
1656 // CHECK-NEXT:      <string>Dereference of null pointer</string>
1657 // CHECK-NEXT:     </dict>
1658 // CHECK-NEXT:    </array>
1659 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer</string>
1660 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
1661 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
1662 // CHECK-NEXT:    <key>check_name</key><string>core.NullDereference</string>
1663 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
1664 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>5a72f98932a4061a833287a12b28ba8b</string>
1665 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
1666 // CHECK-NEXT:   <key>issue_context</key><string>testReturnZero2</string>
1667 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>1</string>
1668 // CHECK-NEXT:   <key>location</key>
1669 // CHECK-NEXT:   <dict>
1670 // CHECK-NEXT:    <key>line</key><integer>72</integer>
1671 // CHECK-NEXT:    <key>col</key><integer>10</integer>
1672 // CHECK-NEXT:    <key>file</key><integer>0</integer>
1673 // CHECK-NEXT:   </dict>
1674 // CHECK-NEXT:   </dict>
1675 // CHECK-NEXT:   <dict>
1676 // CHECK-NEXT:    <key>path</key>
1677 // CHECK-NEXT:    <array>
1678 // CHECK-NEXT:     <dict>
1679 // CHECK-NEXT:      <key>kind</key><string>control</string>
1680 // CHECK-NEXT:      <key>edges</key>
1681 // CHECK-NEXT:       <array>
1682 // CHECK-NEXT:        <dict>
1683 // CHECK-NEXT:         <key>start</key>
1684 // CHECK-NEXT:          <array>
1685 // CHECK-NEXT:           <dict>
1686 // CHECK-NEXT:            <key>line</key><integer>79</integer>
1687 // CHECK-NEXT:            <key>col</key><integer>3</integer>
1688 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1689 // CHECK-NEXT:           </dict>
1690 // CHECK-NEXT:           <dict>
1691 // CHECK-NEXT:            <key>line</key><integer>79</integer>
1692 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1693 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1694 // CHECK-NEXT:           </dict>
1695 // CHECK-NEXT:          </array>
1696 // CHECK-NEXT:         <key>end</key>
1697 // CHECK-NEXT:          <array>
1698 // CHECK-NEXT:           <dict>
1699 // CHECK-NEXT:            <key>line</key><integer>79</integer>
1700 // CHECK-NEXT:            <key>col</key><integer>12</integer>
1701 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1702 // CHECK-NEXT:           </dict>
1703 // CHECK-NEXT:           <dict>
1704 // CHECK-NEXT:            <key>line</key><integer>79</integer>
1705 // CHECK-NEXT:            <key>col</key><integer>18</integer>
1706 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1707 // CHECK-NEXT:           </dict>
1708 // CHECK-NEXT:          </array>
1709 // CHECK-NEXT:        </dict>
1710 // CHECK-NEXT:       </array>
1711 // CHECK-NEXT:     </dict>
1712 // CHECK-NEXT:     <dict>
1713 // CHECK-NEXT:      <key>kind</key><string>event</string>
1714 // CHECK-NEXT:      <key>location</key>
1715 // CHECK-NEXT:      <dict>
1716 // CHECK-NEXT:       <key>line</key><integer>79</integer>
1717 // CHECK-NEXT:       <key>col</key><integer>12</integer>
1718 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1719 // CHECK-NEXT:      </dict>
1720 // CHECK-NEXT:      <key>ranges</key>
1721 // CHECK-NEXT:      <array>
1722 // CHECK-NEXT:        <array>
1723 // CHECK-NEXT:         <dict>
1724 // CHECK-NEXT:          <key>line</key><integer>79</integer>
1725 // CHECK-NEXT:          <key>col</key><integer>12</integer>
1726 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1727 // CHECK-NEXT:         </dict>
1728 // CHECK-NEXT:         <dict>
1729 // CHECK-NEXT:          <key>line</key><integer>79</integer>
1730 // CHECK-NEXT:          <key>col</key><integer>20</integer>
1731 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1732 // CHECK-NEXT:         </dict>
1733 // CHECK-NEXT:        </array>
1734 // CHECK-NEXT:      </array>
1735 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
1736 // CHECK-NEXT:      <key>extended_message</key>
1737 // CHECK-NEXT:      <string>Calling &apos;getZero&apos;</string>
1738 // CHECK-NEXT:      <key>message</key>
1739 // CHECK-NEXT:      <string>Calling &apos;getZero&apos;</string>
1740 // CHECK-NEXT:     </dict>
1741 // CHECK-NEXT:     <dict>
1742 // CHECK-NEXT:      <key>kind</key><string>event</string>
1743 // CHECK-NEXT:      <key>location</key>
1744 // CHECK-NEXT:      <dict>
1745 // CHECK-NEXT:       <key>line</key><integer>56</integer>
1746 // CHECK-NEXT:       <key>col</key><integer>1</integer>
1747 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1748 // CHECK-NEXT:      </dict>
1749 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
1750 // CHECK-NEXT:      <key>extended_message</key>
1751 // CHECK-NEXT:      <string>Entered call from &apos;testInitZero&apos;</string>
1752 // CHECK-NEXT:      <key>message</key>
1753 // CHECK-NEXT:      <string>Entered call from &apos;testInitZero&apos;</string>
1754 // CHECK-NEXT:     </dict>
1755 // CHECK-NEXT:     <dict>
1756 // CHECK-NEXT:      <key>kind</key><string>control</string>
1757 // CHECK-NEXT:      <key>edges</key>
1758 // CHECK-NEXT:       <array>
1759 // CHECK-NEXT:        <dict>
1760 // CHECK-NEXT:         <key>start</key>
1761 // CHECK-NEXT:          <array>
1762 // CHECK-NEXT:           <dict>
1763 // CHECK-NEXT:            <key>line</key><integer>56</integer>
1764 // CHECK-NEXT:            <key>col</key><integer>1</integer>
1765 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1766 // CHECK-NEXT:           </dict>
1767 // CHECK-NEXT:           <dict>
1768 // CHECK-NEXT:            <key>line</key><integer>56</integer>
1769 // CHECK-NEXT:            <key>col</key><integer>3</integer>
1770 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1771 // CHECK-NEXT:           </dict>
1772 // CHECK-NEXT:          </array>
1773 // CHECK-NEXT:         <key>end</key>
1774 // CHECK-NEXT:          <array>
1775 // CHECK-NEXT:           <dict>
1776 // CHECK-NEXT:            <key>line</key><integer>57</integer>
1777 // CHECK-NEXT:            <key>col</key><integer>3</integer>
1778 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1779 // CHECK-NEXT:           </dict>
1780 // CHECK-NEXT:           <dict>
1781 // CHECK-NEXT:            <key>line</key><integer>57</integer>
1782 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1783 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1784 // CHECK-NEXT:           </dict>
1785 // CHECK-NEXT:          </array>
1786 // CHECK-NEXT:        </dict>
1787 // CHECK-NEXT:       </array>
1788 // CHECK-NEXT:     </dict>
1789 // CHECK-NEXT:     <dict>
1790 // CHECK-NEXT:      <key>kind</key><string>event</string>
1791 // CHECK-NEXT:      <key>location</key>
1792 // CHECK-NEXT:      <dict>
1793 // CHECK-NEXT:       <key>line</key><integer>57</integer>
1794 // CHECK-NEXT:       <key>col</key><integer>3</integer>
1795 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1796 // CHECK-NEXT:      </dict>
1797 // CHECK-NEXT:      <key>ranges</key>
1798 // CHECK-NEXT:      <array>
1799 // CHECK-NEXT:        <array>
1800 // CHECK-NEXT:         <dict>
1801 // CHECK-NEXT:          <key>line</key><integer>57</integer>
1802 // CHECK-NEXT:          <key>col</key><integer>3</integer>
1803 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1804 // CHECK-NEXT:         </dict>
1805 // CHECK-NEXT:         <dict>
1806 // CHECK-NEXT:          <key>line</key><integer>57</integer>
1807 // CHECK-NEXT:          <key>col</key><integer>8</integer>
1808 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1809 // CHECK-NEXT:         </dict>
1810 // CHECK-NEXT:        </array>
1811 // CHECK-NEXT:      </array>
1812 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
1813 // CHECK-NEXT:      <key>extended_message</key>
1814 // CHECK-NEXT:      <string>&apos;p&apos; initialized to a null pointer value</string>
1815 // CHECK-NEXT:      <key>message</key>
1816 // CHECK-NEXT:      <string>&apos;p&apos; initialized to a null pointer value</string>
1817 // CHECK-NEXT:     </dict>
1818 // CHECK-NEXT:     <dict>
1819 // CHECK-NEXT:      <key>kind</key><string>control</string>
1820 // CHECK-NEXT:      <key>edges</key>
1821 // CHECK-NEXT:       <array>
1822 // CHECK-NEXT:        <dict>
1823 // CHECK-NEXT:         <key>start</key>
1824 // CHECK-NEXT:          <array>
1825 // CHECK-NEXT:           <dict>
1826 // CHECK-NEXT:            <key>line</key><integer>57</integer>
1827 // CHECK-NEXT:            <key>col</key><integer>3</integer>
1828 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1829 // CHECK-NEXT:           </dict>
1830 // CHECK-NEXT:           <dict>
1831 // CHECK-NEXT:            <key>line</key><integer>57</integer>
1832 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1833 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1834 // CHECK-NEXT:           </dict>
1835 // CHECK-NEXT:          </array>
1836 // CHECK-NEXT:         <key>end</key>
1837 // CHECK-NEXT:          <array>
1838 // CHECK-NEXT:           <dict>
1839 // CHECK-NEXT:            <key>line</key><integer>60</integer>
1840 // CHECK-NEXT:            <key>col</key><integer>3</integer>
1841 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1842 // CHECK-NEXT:           </dict>
1843 // CHECK-NEXT:           <dict>
1844 // CHECK-NEXT:            <key>line</key><integer>60</integer>
1845 // CHECK-NEXT:            <key>col</key><integer>8</integer>
1846 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1847 // CHECK-NEXT:           </dict>
1848 // CHECK-NEXT:          </array>
1849 // CHECK-NEXT:        </dict>
1850 // CHECK-NEXT:       </array>
1851 // CHECK-NEXT:     </dict>
1852 // CHECK-NEXT:     <dict>
1853 // CHECK-NEXT:      <key>kind</key><string>event</string>
1854 // CHECK-NEXT:      <key>location</key>
1855 // CHECK-NEXT:      <dict>
1856 // CHECK-NEXT:       <key>line</key><integer>60</integer>
1857 // CHECK-NEXT:       <key>col</key><integer>3</integer>
1858 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1859 // CHECK-NEXT:      </dict>
1860 // CHECK-NEXT:      <key>ranges</key>
1861 // CHECK-NEXT:      <array>
1862 // CHECK-NEXT:        <array>
1863 // CHECK-NEXT:         <dict>
1864 // CHECK-NEXT:          <key>line</key><integer>60</integer>
1865 // CHECK-NEXT:          <key>col</key><integer>3</integer>
1866 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1867 // CHECK-NEXT:         </dict>
1868 // CHECK-NEXT:         <dict>
1869 // CHECK-NEXT:          <key>line</key><integer>60</integer>
1870 // CHECK-NEXT:          <key>col</key><integer>10</integer>
1871 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1872 // CHECK-NEXT:         </dict>
1873 // CHECK-NEXT:        </array>
1874 // CHECK-NEXT:      </array>
1875 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
1876 // CHECK-NEXT:      <key>extended_message</key>
1877 // CHECK-NEXT:      <string>Returning null pointer (loaded from &apos;p&apos;)</string>
1878 // CHECK-NEXT:      <key>message</key>
1879 // CHECK-NEXT:      <string>Returning null pointer (loaded from &apos;p&apos;)</string>
1880 // CHECK-NEXT:     </dict>
1881 // CHECK-NEXT:     <dict>
1882 // CHECK-NEXT:      <key>kind</key><string>event</string>
1883 // CHECK-NEXT:      <key>location</key>
1884 // CHECK-NEXT:      <dict>
1885 // CHECK-NEXT:       <key>line</key><integer>79</integer>
1886 // CHECK-NEXT:       <key>col</key><integer>12</integer>
1887 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1888 // CHECK-NEXT:      </dict>
1889 // CHECK-NEXT:      <key>ranges</key>
1890 // CHECK-NEXT:      <array>
1891 // CHECK-NEXT:        <array>
1892 // CHECK-NEXT:         <dict>
1893 // CHECK-NEXT:          <key>line</key><integer>79</integer>
1894 // CHECK-NEXT:          <key>col</key><integer>12</integer>
1895 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1896 // CHECK-NEXT:         </dict>
1897 // CHECK-NEXT:         <dict>
1898 // CHECK-NEXT:          <key>line</key><integer>79</integer>
1899 // CHECK-NEXT:          <key>col</key><integer>20</integer>
1900 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1901 // CHECK-NEXT:         </dict>
1902 // CHECK-NEXT:        </array>
1903 // CHECK-NEXT:      </array>
1904 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
1905 // CHECK-NEXT:      <key>extended_message</key>
1906 // CHECK-NEXT:      <string>Returning from &apos;getZero&apos;</string>
1907 // CHECK-NEXT:      <key>message</key>
1908 // CHECK-NEXT:      <string>Returning from &apos;getZero&apos;</string>
1909 // CHECK-NEXT:     </dict>
1910 // CHECK-NEXT:     <dict>
1911 // CHECK-NEXT:      <key>kind</key><string>control</string>
1912 // CHECK-NEXT:      <key>edges</key>
1913 // CHECK-NEXT:       <array>
1914 // CHECK-NEXT:        <dict>
1915 // CHECK-NEXT:         <key>start</key>
1916 // CHECK-NEXT:          <array>
1917 // CHECK-NEXT:           <dict>
1918 // CHECK-NEXT:            <key>line</key><integer>79</integer>
1919 // CHECK-NEXT:            <key>col</key><integer>12</integer>
1920 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1921 // CHECK-NEXT:           </dict>
1922 // CHECK-NEXT:           <dict>
1923 // CHECK-NEXT:            <key>line</key><integer>79</integer>
1924 // CHECK-NEXT:            <key>col</key><integer>18</integer>
1925 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1926 // CHECK-NEXT:           </dict>
1927 // CHECK-NEXT:          </array>
1928 // CHECK-NEXT:         <key>end</key>
1929 // CHECK-NEXT:          <array>
1930 // CHECK-NEXT:           <dict>
1931 // CHECK-NEXT:            <key>line</key><integer>79</integer>
1932 // CHECK-NEXT:            <key>col</key><integer>3</integer>
1933 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1934 // CHECK-NEXT:           </dict>
1935 // CHECK-NEXT:           <dict>
1936 // CHECK-NEXT:            <key>line</key><integer>79</integer>
1937 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1938 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1939 // CHECK-NEXT:           </dict>
1940 // CHECK-NEXT:          </array>
1941 // CHECK-NEXT:        </dict>
1942 // CHECK-NEXT:       </array>
1943 // CHECK-NEXT:     </dict>
1944 // CHECK-NEXT:     <dict>
1945 // CHECK-NEXT:      <key>kind</key><string>event</string>
1946 // CHECK-NEXT:      <key>location</key>
1947 // CHECK-NEXT:      <dict>
1948 // CHECK-NEXT:       <key>line</key><integer>79</integer>
1949 // CHECK-NEXT:       <key>col</key><integer>3</integer>
1950 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1951 // CHECK-NEXT:      </dict>
1952 // CHECK-NEXT:      <key>ranges</key>
1953 // CHECK-NEXT:      <array>
1954 // CHECK-NEXT:        <array>
1955 // CHECK-NEXT:         <dict>
1956 // CHECK-NEXT:          <key>line</key><integer>79</integer>
1957 // CHECK-NEXT:          <key>col</key><integer>3</integer>
1958 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1959 // CHECK-NEXT:         </dict>
1960 // CHECK-NEXT:         <dict>
1961 // CHECK-NEXT:          <key>line</key><integer>79</integer>
1962 // CHECK-NEXT:          <key>col</key><integer>8</integer>
1963 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1964 // CHECK-NEXT:         </dict>
1965 // CHECK-NEXT:        </array>
1966 // CHECK-NEXT:      </array>
1967 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
1968 // CHECK-NEXT:      <key>extended_message</key>
1969 // CHECK-NEXT:      <string>&apos;a&apos; initialized to a null pointer value</string>
1970 // CHECK-NEXT:      <key>message</key>
1971 // CHECK-NEXT:      <string>&apos;a&apos; initialized to a null pointer value</string>
1972 // CHECK-NEXT:     </dict>
1973 // CHECK-NEXT:     <dict>
1974 // CHECK-NEXT:      <key>kind</key><string>control</string>
1975 // CHECK-NEXT:      <key>edges</key>
1976 // CHECK-NEXT:       <array>
1977 // CHECK-NEXT:        <dict>
1978 // CHECK-NEXT:         <key>start</key>
1979 // CHECK-NEXT:          <array>
1980 // CHECK-NEXT:           <dict>
1981 // CHECK-NEXT:            <key>line</key><integer>79</integer>
1982 // CHECK-NEXT:            <key>col</key><integer>3</integer>
1983 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1984 // CHECK-NEXT:           </dict>
1985 // CHECK-NEXT:           <dict>
1986 // CHECK-NEXT:            <key>line</key><integer>79</integer>
1987 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1988 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1989 // CHECK-NEXT:           </dict>
1990 // CHECK-NEXT:          </array>
1991 // CHECK-NEXT:         <key>end</key>
1992 // CHECK-NEXT:          <array>
1993 // CHECK-NEXT:           <dict>
1994 // CHECK-NEXT:            <key>line</key><integer>83</integer>
1995 // CHECK-NEXT:            <key>col</key><integer>6</integer>
1996 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1997 // CHECK-NEXT:           </dict>
1998 // CHECK-NEXT:           <dict>
1999 // CHECK-NEXT:            <key>line</key><integer>83</integer>
2000 // CHECK-NEXT:            <key>col</key><integer>6</integer>
2001 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2002 // CHECK-NEXT:           </dict>
2003 // CHECK-NEXT:          </array>
2004 // CHECK-NEXT:        </dict>
2005 // CHECK-NEXT:       </array>
2006 // CHECK-NEXT:     </dict>
2007 // CHECK-NEXT:     <dict>
2008 // CHECK-NEXT:      <key>kind</key><string>event</string>
2009 // CHECK-NEXT:      <key>location</key>
2010 // CHECK-NEXT:      <dict>
2011 // CHECK-NEXT:       <key>line</key><integer>83</integer>
2012 // CHECK-NEXT:       <key>col</key><integer>6</integer>
2013 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2014 // CHECK-NEXT:      </dict>
2015 // CHECK-NEXT:      <key>ranges</key>
2016 // CHECK-NEXT:      <array>
2017 // CHECK-NEXT:        <array>
2018 // CHECK-NEXT:         <dict>
2019 // CHECK-NEXT:          <key>line</key><integer>83</integer>
2020 // CHECK-NEXT:          <key>col</key><integer>4</integer>
2021 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2022 // CHECK-NEXT:         </dict>
2023 // CHECK-NEXT:         <dict>
2024 // CHECK-NEXT:          <key>line</key><integer>83</integer>
2025 // CHECK-NEXT:          <key>col</key><integer>4</integer>
2026 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2027 // CHECK-NEXT:         </dict>
2028 // CHECK-NEXT:        </array>
2029 // CHECK-NEXT:      </array>
2030 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
2031 // CHECK-NEXT:      <key>extended_message</key>
2032 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
2033 // CHECK-NEXT:      <key>message</key>
2034 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
2035 // CHECK-NEXT:     </dict>
2036 // CHECK-NEXT:    </array>
2037 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
2038 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
2039 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
2040 // CHECK-NEXT:    <key>check_name</key><string>core.NullDereference</string>
2041 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
2042 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>6d3745ba4b32e1858de16c61fecf8ed4</string>
2043 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
2044 // CHECK-NEXT:   <key>issue_context</key><string>testInitZero</string>
2045 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>5</string>
2046 // CHECK-NEXT:   <key>location</key>
2047 // CHECK-NEXT:   <dict>
2048 // CHECK-NEXT:    <key>line</key><integer>83</integer>
2049 // CHECK-NEXT:    <key>col</key><integer>6</integer>
2050 // CHECK-NEXT:    <key>file</key><integer>0</integer>
2051 // CHECK-NEXT:   </dict>
2052 // CHECK-NEXT:   </dict>
2053 // CHECK-NEXT:   <dict>
2054 // CHECK-NEXT:    <key>path</key>
2055 // CHECK-NEXT:    <array>
2056 // CHECK-NEXT:     <dict>
2057 // CHECK-NEXT:      <key>kind</key><string>control</string>
2058 // CHECK-NEXT:      <key>edges</key>
2059 // CHECK-NEXT:       <array>
2060 // CHECK-NEXT:        <dict>
2061 // CHECK-NEXT:         <key>start</key>
2062 // CHECK-NEXT:          <array>
2063 // CHECK-NEXT:           <dict>
2064 // CHECK-NEXT:            <key>line</key><integer>88</integer>
2065 // CHECK-NEXT:            <key>col</key><integer>3</integer>
2066 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2067 // CHECK-NEXT:           </dict>
2068 // CHECK-NEXT:           <dict>
2069 // CHECK-NEXT:            <key>line</key><integer>88</integer>
2070 // CHECK-NEXT:            <key>col</key><integer>3</integer>
2071 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2072 // CHECK-NEXT:           </dict>
2073 // CHECK-NEXT:          </array>
2074 // CHECK-NEXT:         <key>end</key>
2075 // CHECK-NEXT:          <array>
2076 // CHECK-NEXT:           <dict>
2077 // CHECK-NEXT:            <key>line</key><integer>88</integer>
2078 // CHECK-NEXT:            <key>col</key><integer>7</integer>
2079 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2080 // CHECK-NEXT:           </dict>
2081 // CHECK-NEXT:           <dict>
2082 // CHECK-NEXT:            <key>line</key><integer>88</integer>
2083 // CHECK-NEXT:            <key>col</key><integer>13</integer>
2084 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2085 // CHECK-NEXT:           </dict>
2086 // CHECK-NEXT:          </array>
2087 // CHECK-NEXT:        </dict>
2088 // CHECK-NEXT:       </array>
2089 // CHECK-NEXT:     </dict>
2090 // CHECK-NEXT:     <dict>
2091 // CHECK-NEXT:      <key>kind</key><string>event</string>
2092 // CHECK-NEXT:      <key>location</key>
2093 // CHECK-NEXT:      <dict>
2094 // CHECK-NEXT:       <key>line</key><integer>88</integer>
2095 // CHECK-NEXT:       <key>col</key><integer>7</integer>
2096 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2097 // CHECK-NEXT:      </dict>
2098 // CHECK-NEXT:      <key>ranges</key>
2099 // CHECK-NEXT:      <array>
2100 // CHECK-NEXT:        <array>
2101 // CHECK-NEXT:         <dict>
2102 // CHECK-NEXT:          <key>line</key><integer>88</integer>
2103 // CHECK-NEXT:          <key>col</key><integer>7</integer>
2104 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2105 // CHECK-NEXT:         </dict>
2106 // CHECK-NEXT:         <dict>
2107 // CHECK-NEXT:          <key>line</key><integer>88</integer>
2108 // CHECK-NEXT:          <key>col</key><integer>15</integer>
2109 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2110 // CHECK-NEXT:         </dict>
2111 // CHECK-NEXT:        </array>
2112 // CHECK-NEXT:      </array>
2113 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
2114 // CHECK-NEXT:      <key>extended_message</key>
2115 // CHECK-NEXT:      <string>Calling &apos;getZero&apos;</string>
2116 // CHECK-NEXT:      <key>message</key>
2117 // CHECK-NEXT:      <string>Calling &apos;getZero&apos;</string>
2118 // CHECK-NEXT:     </dict>
2119 // CHECK-NEXT:     <dict>
2120 // CHECK-NEXT:      <key>kind</key><string>event</string>
2121 // CHECK-NEXT:      <key>location</key>
2122 // CHECK-NEXT:      <dict>
2123 // CHECK-NEXT:       <key>line</key><integer>56</integer>
2124 // CHECK-NEXT:       <key>col</key><integer>1</integer>
2125 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2126 // CHECK-NEXT:      </dict>
2127 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
2128 // CHECK-NEXT:      <key>extended_message</key>
2129 // CHECK-NEXT:      <string>Entered call from &apos;testStoreZero&apos;</string>
2130 // CHECK-NEXT:      <key>message</key>
2131 // CHECK-NEXT:      <string>Entered call from &apos;testStoreZero&apos;</string>
2132 // CHECK-NEXT:     </dict>
2133 // CHECK-NEXT:     <dict>
2134 // CHECK-NEXT:      <key>kind</key><string>control</string>
2135 // CHECK-NEXT:      <key>edges</key>
2136 // CHECK-NEXT:       <array>
2137 // CHECK-NEXT:        <dict>
2138 // CHECK-NEXT:         <key>start</key>
2139 // CHECK-NEXT:          <array>
2140 // CHECK-NEXT:           <dict>
2141 // CHECK-NEXT:            <key>line</key><integer>56</integer>
2142 // CHECK-NEXT:            <key>col</key><integer>1</integer>
2143 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2144 // CHECK-NEXT:           </dict>
2145 // CHECK-NEXT:           <dict>
2146 // CHECK-NEXT:            <key>line</key><integer>56</integer>
2147 // CHECK-NEXT:            <key>col</key><integer>3</integer>
2148 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2149 // CHECK-NEXT:           </dict>
2150 // CHECK-NEXT:          </array>
2151 // CHECK-NEXT:         <key>end</key>
2152 // CHECK-NEXT:          <array>
2153 // CHECK-NEXT:           <dict>
2154 // CHECK-NEXT:            <key>line</key><integer>57</integer>
2155 // CHECK-NEXT:            <key>col</key><integer>3</integer>
2156 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2157 // CHECK-NEXT:           </dict>
2158 // CHECK-NEXT:           <dict>
2159 // CHECK-NEXT:            <key>line</key><integer>57</integer>
2160 // CHECK-NEXT:            <key>col</key><integer>5</integer>
2161 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2162 // CHECK-NEXT:           </dict>
2163 // CHECK-NEXT:          </array>
2164 // CHECK-NEXT:        </dict>
2165 // CHECK-NEXT:       </array>
2166 // CHECK-NEXT:     </dict>
2167 // CHECK-NEXT:     <dict>
2168 // CHECK-NEXT:      <key>kind</key><string>event</string>
2169 // CHECK-NEXT:      <key>location</key>
2170 // CHECK-NEXT:      <dict>
2171 // CHECK-NEXT:       <key>line</key><integer>57</integer>
2172 // CHECK-NEXT:       <key>col</key><integer>3</integer>
2173 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2174 // CHECK-NEXT:      </dict>
2175 // CHECK-NEXT:      <key>ranges</key>
2176 // CHECK-NEXT:      <array>
2177 // CHECK-NEXT:        <array>
2178 // CHECK-NEXT:         <dict>
2179 // CHECK-NEXT:          <key>line</key><integer>57</integer>
2180 // CHECK-NEXT:          <key>col</key><integer>3</integer>
2181 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2182 // CHECK-NEXT:         </dict>
2183 // CHECK-NEXT:         <dict>
2184 // CHECK-NEXT:          <key>line</key><integer>57</integer>
2185 // CHECK-NEXT:          <key>col</key><integer>8</integer>
2186 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2187 // CHECK-NEXT:         </dict>
2188 // CHECK-NEXT:        </array>
2189 // CHECK-NEXT:      </array>
2190 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
2191 // CHECK-NEXT:      <key>extended_message</key>
2192 // CHECK-NEXT:      <string>&apos;p&apos; initialized to a null pointer value</string>
2193 // CHECK-NEXT:      <key>message</key>
2194 // CHECK-NEXT:      <string>&apos;p&apos; initialized to a null pointer value</string>
2195 // CHECK-NEXT:     </dict>
2196 // CHECK-NEXT:     <dict>
2197 // CHECK-NEXT:      <key>kind</key><string>control</string>
2198 // CHECK-NEXT:      <key>edges</key>
2199 // CHECK-NEXT:       <array>
2200 // CHECK-NEXT:        <dict>
2201 // CHECK-NEXT:         <key>start</key>
2202 // CHECK-NEXT:          <array>
2203 // CHECK-NEXT:           <dict>
2204 // CHECK-NEXT:            <key>line</key><integer>57</integer>
2205 // CHECK-NEXT:            <key>col</key><integer>3</integer>
2206 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2207 // CHECK-NEXT:           </dict>
2208 // CHECK-NEXT:           <dict>
2209 // CHECK-NEXT:            <key>line</key><integer>57</integer>
2210 // CHECK-NEXT:            <key>col</key><integer>5</integer>
2211 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2212 // CHECK-NEXT:           </dict>
2213 // CHECK-NEXT:          </array>
2214 // CHECK-NEXT:         <key>end</key>
2215 // CHECK-NEXT:          <array>
2216 // CHECK-NEXT:           <dict>
2217 // CHECK-NEXT:            <key>line</key><integer>60</integer>
2218 // CHECK-NEXT:            <key>col</key><integer>3</integer>
2219 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2220 // CHECK-NEXT:           </dict>
2221 // CHECK-NEXT:           <dict>
2222 // CHECK-NEXT:            <key>line</key><integer>60</integer>
2223 // CHECK-NEXT:            <key>col</key><integer>8</integer>
2224 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2225 // CHECK-NEXT:           </dict>
2226 // CHECK-NEXT:          </array>
2227 // CHECK-NEXT:        </dict>
2228 // CHECK-NEXT:       </array>
2229 // CHECK-NEXT:     </dict>
2230 // CHECK-NEXT:     <dict>
2231 // CHECK-NEXT:      <key>kind</key><string>event</string>
2232 // CHECK-NEXT:      <key>location</key>
2233 // CHECK-NEXT:      <dict>
2234 // CHECK-NEXT:       <key>line</key><integer>60</integer>
2235 // CHECK-NEXT:       <key>col</key><integer>3</integer>
2236 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2237 // CHECK-NEXT:      </dict>
2238 // CHECK-NEXT:      <key>ranges</key>
2239 // CHECK-NEXT:      <array>
2240 // CHECK-NEXT:        <array>
2241 // CHECK-NEXT:         <dict>
2242 // CHECK-NEXT:          <key>line</key><integer>60</integer>
2243 // CHECK-NEXT:          <key>col</key><integer>3</integer>
2244 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2245 // CHECK-NEXT:         </dict>
2246 // CHECK-NEXT:         <dict>
2247 // CHECK-NEXT:          <key>line</key><integer>60</integer>
2248 // CHECK-NEXT:          <key>col</key><integer>10</integer>
2249 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2250 // CHECK-NEXT:         </dict>
2251 // CHECK-NEXT:        </array>
2252 // CHECK-NEXT:      </array>
2253 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
2254 // CHECK-NEXT:      <key>extended_message</key>
2255 // CHECK-NEXT:      <string>Returning null pointer (loaded from &apos;p&apos;)</string>
2256 // CHECK-NEXT:      <key>message</key>
2257 // CHECK-NEXT:      <string>Returning null pointer (loaded from &apos;p&apos;)</string>
2258 // CHECK-NEXT:     </dict>
2259 // CHECK-NEXT:     <dict>
2260 // CHECK-NEXT:      <key>kind</key><string>event</string>
2261 // CHECK-NEXT:      <key>location</key>
2262 // CHECK-NEXT:      <dict>
2263 // CHECK-NEXT:       <key>line</key><integer>88</integer>
2264 // CHECK-NEXT:       <key>col</key><integer>7</integer>
2265 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2266 // CHECK-NEXT:      </dict>
2267 // CHECK-NEXT:      <key>ranges</key>
2268 // CHECK-NEXT:      <array>
2269 // CHECK-NEXT:        <array>
2270 // CHECK-NEXT:         <dict>
2271 // CHECK-NEXT:          <key>line</key><integer>88</integer>
2272 // CHECK-NEXT:          <key>col</key><integer>7</integer>
2273 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2274 // CHECK-NEXT:         </dict>
2275 // CHECK-NEXT:         <dict>
2276 // CHECK-NEXT:          <key>line</key><integer>88</integer>
2277 // CHECK-NEXT:          <key>col</key><integer>15</integer>
2278 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2279 // CHECK-NEXT:         </dict>
2280 // CHECK-NEXT:        </array>
2281 // CHECK-NEXT:      </array>
2282 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
2283 // CHECK-NEXT:      <key>extended_message</key>
2284 // CHECK-NEXT:      <string>Returning from &apos;getZero&apos;</string>
2285 // CHECK-NEXT:      <key>message</key>
2286 // CHECK-NEXT:      <string>Returning from &apos;getZero&apos;</string>
2287 // CHECK-NEXT:     </dict>
2288 // CHECK-NEXT:     <dict>
2289 // CHECK-NEXT:      <key>kind</key><string>control</string>
2290 // CHECK-NEXT:      <key>edges</key>
2291 // CHECK-NEXT:       <array>
2292 // CHECK-NEXT:        <dict>
2293 // CHECK-NEXT:         <key>start</key>
2294 // CHECK-NEXT:          <array>
2295 // CHECK-NEXT:           <dict>
2296 // CHECK-NEXT:            <key>line</key><integer>88</integer>
2297 // CHECK-NEXT:            <key>col</key><integer>7</integer>
2298 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2299 // CHECK-NEXT:           </dict>
2300 // CHECK-NEXT:           <dict>
2301 // CHECK-NEXT:            <key>line</key><integer>88</integer>
2302 // CHECK-NEXT:            <key>col</key><integer>13</integer>
2303 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2304 // CHECK-NEXT:           </dict>
2305 // CHECK-NEXT:          </array>
2306 // CHECK-NEXT:         <key>end</key>
2307 // CHECK-NEXT:          <array>
2308 // CHECK-NEXT:           <dict>
2309 // CHECK-NEXT:            <key>line</key><integer>88</integer>
2310 // CHECK-NEXT:            <key>col</key><integer>3</integer>
2311 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2312 // CHECK-NEXT:           </dict>
2313 // CHECK-NEXT:           <dict>
2314 // CHECK-NEXT:            <key>line</key><integer>88</integer>
2315 // CHECK-NEXT:            <key>col</key><integer>3</integer>
2316 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2317 // CHECK-NEXT:           </dict>
2318 // CHECK-NEXT:          </array>
2319 // CHECK-NEXT:        </dict>
2320 // CHECK-NEXT:       </array>
2321 // CHECK-NEXT:     </dict>
2322 // CHECK-NEXT:     <dict>
2323 // CHECK-NEXT:      <key>kind</key><string>event</string>
2324 // CHECK-NEXT:      <key>location</key>
2325 // CHECK-NEXT:      <dict>
2326 // CHECK-NEXT:       <key>line</key><integer>88</integer>
2327 // CHECK-NEXT:       <key>col</key><integer>3</integer>
2328 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2329 // CHECK-NEXT:      </dict>
2330 // CHECK-NEXT:      <key>ranges</key>
2331 // CHECK-NEXT:      <array>
2332 // CHECK-NEXT:        <array>
2333 // CHECK-NEXT:         <dict>
2334 // CHECK-NEXT:          <key>line</key><integer>88</integer>
2335 // CHECK-NEXT:          <key>col</key><integer>3</integer>
2336 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2337 // CHECK-NEXT:         </dict>
2338 // CHECK-NEXT:         <dict>
2339 // CHECK-NEXT:          <key>line</key><integer>88</integer>
2340 // CHECK-NEXT:          <key>col</key><integer>15</integer>
2341 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2342 // CHECK-NEXT:         </dict>
2343 // CHECK-NEXT:        </array>
2344 // CHECK-NEXT:      </array>
2345 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
2346 // CHECK-NEXT:      <key>extended_message</key>
2347 // CHECK-NEXT:      <string>Null pointer value stored to &apos;a&apos;</string>
2348 // CHECK-NEXT:      <key>message</key>
2349 // CHECK-NEXT:      <string>Null pointer value stored to &apos;a&apos;</string>
2350 // CHECK-NEXT:     </dict>
2351 // CHECK-NEXT:     <dict>
2352 // CHECK-NEXT:      <key>kind</key><string>control</string>
2353 // CHECK-NEXT:      <key>edges</key>
2354 // CHECK-NEXT:       <array>
2355 // CHECK-NEXT:        <dict>
2356 // CHECK-NEXT:         <key>start</key>
2357 // CHECK-NEXT:          <array>
2358 // CHECK-NEXT:           <dict>
2359 // CHECK-NEXT:            <key>line</key><integer>88</integer>
2360 // CHECK-NEXT:            <key>col</key><integer>3</integer>
2361 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2362 // CHECK-NEXT:           </dict>
2363 // CHECK-NEXT:           <dict>
2364 // CHECK-NEXT:            <key>line</key><integer>88</integer>
2365 // CHECK-NEXT:            <key>col</key><integer>3</integer>
2366 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2367 // CHECK-NEXT:           </dict>
2368 // CHECK-NEXT:          </array>
2369 // CHECK-NEXT:         <key>end</key>
2370 // CHECK-NEXT:          <array>
2371 // CHECK-NEXT:           <dict>
2372 // CHECK-NEXT:            <key>line</key><integer>92</integer>
2373 // CHECK-NEXT:            <key>col</key><integer>6</integer>
2374 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2375 // CHECK-NEXT:           </dict>
2376 // CHECK-NEXT:           <dict>
2377 // CHECK-NEXT:            <key>line</key><integer>92</integer>
2378 // CHECK-NEXT:            <key>col</key><integer>6</integer>
2379 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2380 // CHECK-NEXT:           </dict>
2381 // CHECK-NEXT:          </array>
2382 // CHECK-NEXT:        </dict>
2383 // CHECK-NEXT:       </array>
2384 // CHECK-NEXT:     </dict>
2385 // CHECK-NEXT:     <dict>
2386 // CHECK-NEXT:      <key>kind</key><string>event</string>
2387 // CHECK-NEXT:      <key>location</key>
2388 // CHECK-NEXT:      <dict>
2389 // CHECK-NEXT:       <key>line</key><integer>92</integer>
2390 // CHECK-NEXT:       <key>col</key><integer>6</integer>
2391 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2392 // CHECK-NEXT:      </dict>
2393 // CHECK-NEXT:      <key>ranges</key>
2394 // CHECK-NEXT:      <array>
2395 // CHECK-NEXT:        <array>
2396 // CHECK-NEXT:         <dict>
2397 // CHECK-NEXT:          <key>line</key><integer>92</integer>
2398 // CHECK-NEXT:          <key>col</key><integer>4</integer>
2399 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2400 // CHECK-NEXT:         </dict>
2401 // CHECK-NEXT:         <dict>
2402 // CHECK-NEXT:          <key>line</key><integer>92</integer>
2403 // CHECK-NEXT:          <key>col</key><integer>4</integer>
2404 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2405 // CHECK-NEXT:         </dict>
2406 // CHECK-NEXT:        </array>
2407 // CHECK-NEXT:      </array>
2408 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
2409 // CHECK-NEXT:      <key>extended_message</key>
2410 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
2411 // CHECK-NEXT:      <key>message</key>
2412 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
2413 // CHECK-NEXT:     </dict>
2414 // CHECK-NEXT:    </array>
2415 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;a&apos;)</string>
2416 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
2417 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
2418 // CHECK-NEXT:    <key>check_name</key><string>core.NullDereference</string>
2419 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
2420 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>2d25b170621486480ca76aaba4c7a0c0</string>
2421 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
2422 // CHECK-NEXT:   <key>issue_context</key><string>testStoreZero</string>
2423 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>5</string>
2424 // CHECK-NEXT:   <key>location</key>
2425 // CHECK-NEXT:   <dict>
2426 // CHECK-NEXT:    <key>line</key><integer>92</integer>
2427 // CHECK-NEXT:    <key>col</key><integer>6</integer>
2428 // CHECK-NEXT:    <key>file</key><integer>0</integer>
2429 // CHECK-NEXT:   </dict>
2430 // CHECK-NEXT:   </dict>
2431 // CHECK-NEXT:   <dict>
2432 // CHECK-NEXT:    <key>path</key>
2433 // CHECK-NEXT:    <array>
2434 // CHECK-NEXT:     <dict>
2435 // CHECK-NEXT:      <key>kind</key><string>control</string>
2436 // CHECK-NEXT:      <key>edges</key>
2437 // CHECK-NEXT:       <array>
2438 // CHECK-NEXT:        <dict>
2439 // CHECK-NEXT:         <key>start</key>
2440 // CHECK-NEXT:          <array>
2441 // CHECK-NEXT:           <dict>
2442 // CHECK-NEXT:            <key>line</key><integer>103</integer>
2443 // CHECK-NEXT:            <key>col</key><integer>3</integer>
2444 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2445 // CHECK-NEXT:           </dict>
2446 // CHECK-NEXT:           <dict>
2447 // CHECK-NEXT:            <key>line</key><integer>103</integer>
2448 // CHECK-NEXT:            <key>col</key><integer>12</integer>
2449 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2450 // CHECK-NEXT:           </dict>
2451 // CHECK-NEXT:          </array>
2452 // CHECK-NEXT:         <key>end</key>
2453 // CHECK-NEXT:          <array>
2454 // CHECK-NEXT:           <dict>
2455 // CHECK-NEXT:            <key>line</key><integer>103</integer>
2456 // CHECK-NEXT:            <key>col</key><integer>14</integer>
2457 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2458 // CHECK-NEXT:           </dict>
2459 // CHECK-NEXT:           <dict>
2460 // CHECK-NEXT:            <key>line</key><integer>103</integer>
2461 // CHECK-NEXT:            <key>col</key><integer>20</integer>
2462 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2463 // CHECK-NEXT:           </dict>
2464 // CHECK-NEXT:          </array>
2465 // CHECK-NEXT:        </dict>
2466 // CHECK-NEXT:       </array>
2467 // CHECK-NEXT:     </dict>
2468 // CHECK-NEXT:     <dict>
2469 // CHECK-NEXT:      <key>kind</key><string>event</string>
2470 // CHECK-NEXT:      <key>location</key>
2471 // CHECK-NEXT:      <dict>
2472 // CHECK-NEXT:       <key>line</key><integer>103</integer>
2473 // CHECK-NEXT:       <key>col</key><integer>14</integer>
2474 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2475 // CHECK-NEXT:      </dict>
2476 // CHECK-NEXT:      <key>ranges</key>
2477 // CHECK-NEXT:      <array>
2478 // CHECK-NEXT:        <array>
2479 // CHECK-NEXT:         <dict>
2480 // CHECK-NEXT:          <key>line</key><integer>103</integer>
2481 // CHECK-NEXT:          <key>col</key><integer>14</integer>
2482 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2483 // CHECK-NEXT:         </dict>
2484 // CHECK-NEXT:         <dict>
2485 // CHECK-NEXT:          <key>line</key><integer>103</integer>
2486 // CHECK-NEXT:          <key>col</key><integer>22</integer>
2487 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2488 // CHECK-NEXT:         </dict>
2489 // CHECK-NEXT:        </array>
2490 // CHECK-NEXT:      </array>
2491 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
2492 // CHECK-NEXT:      <key>extended_message</key>
2493 // CHECK-NEXT:      <string>Calling &apos;getZero&apos;</string>
2494 // CHECK-NEXT:      <key>message</key>
2495 // CHECK-NEXT:      <string>Calling &apos;getZero&apos;</string>
2496 // CHECK-NEXT:     </dict>
2497 // CHECK-NEXT:     <dict>
2498 // CHECK-NEXT:      <key>kind</key><string>event</string>
2499 // CHECK-NEXT:      <key>location</key>
2500 // CHECK-NEXT:      <dict>
2501 // CHECK-NEXT:       <key>line</key><integer>56</integer>
2502 // CHECK-NEXT:       <key>col</key><integer>1</integer>
2503 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2504 // CHECK-NEXT:      </dict>
2505 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
2506 // CHECK-NEXT:      <key>extended_message</key>
2507 // CHECK-NEXT:      <string>Entered call from &apos;testUseOfNullPointer&apos;</string>
2508 // CHECK-NEXT:      <key>message</key>
2509 // CHECK-NEXT:      <string>Entered call from &apos;testUseOfNullPointer&apos;</string>
2510 // CHECK-NEXT:     </dict>
2511 // CHECK-NEXT:     <dict>
2512 // CHECK-NEXT:      <key>kind</key><string>control</string>
2513 // CHECK-NEXT:      <key>edges</key>
2514 // CHECK-NEXT:       <array>
2515 // CHECK-NEXT:        <dict>
2516 // CHECK-NEXT:         <key>start</key>
2517 // CHECK-NEXT:          <array>
2518 // CHECK-NEXT:           <dict>
2519 // CHECK-NEXT:            <key>line</key><integer>56</integer>
2520 // CHECK-NEXT:            <key>col</key><integer>1</integer>
2521 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2522 // CHECK-NEXT:           </dict>
2523 // CHECK-NEXT:           <dict>
2524 // CHECK-NEXT:            <key>line</key><integer>56</integer>
2525 // CHECK-NEXT:            <key>col</key><integer>3</integer>
2526 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2527 // CHECK-NEXT:           </dict>
2528 // CHECK-NEXT:          </array>
2529 // CHECK-NEXT:         <key>end</key>
2530 // CHECK-NEXT:          <array>
2531 // CHECK-NEXT:           <dict>
2532 // CHECK-NEXT:            <key>line</key><integer>57</integer>
2533 // CHECK-NEXT:            <key>col</key><integer>3</integer>
2534 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2535 // CHECK-NEXT:           </dict>
2536 // CHECK-NEXT:           <dict>
2537 // CHECK-NEXT:            <key>line</key><integer>57</integer>
2538 // CHECK-NEXT:            <key>col</key><integer>5</integer>
2539 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2540 // CHECK-NEXT:           </dict>
2541 // CHECK-NEXT:          </array>
2542 // CHECK-NEXT:        </dict>
2543 // CHECK-NEXT:       </array>
2544 // CHECK-NEXT:     </dict>
2545 // CHECK-NEXT:     <dict>
2546 // CHECK-NEXT:      <key>kind</key><string>event</string>
2547 // CHECK-NEXT:      <key>location</key>
2548 // CHECK-NEXT:      <dict>
2549 // CHECK-NEXT:       <key>line</key><integer>57</integer>
2550 // CHECK-NEXT:       <key>col</key><integer>3</integer>
2551 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2552 // CHECK-NEXT:      </dict>
2553 // CHECK-NEXT:      <key>ranges</key>
2554 // CHECK-NEXT:      <array>
2555 // CHECK-NEXT:        <array>
2556 // CHECK-NEXT:         <dict>
2557 // CHECK-NEXT:          <key>line</key><integer>57</integer>
2558 // CHECK-NEXT:          <key>col</key><integer>3</integer>
2559 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2560 // CHECK-NEXT:         </dict>
2561 // CHECK-NEXT:         <dict>
2562 // CHECK-NEXT:          <key>line</key><integer>57</integer>
2563 // CHECK-NEXT:          <key>col</key><integer>8</integer>
2564 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2565 // CHECK-NEXT:         </dict>
2566 // CHECK-NEXT:        </array>
2567 // CHECK-NEXT:      </array>
2568 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
2569 // CHECK-NEXT:      <key>extended_message</key>
2570 // CHECK-NEXT:      <string>&apos;p&apos; initialized to a null pointer value</string>
2571 // CHECK-NEXT:      <key>message</key>
2572 // CHECK-NEXT:      <string>&apos;p&apos; initialized to a null pointer value</string>
2573 // CHECK-NEXT:     </dict>
2574 // CHECK-NEXT:     <dict>
2575 // CHECK-NEXT:      <key>kind</key><string>control</string>
2576 // CHECK-NEXT:      <key>edges</key>
2577 // CHECK-NEXT:       <array>
2578 // CHECK-NEXT:        <dict>
2579 // CHECK-NEXT:         <key>start</key>
2580 // CHECK-NEXT:          <array>
2581 // CHECK-NEXT:           <dict>
2582 // CHECK-NEXT:            <key>line</key><integer>57</integer>
2583 // CHECK-NEXT:            <key>col</key><integer>3</integer>
2584 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2585 // CHECK-NEXT:           </dict>
2586 // CHECK-NEXT:           <dict>
2587 // CHECK-NEXT:            <key>line</key><integer>57</integer>
2588 // CHECK-NEXT:            <key>col</key><integer>5</integer>
2589 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2590 // CHECK-NEXT:           </dict>
2591 // CHECK-NEXT:          </array>
2592 // CHECK-NEXT:         <key>end</key>
2593 // CHECK-NEXT:          <array>
2594 // CHECK-NEXT:           <dict>
2595 // CHECK-NEXT:            <key>line</key><integer>60</integer>
2596 // CHECK-NEXT:            <key>col</key><integer>3</integer>
2597 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2598 // CHECK-NEXT:           </dict>
2599 // CHECK-NEXT:           <dict>
2600 // CHECK-NEXT:            <key>line</key><integer>60</integer>
2601 // CHECK-NEXT:            <key>col</key><integer>8</integer>
2602 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2603 // CHECK-NEXT:           </dict>
2604 // CHECK-NEXT:          </array>
2605 // CHECK-NEXT:        </dict>
2606 // CHECK-NEXT:       </array>
2607 // CHECK-NEXT:     </dict>
2608 // CHECK-NEXT:     <dict>
2609 // CHECK-NEXT:      <key>kind</key><string>event</string>
2610 // CHECK-NEXT:      <key>location</key>
2611 // CHECK-NEXT:      <dict>
2612 // CHECK-NEXT:       <key>line</key><integer>60</integer>
2613 // CHECK-NEXT:       <key>col</key><integer>3</integer>
2614 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2615 // CHECK-NEXT:      </dict>
2616 // CHECK-NEXT:      <key>ranges</key>
2617 // CHECK-NEXT:      <array>
2618 // CHECK-NEXT:        <array>
2619 // CHECK-NEXT:         <dict>
2620 // CHECK-NEXT:          <key>line</key><integer>60</integer>
2621 // CHECK-NEXT:          <key>col</key><integer>3</integer>
2622 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2623 // CHECK-NEXT:         </dict>
2624 // CHECK-NEXT:         <dict>
2625 // CHECK-NEXT:          <key>line</key><integer>60</integer>
2626 // CHECK-NEXT:          <key>col</key><integer>10</integer>
2627 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2628 // CHECK-NEXT:         </dict>
2629 // CHECK-NEXT:        </array>
2630 // CHECK-NEXT:      </array>
2631 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
2632 // CHECK-NEXT:      <key>extended_message</key>
2633 // CHECK-NEXT:      <string>Returning null pointer (loaded from &apos;p&apos;)</string>
2634 // CHECK-NEXT:      <key>message</key>
2635 // CHECK-NEXT:      <string>Returning null pointer (loaded from &apos;p&apos;)</string>
2636 // CHECK-NEXT:     </dict>
2637 // CHECK-NEXT:     <dict>
2638 // CHECK-NEXT:      <key>kind</key><string>event</string>
2639 // CHECK-NEXT:      <key>location</key>
2640 // CHECK-NEXT:      <dict>
2641 // CHECK-NEXT:       <key>line</key><integer>103</integer>
2642 // CHECK-NEXT:       <key>col</key><integer>14</integer>
2643 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2644 // CHECK-NEXT:      </dict>
2645 // CHECK-NEXT:      <key>ranges</key>
2646 // CHECK-NEXT:      <array>
2647 // CHECK-NEXT:        <array>
2648 // CHECK-NEXT:         <dict>
2649 // CHECK-NEXT:          <key>line</key><integer>103</integer>
2650 // CHECK-NEXT:          <key>col</key><integer>14</integer>
2651 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2652 // CHECK-NEXT:         </dict>
2653 // CHECK-NEXT:         <dict>
2654 // CHECK-NEXT:          <key>line</key><integer>103</integer>
2655 // CHECK-NEXT:          <key>col</key><integer>22</integer>
2656 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2657 // CHECK-NEXT:         </dict>
2658 // CHECK-NEXT:        </array>
2659 // CHECK-NEXT:      </array>
2660 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
2661 // CHECK-NEXT:      <key>extended_message</key>
2662 // CHECK-NEXT:      <string>Returning from &apos;getZero&apos;</string>
2663 // CHECK-NEXT:      <key>message</key>
2664 // CHECK-NEXT:      <string>Returning from &apos;getZero&apos;</string>
2665 // CHECK-NEXT:     </dict>
2666 // CHECK-NEXT:     <dict>
2667 // CHECK-NEXT:      <key>kind</key><string>event</string>
2668 // CHECK-NEXT:      <key>location</key>
2669 // CHECK-NEXT:      <dict>
2670 // CHECK-NEXT:       <key>line</key><integer>103</integer>
2671 // CHECK-NEXT:       <key>col</key><integer>14</integer>
2672 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2673 // CHECK-NEXT:      </dict>
2674 // CHECK-NEXT:      <key>ranges</key>
2675 // CHECK-NEXT:      <array>
2676 // CHECK-NEXT:        <array>
2677 // CHECK-NEXT:         <dict>
2678 // CHECK-NEXT:          <key>line</key><integer>103</integer>
2679 // CHECK-NEXT:          <key>col</key><integer>14</integer>
2680 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2681 // CHECK-NEXT:         </dict>
2682 // CHECK-NEXT:         <dict>
2683 // CHECK-NEXT:          <key>line</key><integer>103</integer>
2684 // CHECK-NEXT:          <key>col</key><integer>22</integer>
2685 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2686 // CHECK-NEXT:         </dict>
2687 // CHECK-NEXT:        </array>
2688 // CHECK-NEXT:      </array>
2689 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
2690 // CHECK-NEXT:      <key>extended_message</key>
2691 // CHECK-NEXT:      <string>Passing null pointer value via 1st parameter &apos;p&apos;</string>
2692 // CHECK-NEXT:      <key>message</key>
2693 // CHECK-NEXT:      <string>Passing null pointer value via 1st parameter &apos;p&apos;</string>
2694 // CHECK-NEXT:     </dict>
2695 // CHECK-NEXT:     <dict>
2696 // CHECK-NEXT:      <key>kind</key><string>event</string>
2697 // CHECK-NEXT:      <key>location</key>
2698 // CHECK-NEXT:      <dict>
2699 // CHECK-NEXT:       <key>line</key><integer>103</integer>
2700 // CHECK-NEXT:       <key>col</key><integer>3</integer>
2701 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2702 // CHECK-NEXT:      </dict>
2703 // CHECK-NEXT:      <key>ranges</key>
2704 // CHECK-NEXT:      <array>
2705 // CHECK-NEXT:        <array>
2706 // CHECK-NEXT:         <dict>
2707 // CHECK-NEXT:          <key>line</key><integer>103</integer>
2708 // CHECK-NEXT:          <key>col</key><integer>3</integer>
2709 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2710 // CHECK-NEXT:         </dict>
2711 // CHECK-NEXT:         <dict>
2712 // CHECK-NEXT:          <key>line</key><integer>103</integer>
2713 // CHECK-NEXT:          <key>col</key><integer>23</integer>
2714 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2715 // CHECK-NEXT:         </dict>
2716 // CHECK-NEXT:        </array>
2717 // CHECK-NEXT:      </array>
2718 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
2719 // CHECK-NEXT:      <key>extended_message</key>
2720 // CHECK-NEXT:      <string>Calling &apos;usePointer&apos;</string>
2721 // CHECK-NEXT:      <key>message</key>
2722 // CHECK-NEXT:      <string>Calling &apos;usePointer&apos;</string>
2723 // CHECK-NEXT:     </dict>
2724 // CHECK-NEXT:     <dict>
2725 // CHECK-NEXT:      <key>kind</key><string>event</string>
2726 // CHECK-NEXT:      <key>location</key>
2727 // CHECK-NEXT:      <dict>
2728 // CHECK-NEXT:       <key>line</key><integer>96</integer>
2729 // CHECK-NEXT:       <key>col</key><integer>1</integer>
2730 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2731 // CHECK-NEXT:      </dict>
2732 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
2733 // CHECK-NEXT:      <key>extended_message</key>
2734 // CHECK-NEXT:      <string>Entered call from &apos;testUseOfNullPointer&apos;</string>
2735 // CHECK-NEXT:      <key>message</key>
2736 // CHECK-NEXT:      <string>Entered call from &apos;testUseOfNullPointer&apos;</string>
2737 // CHECK-NEXT:     </dict>
2738 // CHECK-NEXT:     <dict>
2739 // CHECK-NEXT:      <key>kind</key><string>control</string>
2740 // CHECK-NEXT:      <key>edges</key>
2741 // CHECK-NEXT:       <array>
2742 // CHECK-NEXT:        <dict>
2743 // CHECK-NEXT:         <key>start</key>
2744 // CHECK-NEXT:          <array>
2745 // CHECK-NEXT:           <dict>
2746 // CHECK-NEXT:            <key>line</key><integer>96</integer>
2747 // CHECK-NEXT:            <key>col</key><integer>1</integer>
2748 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2749 // CHECK-NEXT:           </dict>
2750 // CHECK-NEXT:           <dict>
2751 // CHECK-NEXT:            <key>line</key><integer>96</integer>
2752 // CHECK-NEXT:            <key>col</key><integer>4</integer>
2753 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2754 // CHECK-NEXT:           </dict>
2755 // CHECK-NEXT:          </array>
2756 // CHECK-NEXT:         <key>end</key>
2757 // CHECK-NEXT:          <array>
2758 // CHECK-NEXT:           <dict>
2759 // CHECK-NEXT:            <key>line</key><integer>97</integer>
2760 // CHECK-NEXT:            <key>col</key><integer>3</integer>
2761 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2762 // CHECK-NEXT:           </dict>
2763 // CHECK-NEXT:           <dict>
2764 // CHECK-NEXT:            <key>line</key><integer>97</integer>
2765 // CHECK-NEXT:            <key>col</key><integer>3</integer>
2766 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2767 // CHECK-NEXT:           </dict>
2768 // CHECK-NEXT:          </array>
2769 // CHECK-NEXT:        </dict>
2770 // CHECK-NEXT:       </array>
2771 // CHECK-NEXT:     </dict>
2772 // CHECK-NEXT:     <dict>
2773 // CHECK-NEXT:      <key>kind</key><string>control</string>
2774 // CHECK-NEXT:      <key>edges</key>
2775 // CHECK-NEXT:       <array>
2776 // CHECK-NEXT:        <dict>
2777 // CHECK-NEXT:         <key>start</key>
2778 // CHECK-NEXT:          <array>
2779 // CHECK-NEXT:           <dict>
2780 // CHECK-NEXT:            <key>line</key><integer>97</integer>
2781 // CHECK-NEXT:            <key>col</key><integer>3</integer>
2782 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2783 // CHECK-NEXT:           </dict>
2784 // CHECK-NEXT:           <dict>
2785 // CHECK-NEXT:            <key>line</key><integer>97</integer>
2786 // CHECK-NEXT:            <key>col</key><integer>3</integer>
2787 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2788 // CHECK-NEXT:           </dict>
2789 // CHECK-NEXT:          </array>
2790 // CHECK-NEXT:         <key>end</key>
2791 // CHECK-NEXT:          <array>
2792 // CHECK-NEXT:           <dict>
2793 // CHECK-NEXT:            <key>line</key><integer>97</integer>
2794 // CHECK-NEXT:            <key>col</key><integer>6</integer>
2795 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2796 // CHECK-NEXT:           </dict>
2797 // CHECK-NEXT:           <dict>
2798 // CHECK-NEXT:            <key>line</key><integer>97</integer>
2799 // CHECK-NEXT:            <key>col</key><integer>6</integer>
2800 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2801 // CHECK-NEXT:           </dict>
2802 // CHECK-NEXT:          </array>
2803 // CHECK-NEXT:        </dict>
2804 // CHECK-NEXT:       </array>
2805 // CHECK-NEXT:     </dict>
2806 // CHECK-NEXT:     <dict>
2807 // CHECK-NEXT:      <key>kind</key><string>event</string>
2808 // CHECK-NEXT:      <key>location</key>
2809 // CHECK-NEXT:      <dict>
2810 // CHECK-NEXT:       <key>line</key><integer>97</integer>
2811 // CHECK-NEXT:       <key>col</key><integer>6</integer>
2812 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2813 // CHECK-NEXT:      </dict>
2814 // CHECK-NEXT:      <key>ranges</key>
2815 // CHECK-NEXT:      <array>
2816 // CHECK-NEXT:        <array>
2817 // CHECK-NEXT:         <dict>
2818 // CHECK-NEXT:          <key>line</key><integer>97</integer>
2819 // CHECK-NEXT:          <key>col</key><integer>4</integer>
2820 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2821 // CHECK-NEXT:         </dict>
2822 // CHECK-NEXT:         <dict>
2823 // CHECK-NEXT:          <key>line</key><integer>97</integer>
2824 // CHECK-NEXT:          <key>col</key><integer>4</integer>
2825 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2826 // CHECK-NEXT:         </dict>
2827 // CHECK-NEXT:        </array>
2828 // CHECK-NEXT:      </array>
2829 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
2830 // CHECK-NEXT:      <key>extended_message</key>
2831 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
2832 // CHECK-NEXT:      <key>message</key>
2833 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
2834 // CHECK-NEXT:     </dict>
2835 // CHECK-NEXT:    </array>
2836 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
2837 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
2838 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
2839 // CHECK-NEXT:    <key>check_name</key><string>core.NullDereference</string>
2840 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
2841 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>567151df0ae29b0f0e1a412114d544dc</string>
2842 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
2843 // CHECK-NEXT:   <key>issue_context</key><string>usePointer</string>
2844 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>1</string>
2845 // CHECK-NEXT:   <key>location</key>
2846 // CHECK-NEXT:   <dict>
2847 // CHECK-NEXT:    <key>line</key><integer>97</integer>
2848 // CHECK-NEXT:    <key>col</key><integer>6</integer>
2849 // CHECK-NEXT:    <key>file</key><integer>0</integer>
2850 // CHECK-NEXT:   </dict>
2851 // CHECK-NEXT:   </dict>
2852 // CHECK-NEXT:   <dict>
2853 // CHECK-NEXT:    <key>path</key>
2854 // CHECK-NEXT:    <array>
2855 // CHECK-NEXT:     <dict>
2856 // CHECK-NEXT:      <key>kind</key><string>event</string>
2857 // CHECK-NEXT:      <key>location</key>
2858 // CHECK-NEXT:      <dict>
2859 // CHECK-NEXT:       <key>line</key><integer>117</integer>
2860 // CHECK-NEXT:       <key>col</key><integer>3</integer>
2861 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2862 // CHECK-NEXT:      </dict>
2863 // CHECK-NEXT:      <key>ranges</key>
2864 // CHECK-NEXT:      <array>
2865 // CHECK-NEXT:        <array>
2866 // CHECK-NEXT:         <dict>
2867 // CHECK-NEXT:          <key>line</key><integer>117</integer>
2868 // CHECK-NEXT:          <key>col</key><integer>3</integer>
2869 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2870 // CHECK-NEXT:         </dict>
2871 // CHECK-NEXT:         <dict>
2872 // CHECK-NEXT:          <key>line</key><integer>117</integer>
2873 // CHECK-NEXT:          <key>col</key><integer>19</integer>
2874 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2875 // CHECK-NEXT:         </dict>
2876 // CHECK-NEXT:        </array>
2877 // CHECK-NEXT:      </array>
2878 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
2879 // CHECK-NEXT:      <key>extended_message</key>
2880 // CHECK-NEXT:      <string>Calling &apos;setFieldToNull&apos;</string>
2881 // CHECK-NEXT:      <key>message</key>
2882 // CHECK-NEXT:      <string>Calling &apos;setFieldToNull&apos;</string>
2883 // CHECK-NEXT:     </dict>
2884 // CHECK-NEXT:     <dict>
2885 // CHECK-NEXT:      <key>kind</key><string>event</string>
2886 // CHECK-NEXT:      <key>location</key>
2887 // CHECK-NEXT:      <dict>
2888 // CHECK-NEXT:       <key>line</key><integer>112</integer>
2889 // CHECK-NEXT:       <key>col</key><integer>1</integer>
2890 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2891 // CHECK-NEXT:      </dict>
2892 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
2893 // CHECK-NEXT:      <key>extended_message</key>
2894 // CHECK-NEXT:      <string>Entered call from &apos;testSetFieldToNull&apos;</string>
2895 // CHECK-NEXT:      <key>message</key>
2896 // CHECK-NEXT:      <string>Entered call from &apos;testSetFieldToNull&apos;</string>
2897 // CHECK-NEXT:     </dict>
2898 // CHECK-NEXT:     <dict>
2899 // CHECK-NEXT:      <key>kind</key><string>control</string>
2900 // CHECK-NEXT:      <key>edges</key>
2901 // CHECK-NEXT:       <array>
2902 // CHECK-NEXT:        <dict>
2903 // CHECK-NEXT:         <key>start</key>
2904 // CHECK-NEXT:          <array>
2905 // CHECK-NEXT:           <dict>
2906 // CHECK-NEXT:            <key>line</key><integer>112</integer>
2907 // CHECK-NEXT:            <key>col</key><integer>1</integer>
2908 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2909 // CHECK-NEXT:           </dict>
2910 // CHECK-NEXT:           <dict>
2911 // CHECK-NEXT:            <key>line</key><integer>112</integer>
2912 // CHECK-NEXT:            <key>col</key><integer>4</integer>
2913 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2914 // CHECK-NEXT:           </dict>
2915 // CHECK-NEXT:          </array>
2916 // CHECK-NEXT:         <key>end</key>
2917 // CHECK-NEXT:          <array>
2918 // CHECK-NEXT:           <dict>
2919 // CHECK-NEXT:            <key>line</key><integer>113</integer>
2920 // CHECK-NEXT:            <key>col</key><integer>2</integer>
2921 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2922 // CHECK-NEXT:           </dict>
2923 // CHECK-NEXT:           <dict>
2924 // CHECK-NEXT:            <key>line</key><integer>113</integer>
2925 // CHECK-NEXT:            <key>col</key><integer>2</integer>
2926 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2927 // CHECK-NEXT:           </dict>
2928 // CHECK-NEXT:          </array>
2929 // CHECK-NEXT:        </dict>
2930 // CHECK-NEXT:       </array>
2931 // CHECK-NEXT:     </dict>
2932 // CHECK-NEXT:     <dict>
2933 // CHECK-NEXT:      <key>kind</key><string>event</string>
2934 // CHECK-NEXT:      <key>location</key>
2935 // CHECK-NEXT:      <dict>
2936 // CHECK-NEXT:       <key>line</key><integer>113</integer>
2937 // CHECK-NEXT:       <key>col</key><integer>2</integer>
2938 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2939 // CHECK-NEXT:      </dict>
2940 // CHECK-NEXT:      <key>ranges</key>
2941 // CHECK-NEXT:      <array>
2942 // CHECK-NEXT:        <array>
2943 // CHECK-NEXT:         <dict>
2944 // CHECK-NEXT:          <key>line</key><integer>113</integer>
2945 // CHECK-NEXT:          <key>col</key><integer>2</integer>
2946 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2947 // CHECK-NEXT:         </dict>
2948 // CHECK-NEXT:         <dict>
2949 // CHECK-NEXT:          <key>line</key><integer>113</integer>
2950 // CHECK-NEXT:          <key>col</key><integer>9</integer>
2951 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2952 // CHECK-NEXT:         </dict>
2953 // CHECK-NEXT:        </array>
2954 // CHECK-NEXT:      </array>
2955 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
2956 // CHECK-NEXT:      <key>extended_message</key>
2957 // CHECK-NEXT:      <string>Null pointer value stored to field &apos;p&apos;</string>
2958 // CHECK-NEXT:      <key>message</key>
2959 // CHECK-NEXT:      <string>Null pointer value stored to field &apos;p&apos;</string>
2960 // CHECK-NEXT:     </dict>
2961 // CHECK-NEXT:     <dict>
2962 // CHECK-NEXT:      <key>kind</key><string>event</string>
2963 // CHECK-NEXT:      <key>location</key>
2964 // CHECK-NEXT:      <dict>
2965 // CHECK-NEXT:       <key>line</key><integer>117</integer>
2966 // CHECK-NEXT:       <key>col</key><integer>3</integer>
2967 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2968 // CHECK-NEXT:      </dict>
2969 // CHECK-NEXT:      <key>ranges</key>
2970 // CHECK-NEXT:      <array>
2971 // CHECK-NEXT:        <array>
2972 // CHECK-NEXT:         <dict>
2973 // CHECK-NEXT:          <key>line</key><integer>117</integer>
2974 // CHECK-NEXT:          <key>col</key><integer>3</integer>
2975 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2976 // CHECK-NEXT:         </dict>
2977 // CHECK-NEXT:         <dict>
2978 // CHECK-NEXT:          <key>line</key><integer>117</integer>
2979 // CHECK-NEXT:          <key>col</key><integer>19</integer>
2980 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2981 // CHECK-NEXT:         </dict>
2982 // CHECK-NEXT:        </array>
2983 // CHECK-NEXT:      </array>
2984 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
2985 // CHECK-NEXT:      <key>extended_message</key>
2986 // CHECK-NEXT:      <string>Returning from &apos;setFieldToNull&apos;</string>
2987 // CHECK-NEXT:      <key>message</key>
2988 // CHECK-NEXT:      <string>Returning from &apos;setFieldToNull&apos;</string>
2989 // CHECK-NEXT:     </dict>
2990 // CHECK-NEXT:     <dict>
2991 // CHECK-NEXT:      <key>kind</key><string>control</string>
2992 // CHECK-NEXT:      <key>edges</key>
2993 // CHECK-NEXT:       <array>
2994 // CHECK-NEXT:        <dict>
2995 // CHECK-NEXT:         <key>start</key>
2996 // CHECK-NEXT:          <array>
2997 // CHECK-NEXT:           <dict>
2998 // CHECK-NEXT:            <key>line</key><integer>117</integer>
2999 // CHECK-NEXT:            <key>col</key><integer>3</integer>
3000 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3001 // CHECK-NEXT:           </dict>
3002 // CHECK-NEXT:           <dict>
3003 // CHECK-NEXT:            <key>line</key><integer>117</integer>
3004 // CHECK-NEXT:            <key>col</key><integer>16</integer>
3005 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3006 // CHECK-NEXT:           </dict>
3007 // CHECK-NEXT:          </array>
3008 // CHECK-NEXT:         <key>end</key>
3009 // CHECK-NEXT:          <array>
3010 // CHECK-NEXT:           <dict>
3011 // CHECK-NEXT:            <key>line</key><integer>119</integer>
3012 // CHECK-NEXT:            <key>col</key><integer>3</integer>
3013 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3014 // CHECK-NEXT:           </dict>
3015 // CHECK-NEXT:           <dict>
3016 // CHECK-NEXT:            <key>line</key><integer>119</integer>
3017 // CHECK-NEXT:            <key>col</key><integer>8</integer>
3018 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3019 // CHECK-NEXT:           </dict>
3020 // CHECK-NEXT:          </array>
3021 // CHECK-NEXT:        </dict>
3022 // CHECK-NEXT:       </array>
3023 // CHECK-NEXT:     </dict>
3024 // CHECK-NEXT:     <dict>
3025 // CHECK-NEXT:      <key>kind</key><string>control</string>
3026 // CHECK-NEXT:      <key>edges</key>
3027 // CHECK-NEXT:       <array>
3028 // CHECK-NEXT:        <dict>
3029 // CHECK-NEXT:         <key>start</key>
3030 // CHECK-NEXT:          <array>
3031 // CHECK-NEXT:           <dict>
3032 // CHECK-NEXT:            <key>line</key><integer>119</integer>
3033 // CHECK-NEXT:            <key>col</key><integer>3</integer>
3034 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3035 // CHECK-NEXT:           </dict>
3036 // CHECK-NEXT:           <dict>
3037 // CHECK-NEXT:            <key>line</key><integer>119</integer>
3038 // CHECK-NEXT:            <key>col</key><integer>8</integer>
3039 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3040 // CHECK-NEXT:           </dict>
3041 // CHECK-NEXT:          </array>
3042 // CHECK-NEXT:         <key>end</key>
3043 // CHECK-NEXT:          <array>
3044 // CHECK-NEXT:           <dict>
3045 // CHECK-NEXT:            <key>line</key><integer>119</integer>
3046 // CHECK-NEXT:            <key>col</key><integer>10</integer>
3047 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3048 // CHECK-NEXT:           </dict>
3049 // CHECK-NEXT:           <dict>
3050 // CHECK-NEXT:            <key>line</key><integer>119</integer>
3051 // CHECK-NEXT:            <key>col</key><integer>10</integer>
3052 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3053 // CHECK-NEXT:           </dict>
3054 // CHECK-NEXT:          </array>
3055 // CHECK-NEXT:        </dict>
3056 // CHECK-NEXT:       </array>
3057 // CHECK-NEXT:     </dict>
3058 // CHECK-NEXT:     <dict>
3059 // CHECK-NEXT:      <key>kind</key><string>event</string>
3060 // CHECK-NEXT:      <key>location</key>
3061 // CHECK-NEXT:      <dict>
3062 // CHECK-NEXT:       <key>line</key><integer>119</integer>
3063 // CHECK-NEXT:       <key>col</key><integer>10</integer>
3064 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3065 // CHECK-NEXT:      </dict>
3066 // CHECK-NEXT:      <key>ranges</key>
3067 // CHECK-NEXT:      <array>
3068 // CHECK-NEXT:        <array>
3069 // CHECK-NEXT:         <dict>
3070 // CHECK-NEXT:          <key>line</key><integer>119</integer>
3071 // CHECK-NEXT:          <key>col</key><integer>14</integer>
3072 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3073 // CHECK-NEXT:         </dict>
3074 // CHECK-NEXT:         <dict>
3075 // CHECK-NEXT:          <key>line</key><integer>119</integer>
3076 // CHECK-NEXT:          <key>col</key><integer>14</integer>
3077 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3078 // CHECK-NEXT:         </dict>
3079 // CHECK-NEXT:        </array>
3080 // CHECK-NEXT:      </array>
3081 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
3082 // CHECK-NEXT:      <key>extended_message</key>
3083 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from field &apos;p&apos;)</string>
3084 // CHECK-NEXT:      <key>message</key>
3085 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from field &apos;p&apos;)</string>
3086 // CHECK-NEXT:     </dict>
3087 // CHECK-NEXT:    </array>
3088 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from field &apos;p&apos;)</string>
3089 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
3090 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
3091 // CHECK-NEXT:    <key>check_name</key><string>core.NullDereference</string>
3092 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
3093 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>7849ab11af99aee1e3603a24ae95cdfd</string>
3094 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
3095 // CHECK-NEXT:   <key>issue_context</key><string>testSetFieldToNull</string>
3096 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>3</string>
3097 // CHECK-NEXT:   <key>location</key>
3098 // CHECK-NEXT:   <dict>
3099 // CHECK-NEXT:    <key>line</key><integer>119</integer>
3100 // CHECK-NEXT:    <key>col</key><integer>10</integer>
3101 // CHECK-NEXT:    <key>file</key><integer>0</integer>
3102 // CHECK-NEXT:   </dict>
3103 // CHECK-NEXT:   </dict>
3104 // CHECK-NEXT:   <dict>
3105 // CHECK-NEXT:    <key>path</key>
3106 // CHECK-NEXT:    <array>
3107 // CHECK-NEXT:     <dict>
3108 // CHECK-NEXT:      <key>kind</key><string>event</string>
3109 // CHECK-NEXT:      <key>location</key>
3110 // CHECK-NEXT:      <dict>
3111 // CHECK-NEXT:       <key>line</key><integer>131</integer>
3112 // CHECK-NEXT:       <key>col</key><integer>3</integer>
3113 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3114 // CHECK-NEXT:      </dict>
3115 // CHECK-NEXT:      <key>ranges</key>
3116 // CHECK-NEXT:      <array>
3117 // CHECK-NEXT:        <array>
3118 // CHECK-NEXT:         <dict>
3119 // CHECK-NEXT:          <key>line</key><integer>131</integer>
3120 // CHECK-NEXT:          <key>col</key><integer>3</integer>
3121 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3122 // CHECK-NEXT:         </dict>
3123 // CHECK-NEXT:         <dict>
3124 // CHECK-NEXT:          <key>line</key><integer>131</integer>
3125 // CHECK-NEXT:          <key>col</key><integer>25</integer>
3126 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3127 // CHECK-NEXT:         </dict>
3128 // CHECK-NEXT:        </array>
3129 // CHECK-NEXT:      </array>
3130 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
3131 // CHECK-NEXT:      <key>extended_message</key>
3132 // CHECK-NEXT:      <string>Null pointer value stored to field &apos;p&apos;</string>
3133 // CHECK-NEXT:      <key>message</key>
3134 // CHECK-NEXT:      <string>Null pointer value stored to field &apos;p&apos;</string>
3135 // CHECK-NEXT:     </dict>
3136 // CHECK-NEXT:     <dict>
3137 // CHECK-NEXT:      <key>kind</key><string>control</string>
3138 // CHECK-NEXT:      <key>edges</key>
3139 // CHECK-NEXT:       <array>
3140 // CHECK-NEXT:        <dict>
3141 // CHECK-NEXT:         <key>start</key>
3142 // CHECK-NEXT:          <array>
3143 // CHECK-NEXT:           <dict>
3144 // CHECK-NEXT:            <key>line</key><integer>131</integer>
3145 // CHECK-NEXT:            <key>col</key><integer>3</integer>
3146 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3147 // CHECK-NEXT:           </dict>
3148 // CHECK-NEXT:           <dict>
3149 // CHECK-NEXT:            <key>line</key><integer>131</integer>
3150 // CHECK-NEXT:            <key>col</key><integer>12</integer>
3151 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3152 // CHECK-NEXT:           </dict>
3153 // CHECK-NEXT:          </array>
3154 // CHECK-NEXT:         <key>end</key>
3155 // CHECK-NEXT:          <array>
3156 // CHECK-NEXT:           <dict>
3157 // CHECK-NEXT:            <key>line</key><integer>132</integer>
3158 // CHECK-NEXT:            <key>col</key><integer>24</integer>
3159 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3160 // CHECK-NEXT:           </dict>
3161 // CHECK-NEXT:           <dict>
3162 // CHECK-NEXT:            <key>line</key><integer>132</integer>
3163 // CHECK-NEXT:            <key>col</key><integer>24</integer>
3164 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3165 // CHECK-NEXT:           </dict>
3166 // CHECK-NEXT:          </array>
3167 // CHECK-NEXT:        </dict>
3168 // CHECK-NEXT:       </array>
3169 // CHECK-NEXT:     </dict>
3170 // CHECK-NEXT:     <dict>
3171 // CHECK-NEXT:      <key>kind</key><string>event</string>
3172 // CHECK-NEXT:      <key>location</key>
3173 // CHECK-NEXT:      <dict>
3174 // CHECK-NEXT:       <key>line</key><integer>132</integer>
3175 // CHECK-NEXT:       <key>col</key><integer>24</integer>
3176 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3177 // CHECK-NEXT:      </dict>
3178 // CHECK-NEXT:      <key>ranges</key>
3179 // CHECK-NEXT:      <array>
3180 // CHECK-NEXT:        <array>
3181 // CHECK-NEXT:         <dict>
3182 // CHECK-NEXT:          <key>line</key><integer>132</integer>
3183 // CHECK-NEXT:          <key>col</key><integer>22</integer>
3184 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3185 // CHECK-NEXT:         </dict>
3186 // CHECK-NEXT:         <dict>
3187 // CHECK-NEXT:          <key>line</key><integer>132</integer>
3188 // CHECK-NEXT:          <key>col</key><integer>22</integer>
3189 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3190 // CHECK-NEXT:         </dict>
3191 // CHECK-NEXT:        </array>
3192 // CHECK-NEXT:      </array>
3193 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
3194 // CHECK-NEXT:      <key>extended_message</key>
3195 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from field &apos;p&apos;)</string>
3196 // CHECK-NEXT:      <key>message</key>
3197 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from field &apos;p&apos;)</string>
3198 // CHECK-NEXT:     </dict>
3199 // CHECK-NEXT:    </array>
3200 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from field &apos;p&apos;)</string>
3201 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
3202 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
3203 // CHECK-NEXT:    <key>check_name</key><string>core.NullDereference</string>
3204 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
3205 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>3ccb5e7e2cc82aba5c28a1cc873c83a1</string>
3206 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
3207 // CHECK-NEXT:   <key>issue_context</key><string>test</string>
3208 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>2</string>
3209 // CHECK-NEXT:   <key>location</key>
3210 // CHECK-NEXT:   <dict>
3211 // CHECK-NEXT:    <key>line</key><integer>132</integer>
3212 // CHECK-NEXT:    <key>col</key><integer>24</integer>
3213 // CHECK-NEXT:    <key>file</key><integer>0</integer>
3214 // CHECK-NEXT:   </dict>
3215 // CHECK-NEXT:   </dict>
3216 // CHECK-NEXT:   <dict>
3217 // CHECK-NEXT:    <key>path</key>
3218 // CHECK-NEXT:    <array>
3219 // CHECK-NEXT:     <dict>
3220 // CHECK-NEXT:      <key>kind</key><string>control</string>
3221 // CHECK-NEXT:      <key>edges</key>
3222 // CHECK-NEXT:       <array>
3223 // CHECK-NEXT:        <dict>
3224 // CHECK-NEXT:         <key>start</key>
3225 // CHECK-NEXT:          <array>
3226 // CHECK-NEXT:           <dict>
3227 // CHECK-NEXT:            <key>line</key><integer>137</integer>
3228 // CHECK-NEXT:            <key>col</key><integer>3</integer>
3229 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3230 // CHECK-NEXT:           </dict>
3231 // CHECK-NEXT:           <dict>
3232 // CHECK-NEXT:            <key>line</key><integer>137</integer>
3233 // CHECK-NEXT:            <key>col</key><integer>4</integer>
3234 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3235 // CHECK-NEXT:           </dict>
3236 // CHECK-NEXT:          </array>
3237 // CHECK-NEXT:         <key>end</key>
3238 // CHECK-NEXT:          <array>
3239 // CHECK-NEXT:           <dict>
3240 // CHECK-NEXT:            <key>line</key><integer>137</integer>
3241 // CHECK-NEXT:            <key>col</key><integer>7</integer>
3242 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3243 // CHECK-NEXT:           </dict>
3244 // CHECK-NEXT:           <dict>
3245 // CHECK-NEXT:            <key>line</key><integer>137</integer>
3246 // CHECK-NEXT:            <key>col</key><integer>7</integer>
3247 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3248 // CHECK-NEXT:           </dict>
3249 // CHECK-NEXT:          </array>
3250 // CHECK-NEXT:        </dict>
3251 // CHECK-NEXT:       </array>
3252 // CHECK-NEXT:     </dict>
3253 // CHECK-NEXT:     <dict>
3254 // CHECK-NEXT:      <key>kind</key><string>event</string>
3255 // CHECK-NEXT:      <key>location</key>
3256 // CHECK-NEXT:      <dict>
3257 // CHECK-NEXT:       <key>line</key><integer>137</integer>
3258 // CHECK-NEXT:       <key>col</key><integer>7</integer>
3259 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3260 // CHECK-NEXT:      </dict>
3261 // CHECK-NEXT:      <key>ranges</key>
3262 // CHECK-NEXT:      <array>
3263 // CHECK-NEXT:        <array>
3264 // CHECK-NEXT:         <dict>
3265 // CHECK-NEXT:          <key>line</key><integer>137</integer>
3266 // CHECK-NEXT:          <key>col</key><integer>7</integer>
3267 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3268 // CHECK-NEXT:         </dict>
3269 // CHECK-NEXT:         <dict>
3270 // CHECK-NEXT:          <key>line</key><integer>137</integer>
3271 // CHECK-NEXT:          <key>col</key><integer>8</integer>
3272 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3273 // CHECK-NEXT:         </dict>
3274 // CHECK-NEXT:        </array>
3275 // CHECK-NEXT:      </array>
3276 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
3277 // CHECK-NEXT:      <key>extended_message</key>
3278 // CHECK-NEXT:      <string>Assuming pointer value is null</string>
3279 // CHECK-NEXT:      <key>message</key>
3280 // CHECK-NEXT:      <string>Assuming pointer value is null</string>
3281 // CHECK-NEXT:     </dict>
3282 // CHECK-NEXT:     <dict>
3283 // CHECK-NEXT:      <key>kind</key><string>control</string>
3284 // CHECK-NEXT:      <key>edges</key>
3285 // CHECK-NEXT:       <array>
3286 // CHECK-NEXT:        <dict>
3287 // CHECK-NEXT:         <key>start</key>
3288 // CHECK-NEXT:          <array>
3289 // CHECK-NEXT:           <dict>
3290 // CHECK-NEXT:            <key>line</key><integer>137</integer>
3291 // CHECK-NEXT:            <key>col</key><integer>7</integer>
3292 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3293 // CHECK-NEXT:           </dict>
3294 // CHECK-NEXT:           <dict>
3295 // CHECK-NEXT:            <key>line</key><integer>137</integer>
3296 // CHECK-NEXT:            <key>col</key><integer>7</integer>
3297 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3298 // CHECK-NEXT:           </dict>
3299 // CHECK-NEXT:          </array>
3300 // CHECK-NEXT:         <key>end</key>
3301 // CHECK-NEXT:          <array>
3302 // CHECK-NEXT:           <dict>
3303 // CHECK-NEXT:            <key>line</key><integer>139</integer>
3304 // CHECK-NEXT:            <key>col</key><integer>3</integer>
3305 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3306 // CHECK-NEXT:           </dict>
3307 // CHECK-NEXT:           <dict>
3308 // CHECK-NEXT:            <key>line</key><integer>139</integer>
3309 // CHECK-NEXT:            <key>col</key><integer>3</integer>
3310 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3311 // CHECK-NEXT:           </dict>
3312 // CHECK-NEXT:          </array>
3313 // CHECK-NEXT:        </dict>
3314 // CHECK-NEXT:       </array>
3315 // CHECK-NEXT:     </dict>
3316 // CHECK-NEXT:     <dict>
3317 // CHECK-NEXT:      <key>kind</key><string>control</string>
3318 // CHECK-NEXT:      <key>edges</key>
3319 // CHECK-NEXT:       <array>
3320 // CHECK-NEXT:        <dict>
3321 // CHECK-NEXT:         <key>start</key>
3322 // CHECK-NEXT:          <array>
3323 // CHECK-NEXT:           <dict>
3324 // CHECK-NEXT:            <key>line</key><integer>139</integer>
3325 // CHECK-NEXT:            <key>col</key><integer>3</integer>
3326 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3327 // CHECK-NEXT:           </dict>
3328 // CHECK-NEXT:           <dict>
3329 // CHECK-NEXT:            <key>line</key><integer>139</integer>
3330 // CHECK-NEXT:            <key>col</key><integer>3</integer>
3331 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3332 // CHECK-NEXT:           </dict>
3333 // CHECK-NEXT:          </array>
3334 // CHECK-NEXT:         <key>end</key>
3335 // CHECK-NEXT:          <array>
3336 // CHECK-NEXT:           <dict>
3337 // CHECK-NEXT:            <key>line</key><integer>139</integer>
3338 // CHECK-NEXT:            <key>col</key><integer>7</integer>
3339 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3340 // CHECK-NEXT:           </dict>
3341 // CHECK-NEXT:           <dict>
3342 // CHECK-NEXT:            <key>line</key><integer>139</integer>
3343 // CHECK-NEXT:            <key>col</key><integer>7</integer>
3344 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3345 // CHECK-NEXT:           </dict>
3346 // CHECK-NEXT:          </array>
3347 // CHECK-NEXT:        </dict>
3348 // CHECK-NEXT:       </array>
3349 // CHECK-NEXT:     </dict>
3350 // CHECK-NEXT:     <dict>
3351 // CHECK-NEXT:      <key>kind</key><string>event</string>
3352 // CHECK-NEXT:      <key>location</key>
3353 // CHECK-NEXT:      <dict>
3354 // CHECK-NEXT:       <key>line</key><integer>139</integer>
3355 // CHECK-NEXT:       <key>col</key><integer>7</integer>
3356 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3357 // CHECK-NEXT:      </dict>
3358 // CHECK-NEXT:      <key>ranges</key>
3359 // CHECK-NEXT:      <array>
3360 // CHECK-NEXT:        <array>
3361 // CHECK-NEXT:         <dict>
3362 // CHECK-NEXT:          <key>line</key><integer>139</integer>
3363 // CHECK-NEXT:          <key>col</key><integer>3</integer>
3364 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3365 // CHECK-NEXT:         </dict>
3366 // CHECK-NEXT:         <dict>
3367 // CHECK-NEXT:          <key>line</key><integer>139</integer>
3368 // CHECK-NEXT:          <key>col</key><integer>9</integer>
3369 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3370 // CHECK-NEXT:         </dict>
3371 // CHECK-NEXT:        </array>
3372 // CHECK-NEXT:      </array>
3373 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
3374 // CHECK-NEXT:      <key>extended_message</key>
3375 // CHECK-NEXT:      <string>Dereference of null pointer</string>
3376 // CHECK-NEXT:      <key>message</key>
3377 // CHECK-NEXT:      <string>Dereference of null pointer</string>
3378 // CHECK-NEXT:     </dict>
3379 // CHECK-NEXT:    </array>
3380 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer</string>
3381 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
3382 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
3383 // CHECK-NEXT:    <key>check_name</key><string>core.NullDereference</string>
3384 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
3385 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>19292468c6c6f83fbbdb2ff072bb2ae8</string>
3386 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
3387 // CHECK-NEXT:   <key>issue_context</key><string>test4</string>
3388 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>3</string>
3389 // CHECK-NEXT:   <key>location</key>
3390 // CHECK-NEXT:   <dict>
3391 // CHECK-NEXT:    <key>line</key><integer>139</integer>
3392 // CHECK-NEXT:    <key>col</key><integer>7</integer>
3393 // CHECK-NEXT:    <key>file</key><integer>0</integer>
3394 // CHECK-NEXT:   </dict>
3395 // CHECK-NEXT:   </dict>
3396 // CHECK-NEXT:   <dict>
3397 // CHECK-NEXT:    <key>path</key>
3398 // CHECK-NEXT:    <array>
3399 // CHECK-NEXT:     <dict>
3400 // CHECK-NEXT:      <key>kind</key><string>control</string>
3401 // CHECK-NEXT:      <key>edges</key>
3402 // CHECK-NEXT:       <array>
3403 // CHECK-NEXT:        <dict>
3404 // CHECK-NEXT:         <key>start</key>
3405 // CHECK-NEXT:          <array>
3406 // CHECK-NEXT:           <dict>
3407 // CHECK-NEXT:            <key>line</key><integer>152</integer>
3408 // CHECK-NEXT:            <key>col</key><integer>3</integer>
3409 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3410 // CHECK-NEXT:           </dict>
3411 // CHECK-NEXT:           <dict>
3412 // CHECK-NEXT:            <key>line</key><integer>152</integer>
3413 // CHECK-NEXT:            <key>col</key><integer>5</integer>
3414 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3415 // CHECK-NEXT:           </dict>
3416 // CHECK-NEXT:          </array>
3417 // CHECK-NEXT:         <key>end</key>
3418 // CHECK-NEXT:          <array>
3419 // CHECK-NEXT:           <dict>
3420 // CHECK-NEXT:            <key>line</key><integer>153</integer>
3421 // CHECK-NEXT:            <key>col</key><integer>3</integer>
3422 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3423 // CHECK-NEXT:           </dict>
3424 // CHECK-NEXT:           <dict>
3425 // CHECK-NEXT:            <key>line</key><integer>153</integer>
3426 // CHECK-NEXT:            <key>col</key><integer>19</integer>
3427 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3428 // CHECK-NEXT:           </dict>
3429 // CHECK-NEXT:          </array>
3430 // CHECK-NEXT:        </dict>
3431 // CHECK-NEXT:       </array>
3432 // CHECK-NEXT:     </dict>
3433 // CHECK-NEXT:     <dict>
3434 // CHECK-NEXT:      <key>kind</key><string>event</string>
3435 // CHECK-NEXT:      <key>location</key>
3436 // CHECK-NEXT:      <dict>
3437 // CHECK-NEXT:       <key>line</key><integer>153</integer>
3438 // CHECK-NEXT:       <key>col</key><integer>3</integer>
3439 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3440 // CHECK-NEXT:      </dict>
3441 // CHECK-NEXT:      <key>ranges</key>
3442 // CHECK-NEXT:      <array>
3443 // CHECK-NEXT:        <array>
3444 // CHECK-NEXT:         <dict>
3445 // CHECK-NEXT:          <key>line</key><integer>153</integer>
3446 // CHECK-NEXT:          <key>col</key><integer>3</integer>
3447 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3448 // CHECK-NEXT:         </dict>
3449 // CHECK-NEXT:         <dict>
3450 // CHECK-NEXT:          <key>line</key><integer>153</integer>
3451 // CHECK-NEXT:          <key>col</key><integer>23</integer>
3452 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3453 // CHECK-NEXT:         </dict>
3454 // CHECK-NEXT:        </array>
3455 // CHECK-NEXT:      </array>
3456 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
3457 // CHECK-NEXT:      <key>extended_message</key>
3458 // CHECK-NEXT:      <string>Calling &apos;interestingCallee&apos;</string>
3459 // CHECK-NEXT:      <key>message</key>
3460 // CHECK-NEXT:      <string>Calling &apos;interestingCallee&apos;</string>
3461 // CHECK-NEXT:     </dict>
3462 // CHECK-NEXT:     <dict>
3463 // CHECK-NEXT:      <key>kind</key><string>event</string>
3464 // CHECK-NEXT:      <key>location</key>
3465 // CHECK-NEXT:      <dict>
3466 // CHECK-NEXT:       <key>line</key><integer>146</integer>
3467 // CHECK-NEXT:       <key>col</key><integer>1</integer>
3468 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3469 // CHECK-NEXT:      </dict>
3470 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
3471 // CHECK-NEXT:      <key>extended_message</key>
3472 // CHECK-NEXT:      <string>Entered call from &apos;testBoringCalleeOfInterestingCallee&apos;</string>
3473 // CHECK-NEXT:      <key>message</key>
3474 // CHECK-NEXT:      <string>Entered call from &apos;testBoringCalleeOfInterestingCallee&apos;</string>
3475 // CHECK-NEXT:     </dict>
3476 // CHECK-NEXT:     <dict>
3477 // CHECK-NEXT:      <key>kind</key><string>control</string>
3478 // CHECK-NEXT:      <key>edges</key>
3479 // CHECK-NEXT:       <array>
3480 // CHECK-NEXT:        <dict>
3481 // CHECK-NEXT:         <key>start</key>
3482 // CHECK-NEXT:          <array>
3483 // CHECK-NEXT:           <dict>
3484 // CHECK-NEXT:            <key>line</key><integer>146</integer>
3485 // CHECK-NEXT:            <key>col</key><integer>1</integer>
3486 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3487 // CHECK-NEXT:           </dict>
3488 // CHECK-NEXT:           <dict>
3489 // CHECK-NEXT:            <key>line</key><integer>146</integer>
3490 // CHECK-NEXT:            <key>col</key><integer>4</integer>
3491 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3492 // CHECK-NEXT:           </dict>
3493 // CHECK-NEXT:          </array>
3494 // CHECK-NEXT:         <key>end</key>
3495 // CHECK-NEXT:          <array>
3496 // CHECK-NEXT:           <dict>
3497 // CHECK-NEXT:            <key>line</key><integer>147</integer>
3498 // CHECK-NEXT:            <key>col</key><integer>3</integer>
3499 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3500 // CHECK-NEXT:           </dict>
3501 // CHECK-NEXT:           <dict>
3502 // CHECK-NEXT:            <key>line</key><integer>147</integer>
3503 // CHECK-NEXT:            <key>col</key><integer>3</integer>
3504 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3505 // CHECK-NEXT:           </dict>
3506 // CHECK-NEXT:          </array>
3507 // CHECK-NEXT:        </dict>
3508 // CHECK-NEXT:       </array>
3509 // CHECK-NEXT:     </dict>
3510 // CHECK-NEXT:     <dict>
3511 // CHECK-NEXT:      <key>kind</key><string>event</string>
3512 // CHECK-NEXT:      <key>location</key>
3513 // CHECK-NEXT:      <dict>
3514 // CHECK-NEXT:       <key>line</key><integer>147</integer>
3515 // CHECK-NEXT:       <key>col</key><integer>3</integer>
3516 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3517 // CHECK-NEXT:      </dict>
3518 // CHECK-NEXT:      <key>ranges</key>
3519 // CHECK-NEXT:      <array>
3520 // CHECK-NEXT:        <array>
3521 // CHECK-NEXT:         <dict>
3522 // CHECK-NEXT:          <key>line</key><integer>147</integer>
3523 // CHECK-NEXT:          <key>col</key><integer>3</integer>
3524 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3525 // CHECK-NEXT:         </dict>
3526 // CHECK-NEXT:         <dict>
3527 // CHECK-NEXT:          <key>line</key><integer>147</integer>
3528 // CHECK-NEXT:          <key>col</key><integer>8</integer>
3529 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3530 // CHECK-NEXT:         </dict>
3531 // CHECK-NEXT:        </array>
3532 // CHECK-NEXT:      </array>
3533 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
3534 // CHECK-NEXT:      <key>extended_message</key>
3535 // CHECK-NEXT:      <string>The value 0 is assigned to &apos;x&apos;</string>
3536 // CHECK-NEXT:      <key>message</key>
3537 // CHECK-NEXT:      <string>The value 0 is assigned to &apos;x&apos;</string>
3538 // CHECK-NEXT:     </dict>
3539 // CHECK-NEXT:     <dict>
3540 // CHECK-NEXT:      <key>kind</key><string>control</string>
3541 // CHECK-NEXT:      <key>edges</key>
3542 // CHECK-NEXT:       <array>
3543 // CHECK-NEXT:        <dict>
3544 // CHECK-NEXT:         <key>start</key>
3545 // CHECK-NEXT:          <array>
3546 // CHECK-NEXT:           <dict>
3547 // CHECK-NEXT:            <key>line</key><integer>147</integer>
3548 // CHECK-NEXT:            <key>col</key><integer>3</integer>
3549 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3550 // CHECK-NEXT:           </dict>
3551 // CHECK-NEXT:           <dict>
3552 // CHECK-NEXT:            <key>line</key><integer>147</integer>
3553 // CHECK-NEXT:            <key>col</key><integer>3</integer>
3554 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3555 // CHECK-NEXT:           </dict>
3556 // CHECK-NEXT:          </array>
3557 // CHECK-NEXT:         <key>end</key>
3558 // CHECK-NEXT:          <array>
3559 // CHECK-NEXT:           <dict>
3560 // CHECK-NEXT:            <key>line</key><integer>148</integer>
3561 // CHECK-NEXT:            <key>col</key><integer>3</integer>
3562 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3563 // CHECK-NEXT:           </dict>
3564 // CHECK-NEXT:           <dict>
3565 // CHECK-NEXT:            <key>line</key><integer>148</integer>
3566 // CHECK-NEXT:            <key>col</key><integer>14</integer>
3567 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3568 // CHECK-NEXT:           </dict>
3569 // CHECK-NEXT:          </array>
3570 // CHECK-NEXT:        </dict>
3571 // CHECK-NEXT:       </array>
3572 // CHECK-NEXT:     </dict>
3573 // CHECK-NEXT:     <dict>
3574 // CHECK-NEXT:      <key>kind</key><string>event</string>
3575 // CHECK-NEXT:      <key>location</key>
3576 // CHECK-NEXT:      <dict>
3577 // CHECK-NEXT:       <key>line</key><integer>153</integer>
3578 // CHECK-NEXT:       <key>col</key><integer>3</integer>
3579 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3580 // CHECK-NEXT:      </dict>
3581 // CHECK-NEXT:      <key>ranges</key>
3582 // CHECK-NEXT:      <array>
3583 // CHECK-NEXT:        <array>
3584 // CHECK-NEXT:         <dict>
3585 // CHECK-NEXT:          <key>line</key><integer>153</integer>
3586 // CHECK-NEXT:          <key>col</key><integer>3</integer>
3587 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3588 // CHECK-NEXT:         </dict>
3589 // CHECK-NEXT:         <dict>
3590 // CHECK-NEXT:          <key>line</key><integer>153</integer>
3591 // CHECK-NEXT:          <key>col</key><integer>23</integer>
3592 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3593 // CHECK-NEXT:         </dict>
3594 // CHECK-NEXT:        </array>
3595 // CHECK-NEXT:      </array>
3596 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
3597 // CHECK-NEXT:      <key>extended_message</key>
3598 // CHECK-NEXT:      <string>Returning from &apos;interestingCallee&apos;</string>
3599 // CHECK-NEXT:      <key>message</key>
3600 // CHECK-NEXT:      <string>Returning from &apos;interestingCallee&apos;</string>
3601 // CHECK-NEXT:     </dict>
3602 // CHECK-NEXT:     <dict>
3603 // CHECK-NEXT:      <key>kind</key><string>control</string>
3604 // CHECK-NEXT:      <key>edges</key>
3605 // CHECK-NEXT:       <array>
3606 // CHECK-NEXT:        <dict>
3607 // CHECK-NEXT:         <key>start</key>
3608 // CHECK-NEXT:          <array>
3609 // CHECK-NEXT:           <dict>
3610 // CHECK-NEXT:            <key>line</key><integer>153</integer>
3611 // CHECK-NEXT:            <key>col</key><integer>3</integer>
3612 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3613 // CHECK-NEXT:           </dict>
3614 // CHECK-NEXT:           <dict>
3615 // CHECK-NEXT:            <key>line</key><integer>153</integer>
3616 // CHECK-NEXT:            <key>col</key><integer>19</integer>
3617 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3618 // CHECK-NEXT:           </dict>
3619 // CHECK-NEXT:          </array>
3620 // CHECK-NEXT:         <key>end</key>
3621 // CHECK-NEXT:          <array>
3622 // CHECK-NEXT:           <dict>
3623 // CHECK-NEXT:            <key>line</key><integer>155</integer>
3624 // CHECK-NEXT:            <key>col</key><integer>12</integer>
3625 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3626 // CHECK-NEXT:           </dict>
3627 // CHECK-NEXT:           <dict>
3628 // CHECK-NEXT:            <key>line</key><integer>155</integer>
3629 // CHECK-NEXT:            <key>col</key><integer>12</integer>
3630 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3631 // CHECK-NEXT:           </dict>
3632 // CHECK-NEXT:          </array>
3633 // CHECK-NEXT:        </dict>
3634 // CHECK-NEXT:       </array>
3635 // CHECK-NEXT:     </dict>
3636 // CHECK-NEXT:     <dict>
3637 // CHECK-NEXT:      <key>kind</key><string>event</string>
3638 // CHECK-NEXT:      <key>location</key>
3639 // CHECK-NEXT:      <dict>
3640 // CHECK-NEXT:       <key>line</key><integer>155</integer>
3641 // CHECK-NEXT:       <key>col</key><integer>12</integer>
3642 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3643 // CHECK-NEXT:      </dict>
3644 // CHECK-NEXT:      <key>ranges</key>
3645 // CHECK-NEXT:      <array>
3646 // CHECK-NEXT:        <array>
3647 // CHECK-NEXT:         <dict>
3648 // CHECK-NEXT:          <key>line</key><integer>155</integer>
3649 // CHECK-NEXT:          <key>col</key><integer>10</integer>
3650 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3651 // CHECK-NEXT:         </dict>
3652 // CHECK-NEXT:         <dict>
3653 // CHECK-NEXT:          <key>line</key><integer>155</integer>
3654 // CHECK-NEXT:          <key>col</key><integer>14</integer>
3655 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3656 // CHECK-NEXT:         </dict>
3657 // CHECK-NEXT:        </array>
3658 // CHECK-NEXT:      </array>
3659 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
3660 // CHECK-NEXT:      <key>extended_message</key>
3661 // CHECK-NEXT:      <string>Division by zero</string>
3662 // CHECK-NEXT:      <key>message</key>
3663 // CHECK-NEXT:      <string>Division by zero</string>
3664 // CHECK-NEXT:     </dict>
3665 // CHECK-NEXT:    </array>
3666 // CHECK-NEXT:    <key>description</key><string>Division by zero</string>
3667 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
3668 // CHECK-NEXT:    <key>type</key><string>Division by zero</string>
3669 // CHECK-NEXT:    <key>check_name</key><string>core.DivideZero</string>
3670 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
3671 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>fcd480c0f73d071bac6f908387893e26</string>
3672 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
3673 // CHECK-NEXT:   <key>issue_context</key><string>testBoringCalleeOfInterestingCallee</string>
3674 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>4</string>
3675 // CHECK-NEXT:   <key>location</key>
3676 // CHECK-NEXT:   <dict>
3677 // CHECK-NEXT:    <key>line</key><integer>155</integer>
3678 // CHECK-NEXT:    <key>col</key><integer>12</integer>
3679 // CHECK-NEXT:    <key>file</key><integer>0</integer>
3680 // CHECK-NEXT:   </dict>
3681 // CHECK-NEXT:   </dict>
3682 // CHECK-NEXT:  </array>
3683