Run DCE after a LoopFlatten test to reduce spurious output [nfc]
[llvm-project.git] / clang / test / Analysis / Inputs / expected-plists / cxx-for-range.cpp.plist
blobb955fefc247b774166a7ae4a5d7447b6914d7da8
1 <?xml version="1.0" encoding="UTF-8"?>
2 <!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
3 <plist version="1.0">
4 <dict>
5 <key>clang_version</key>
6 <key>diagnostics</key>
7 <array>
8 <dict>
9 <key>path</key>
10 <array>
11 <dict>
12 <key>kind</key><string>control</string>
13 <key>edges</key>
14 <array>
15 <dict>
16 <key>start</key>
17 <array>
18 <dict>
19 <key>line</key><integer>7</integer>
20 <key>col</key><integer>3</integer>
21 <key>file</key><integer>0</integer>
22 </dict>
23 <dict>
24 <key>line</key><integer>7</integer>
25 <key>col</key><integer>5</integer>
26 <key>file</key><integer>0</integer>
27 </dict>
28 </array>
29 <key>end</key>
30 <array>
31 <dict>
32 <key>line</key><integer>8</integer>
33 <key>col</key><integer>3</integer>
34 <key>file</key><integer>0</integer>
35 </dict>
36 <dict>
37 <key>line</key><integer>8</integer>
38 <key>col</key><integer>5</integer>
39 <key>file</key><integer>0</integer>
40 </dict>
41 </array>
42 </dict>
43 </array>
44 </dict>
45 <dict>
46 <key>kind</key><string>event</string>
47 <key>location</key>
48 <dict>
49 <key>line</key><integer>8</integer>
50 <key>col</key><integer>14</integer>
51 <key>file</key><integer>0</integer>
52 </dict>
53 <key>ranges</key>
54 <array>
55 <array>
56 <dict>
57 <key>line</key><integer>8</integer>
58 <key>col</key><integer>14</integer>
59 <key>file</key><integer>0</integer>
60 </dict>
61 <dict>
62 <key>line</key><integer>8</integer>
63 <key>col</key><integer>14</integer>
64 <key>file</key><integer>0</integer>
65 </dict>
66 </array>
67 </array>
68 <key>depth</key><integer>0</integer>
69 <key>extended_message</key>
70 <string>Entering loop body</string>
71 <key>message</key>
72 <string>Entering loop body</string>
73 </dict>
74 <dict>
75 <key>kind</key><string>control</string>
76 <key>edges</key>
77 <array>
78 <dict>
79 <key>start</key>
80 <array>
81 <dict>
82 <key>line</key><integer>8</integer>
83 <key>col</key><integer>3</integer>
84 <key>file</key><integer>0</integer>
85 </dict>
86 <dict>
87 <key>line</key><integer>8</integer>
88 <key>col</key><integer>5</integer>
89 <key>file</key><integer>0</integer>
90 </dict>
91 </array>
92 <key>end</key>
93 <array>
94 <dict>
95 <key>line</key><integer>9</integer>
96 <key>col</key><integer>5</integer>
97 <key>file</key><integer>0</integer>
98 </dict>
99 <dict>
100 <key>line</key><integer>9</integer>
101 <key>col</key><integer>8</integer>
102 <key>file</key><integer>0</integer>
103 </dict>
104 </array>
105 </dict>
106 </array>
107 </dict>
108 <dict>
109 <key>kind</key><string>control</string>
110 <key>edges</key>
111 <array>
112 <dict>
113 <key>start</key>
114 <array>
115 <dict>
116 <key>line</key><integer>9</integer>
117 <key>col</key><integer>5</integer>
118 <key>file</key><integer>0</integer>
119 </dict>
120 <dict>
121 <key>line</key><integer>9</integer>
122 <key>col</key><integer>8</integer>
123 <key>file</key><integer>0</integer>
124 </dict>
125 </array>
126 <key>end</key>
127 <array>
128 <dict>
129 <key>line</key><integer>11</integer>
130 <key>col</key><integer>5</integer>
131 <key>file</key><integer>0</integer>
132 </dict>
133 <dict>
134 <key>line</key><integer>11</integer>
135 <key>col</key><integer>6</integer>
136 <key>file</key><integer>0</integer>
137 </dict>
138 </array>
139 </dict>
140 </array>
141 </dict>
142 <dict>
143 <key>kind</key><string>control</string>
144 <key>edges</key>
145 <array>
146 <dict>
147 <key>start</key>
148 <array>
149 <dict>
150 <key>line</key><integer>11</integer>
151 <key>col</key><integer>5</integer>
152 <key>file</key><integer>0</integer>
153 </dict>
154 <dict>
155 <key>line</key><integer>11</integer>
156 <key>col</key><integer>6</integer>
157 <key>file</key><integer>0</integer>
158 </dict>
159 </array>
160 <key>end</key>
161 <array>
162 <dict>
163 <key>line</key><integer>11</integer>
164 <key>col</key><integer>9</integer>
165 <key>file</key><integer>0</integer>
166 </dict>
167 <dict>
168 <key>line</key><integer>11</integer>
169 <key>col</key><integer>9</integer>
170 <key>file</key><integer>0</integer>
171 </dict>
172 </array>
173 </dict>
174 </array>
175 </dict>
176 <dict>
177 <key>kind</key><string>pop-up</string>
178 <key>location</key>
179 <dict>
180 <key>line</key><integer>11</integer>
181 <key>col</key><integer>9</integer>
182 <key>file</key><integer>0</integer>
183 </dict>
184 <key>ranges</key>
185 <array>
186 <array>
187 <dict>
188 <key>line</key><integer>11</integer>
189 <key>col</key><integer>9</integer>
190 <key>file</key><integer>0</integer>
191 </dict>
192 <dict>
193 <key>line</key><integer>11</integer>
194 <key>col</key><integer>9</integer>
195 <key>file</key><integer>0</integer>
196 </dict>
197 </array>
198 </array>
199 <key>extended_message</key>
200 <string>&apos;y&apos; is not equal to 2</string>
201 <key>message</key>
202 <string>&apos;y&apos; is not equal to 2</string>
203 </dict>
204 <dict>
205 <key>kind</key><string>control</string>
206 <key>edges</key>
207 <array>
208 <dict>
209 <key>start</key>
210 <array>
211 <dict>
212 <key>line</key><integer>11</integer>
213 <key>col</key><integer>9</integer>
214 <key>file</key><integer>0</integer>
215 </dict>
216 <dict>
217 <key>line</key><integer>11</integer>
218 <key>col</key><integer>9</integer>
219 <key>file</key><integer>0</integer>
220 </dict>
221 </array>
222 <key>end</key>
223 <array>
224 <dict>
225 <key>line</key><integer>13</integer>
226 <key>col</key><integer>5</integer>
227 <key>file</key><integer>0</integer>
228 </dict>
229 <dict>
230 <key>line</key><integer>13</integer>
231 <key>col</key><integer>8</integer>
232 <key>file</key><integer>0</integer>
233 </dict>
234 </array>
235 </dict>
236 </array>
237 </dict>
238 <dict>
239 <key>kind</key><string>control</string>
240 <key>edges</key>
241 <array>
242 <dict>
243 <key>start</key>
244 <array>
245 <dict>
246 <key>line</key><integer>13</integer>
247 <key>col</key><integer>5</integer>
248 <key>file</key><integer>0</integer>
249 </dict>
250 <dict>
251 <key>line</key><integer>13</integer>
252 <key>col</key><integer>8</integer>
253 <key>file</key><integer>0</integer>
254 </dict>
255 </array>
256 <key>end</key>
257 <array>
258 <dict>
259 <key>line</key><integer>15</integer>
260 <key>col</key><integer>5</integer>
261 <key>file</key><integer>0</integer>
262 </dict>
263 <dict>
264 <key>line</key><integer>15</integer>
265 <key>col</key><integer>5</integer>
266 <key>file</key><integer>0</integer>
267 </dict>
268 </array>
269 </dict>
270 </array>
271 </dict>
272 <dict>
273 <key>kind</key><string>control</string>
274 <key>edges</key>
275 <array>
276 <dict>
277 <key>start</key>
278 <array>
279 <dict>
280 <key>line</key><integer>15</integer>
281 <key>col</key><integer>5</integer>
282 <key>file</key><integer>0</integer>
283 </dict>
284 <dict>
285 <key>line</key><integer>15</integer>
286 <key>col</key><integer>5</integer>
287 <key>file</key><integer>0</integer>
288 </dict>
289 </array>
290 <key>end</key>
291 <array>
292 <dict>
293 <key>line</key><integer>16</integer>
294 <key>col</key><integer>3</integer>
295 <key>file</key><integer>0</integer>
296 </dict>
297 <dict>
298 <key>line</key><integer>16</integer>
299 <key>col</key><integer>3</integer>
300 <key>file</key><integer>0</integer>
301 </dict>
302 </array>
303 </dict>
304 </array>
305 </dict>
306 <dict>
307 <key>kind</key><string>control</string>
308 <key>edges</key>
309 <array>
310 <dict>
311 <key>start</key>
312 <array>
313 <dict>
314 <key>line</key><integer>16</integer>
315 <key>col</key><integer>3</integer>
316 <key>file</key><integer>0</integer>
317 </dict>
318 <dict>
319 <key>line</key><integer>16</integer>
320 <key>col</key><integer>3</integer>
321 <key>file</key><integer>0</integer>
322 </dict>
323 </array>
324 <key>end</key>
325 <array>
326 <dict>
327 <key>line</key><integer>8</integer>
328 <key>col</key><integer>3</integer>
329 <key>file</key><integer>0</integer>
330 </dict>
331 <dict>
332 <key>line</key><integer>8</integer>
333 <key>col</key><integer>5</integer>
334 <key>file</key><integer>0</integer>
335 </dict>
336 </array>
337 </dict>
338 </array>
339 </dict>
340 <dict>
341 <key>kind</key><string>event</string>
342 <key>location</key>
343 <dict>
344 <key>line</key><integer>8</integer>
345 <key>col</key><integer>3</integer>
346 <key>file</key><integer>0</integer>
347 </dict>
348 <key>ranges</key>
349 <array>
350 <array>
351 <dict>
352 <key>line</key><integer>8</integer>
353 <key>col</key><integer>3</integer>
354 <key>file</key><integer>0</integer>
355 </dict>
356 <dict>
357 <key>line</key><integer>16</integer>
358 <key>col</key><integer>3</integer>
359 <key>file</key><integer>0</integer>
360 </dict>
361 </array>
362 </array>
363 <key>depth</key><integer>0</integer>
364 <key>extended_message</key>
365 <string>Looping back to the head of the loop</string>
366 <key>message</key>
367 <string>Looping back to the head of the loop</string>
368 </dict>
369 <dict>
370 <key>kind</key><string>event</string>
371 <key>location</key>
372 <dict>
373 <key>line</key><integer>8</integer>
374 <key>col</key><integer>14</integer>
375 <key>file</key><integer>0</integer>
376 </dict>
377 <key>ranges</key>
378 <array>
379 <array>
380 <dict>
381 <key>line</key><integer>8</integer>
382 <key>col</key><integer>14</integer>
383 <key>file</key><integer>0</integer>
384 </dict>
385 <dict>
386 <key>line</key><integer>8</integer>
387 <key>col</key><integer>14</integer>
388 <key>file</key><integer>0</integer>
389 </dict>
390 </array>
391 </array>
392 <key>depth</key><integer>0</integer>
393 <key>extended_message</key>
394 <string>Entering loop body</string>
395 <key>message</key>
396 <string>Entering loop body</string>
397 </dict>
398 <dict>
399 <key>kind</key><string>control</string>
400 <key>edges</key>
401 <array>
402 <dict>
403 <key>start</key>
404 <array>
405 <dict>
406 <key>line</key><integer>8</integer>
407 <key>col</key><integer>3</integer>
408 <key>file</key><integer>0</integer>
409 </dict>
410 <dict>
411 <key>line</key><integer>8</integer>
412 <key>col</key><integer>5</integer>
413 <key>file</key><integer>0</integer>
414 </dict>
415 </array>
416 <key>end</key>
417 <array>
418 <dict>
419 <key>line</key><integer>9</integer>
420 <key>col</key><integer>5</integer>
421 <key>file</key><integer>0</integer>
422 </dict>
423 <dict>
424 <key>line</key><integer>9</integer>
425 <key>col</key><integer>8</integer>
426 <key>file</key><integer>0</integer>
427 </dict>
428 </array>
429 </dict>
430 </array>
431 </dict>
432 <dict>
433 <key>kind</key><string>control</string>
434 <key>edges</key>
435 <array>
436 <dict>
437 <key>start</key>
438 <array>
439 <dict>
440 <key>line</key><integer>9</integer>
441 <key>col</key><integer>5</integer>
442 <key>file</key><integer>0</integer>
443 </dict>
444 <dict>
445 <key>line</key><integer>9</integer>
446 <key>col</key><integer>8</integer>
447 <key>file</key><integer>0</integer>
448 </dict>
449 </array>
450 <key>end</key>
451 <array>
452 <dict>
453 <key>line</key><integer>11</integer>
454 <key>col</key><integer>5</integer>
455 <key>file</key><integer>0</integer>
456 </dict>
457 <dict>
458 <key>line</key><integer>11</integer>
459 <key>col</key><integer>6</integer>
460 <key>file</key><integer>0</integer>
461 </dict>
462 </array>
463 </dict>
464 </array>
465 </dict>
466 <dict>
467 <key>kind</key><string>control</string>
468 <key>edges</key>
469 <array>
470 <dict>
471 <key>start</key>
472 <array>
473 <dict>
474 <key>line</key><integer>11</integer>
475 <key>col</key><integer>5</integer>
476 <key>file</key><integer>0</integer>
477 </dict>
478 <dict>
479 <key>line</key><integer>11</integer>
480 <key>col</key><integer>6</integer>
481 <key>file</key><integer>0</integer>
482 </dict>
483 </array>
484 <key>end</key>
485 <array>
486 <dict>
487 <key>line</key><integer>11</integer>
488 <key>col</key><integer>9</integer>
489 <key>file</key><integer>0</integer>
490 </dict>
491 <dict>
492 <key>line</key><integer>11</integer>
493 <key>col</key><integer>9</integer>
494 <key>file</key><integer>0</integer>
495 </dict>
496 </array>
497 </dict>
498 </array>
499 </dict>
500 <dict>
501 <key>kind</key><string>pop-up</string>
502 <key>location</key>
503 <dict>
504 <key>line</key><integer>11</integer>
505 <key>col</key><integer>9</integer>
506 <key>file</key><integer>0</integer>
507 </dict>
508 <key>ranges</key>
509 <array>
510 <array>
511 <dict>
512 <key>line</key><integer>11</integer>
513 <key>col</key><integer>9</integer>
514 <key>file</key><integer>0</integer>
515 </dict>
516 <dict>
517 <key>line</key><integer>11</integer>
518 <key>col</key><integer>9</integer>
519 <key>file</key><integer>0</integer>
520 </dict>
521 </array>
522 </array>
523 <key>extended_message</key>
524 <string>&apos;y&apos; is equal to 2</string>
525 <key>message</key>
526 <string>&apos;y&apos; is equal to 2</string>
527 </dict>
528 <dict>
529 <key>kind</key><string>control</string>
530 <key>edges</key>
531 <array>
532 <dict>
533 <key>start</key>
534 <array>
535 <dict>
536 <key>line</key><integer>11</integer>
537 <key>col</key><integer>9</integer>
538 <key>file</key><integer>0</integer>
539 </dict>
540 <dict>
541 <key>line</key><integer>11</integer>
542 <key>col</key><integer>9</integer>
543 <key>file</key><integer>0</integer>
544 </dict>
545 </array>
546 <key>end</key>
547 <array>
548 <dict>
549 <key>line</key><integer>12</integer>
550 <key>col</key><integer>7</integer>
551 <key>file</key><integer>0</integer>
552 </dict>
553 <dict>
554 <key>line</key><integer>12</integer>
555 <key>col</key><integer>7</integer>
556 <key>file</key><integer>0</integer>
557 </dict>
558 </array>
559 </dict>
560 </array>
561 </dict>
562 <dict>
563 <key>kind</key><string>control</string>
564 <key>edges</key>
565 <array>
566 <dict>
567 <key>start</key>
568 <array>
569 <dict>
570 <key>line</key><integer>12</integer>
571 <key>col</key><integer>7</integer>
572 <key>file</key><integer>0</integer>
573 </dict>
574 <dict>
575 <key>line</key><integer>12</integer>
576 <key>col</key><integer>7</integer>
577 <key>file</key><integer>0</integer>
578 </dict>
579 </array>
580 <key>end</key>
581 <array>
582 <dict>
583 <key>line</key><integer>12</integer>
584 <key>col</key><integer>26</integer>
585 <key>file</key><integer>0</integer>
586 </dict>
587 <dict>
588 <key>line</key><integer>12</integer>
589 <key>col</key><integer>26</integer>
590 <key>file</key><integer>0</integer>
591 </dict>
592 </array>
593 </dict>
594 </array>
595 </dict>
596 <dict>
597 <key>kind</key><string>event</string>
598 <key>location</key>
599 <dict>
600 <key>line</key><integer>12</integer>
601 <key>col</key><integer>26</integer>
602 <key>file</key><integer>0</integer>
603 </dict>
604 <key>ranges</key>
605 <array>
606 <array>
607 <dict>
608 <key>line</key><integer>12</integer>
609 <key>col</key><integer>7</integer>
610 <key>file</key><integer>0</integer>
611 </dict>
612 <dict>
613 <key>line</key><integer>12</integer>
614 <key>col</key><integer>28</integer>
615 <key>file</key><integer>0</integer>
616 </dict>
617 </array>
618 </array>
619 <key>depth</key><integer>0</integer>
620 <key>extended_message</key>
621 <string>Dereference of null pointer</string>
622 <key>message</key>
623 <string>Dereference of null pointer</string>
624 </dict>
625 </array>
626 <key>description</key><string>Dereference of null pointer</string>
627 <key>category</key><string>Logic error</string>
628 <key>type</key><string>Dereference of null pointer</string>
629 <key>check_name</key><string>core.NullDereference</string>
630 <!-- This hash is experimental and going to change! -->
631 <key>issue_hash_content_of_line_in_context</key><string>7c0b35987817cf3d44b88c5349bcd4f2</string>
632 <key>issue_context_kind</key><string>function</string>
633 <key>issue_context</key><string>testLoop</string>
634 <key>issue_hash_function_offset</key><string>6</string>
635 <key>location</key>
636 <dict>
637 <key>line</key><integer>12</integer>
638 <key>col</key><integer>26</integer>
639 <key>file</key><integer>0</integer>
640 </dict>
641 <key>ExecutedLines</key>
642 <dict>
643 <key>0</key>
644 <array>
645 <integer>6</integer>
646 <integer>7</integer>
647 <integer>8</integer>
648 <integer>9</integer>
649 <integer>10</integer>
650 <integer>11</integer>
651 <integer>12</integer>
652 <integer>13</integer>
653 <integer>14</integer>
654 <integer>15</integer>
655 <integer>16</integer>
656 </array>
657 </dict>
658 </dict>
659 <dict>
660 <key>path</key>
661 <array>
662 <dict>
663 <key>kind</key><string>control</string>
664 <key>edges</key>
665 <array>
666 <dict>
667 <key>start</key>
668 <array>
669 <dict>
670 <key>line</key><integer>88</integer>
671 <key>col</key><integer>3</integer>
672 <key>file</key><integer>0</integer>
673 </dict>
674 <dict>
675 <key>line</key><integer>88</integer>
676 <key>col</key><integer>5</integer>
677 <key>file</key><integer>0</integer>
678 </dict>
679 </array>
680 <key>end</key>
681 <array>
682 <dict>
683 <key>line</key><integer>88</integer>
684 <key>col</key><integer>16</integer>
685 <key>file</key><integer>0</integer>
686 </dict>
687 <dict>
688 <key>line</key><integer>88</integer>
689 <key>col</key><integer>18</integer>
690 <key>file</key><integer>0</integer>
691 </dict>
692 </array>
693 </dict>
694 </array>
695 </dict>
696 <dict>
697 <key>kind</key><string>event</string>
698 <key>location</key>
699 <dict>
700 <key>line</key><integer>88</integer>
701 <key>col</key><integer>16</integer>
702 <key>file</key><integer>0</integer>
703 </dict>
704 <key>ranges</key>
705 <array>
706 <array>
707 <dict>
708 <key>line</key><integer>88</integer>
709 <key>col</key><integer>16</integer>
710 <key>file</key><integer>0</integer>
711 </dict>
712 <dict>
713 <key>line</key><integer>88</integer>
714 <key>col</key><integer>24</integer>
715 <key>file</key><integer>0</integer>
716 </dict>
717 </array>
718 </array>
719 <key>depth</key><integer>0</integer>
720 <key>extended_message</key>
721 <string>Calling &apos;get&apos;</string>
722 <key>message</key>
723 <string>Calling &apos;get&apos;</string>
724 </dict>
725 <dict>
726 <key>kind</key><string>event</string>
727 <key>location</key>
728 <dict>
729 <key>line</key><integer>31</integer>
730 <key>col</key><integer>1</integer>
731 <key>file</key><integer>0</integer>
732 </dict>
733 <key>depth</key><integer>1</integer>
734 <key>extended_message</key>
735 <string>Entered call from &apos;testLoopErrorInRange&apos;</string>
736 <key>message</key>
737 <string>Entered call from &apos;testLoopErrorInRange&apos;</string>
738 </dict>
739 <dict>
740 <key>kind</key><string>control</string>
741 <key>edges</key>
742 <array>
743 <dict>
744 <key>start</key>
745 <array>
746 <dict>
747 <key>line</key><integer>31</integer>
748 <key>col</key><integer>1</integer>
749 <key>file</key><integer>0</integer>
750 </dict>
751 <dict>
752 <key>line</key><integer>31</integer>
753 <key>col</key><integer>11</integer>
754 <key>file</key><integer>0</integer>
755 </dict>
756 </array>
757 <key>end</key>
758 <array>
759 <dict>
760 <key>line</key><integer>32</integer>
761 <key>col</key><integer>3</integer>
762 <key>file</key><integer>0</integer>
763 </dict>
764 <dict>
765 <key>line</key><integer>32</integer>
766 <key>col</key><integer>4</integer>
767 <key>file</key><integer>0</integer>
768 </dict>
769 </array>
770 </dict>
771 </array>
772 </dict>
773 <dict>
774 <key>kind</key><string>control</string>
775 <key>edges</key>
776 <array>
777 <dict>
778 <key>start</key>
779 <array>
780 <dict>
781 <key>line</key><integer>32</integer>
782 <key>col</key><integer>3</integer>
783 <key>file</key><integer>0</integer>
784 </dict>
785 <dict>
786 <key>line</key><integer>32</integer>
787 <key>col</key><integer>4</integer>
788 <key>file</key><integer>0</integer>
789 </dict>
790 </array>
791 <key>end</key>
792 <array>
793 <dict>
794 <key>line</key><integer>32</integer>
795 <key>col</key><integer>7</integer>
796 <key>file</key><integer>0</integer>
797 </dict>
798 <dict>
799 <key>line</key><integer>32</integer>
800 <key>col</key><integer>10</integer>
801 <key>file</key><integer>0</integer>
802 </dict>
803 </array>
804 </dict>
805 </array>
806 </dict>
807 <dict>
808 <key>kind</key><string>pop-up</string>
809 <key>location</key>
810 <dict>
811 <key>line</key><integer>32</integer>
812 <key>col</key><integer>7</integer>
813 <key>file</key><integer>0</integer>
814 </dict>
815 <key>ranges</key>
816 <array>
817 <array>
818 <dict>
819 <key>line</key><integer>32</integer>
820 <key>col</key><integer>7</integer>
821 <key>file</key><integer>0</integer>
822 </dict>
823 <dict>
824 <key>line</key><integer>32</integer>
825 <key>col</key><integer>10</integer>
826 <key>file</key><integer>0</integer>
827 </dict>
828 </array>
829 </array>
830 <key>extended_message</key>
831 <string>&apos;fail&apos; is true</string>
832 <key>message</key>
833 <string>&apos;fail&apos; is true</string>
834 </dict>
835 <dict>
836 <key>kind</key><string>control</string>
837 <key>edges</key>
838 <array>
839 <dict>
840 <key>start</key>
841 <array>
842 <dict>
843 <key>line</key><integer>32</integer>
844 <key>col</key><integer>7</integer>
845 <key>file</key><integer>0</integer>
846 </dict>
847 <dict>
848 <key>line</key><integer>32</integer>
849 <key>col</key><integer>10</integer>
850 <key>file</key><integer>0</integer>
851 </dict>
852 </array>
853 <key>end</key>
854 <array>
855 <dict>
856 <key>line</key><integer>33</integer>
857 <key>col</key><integer>5</integer>
858 <key>file</key><integer>0</integer>
859 </dict>
860 <dict>
861 <key>line</key><integer>33</integer>
862 <key>col</key><integer>5</integer>
863 <key>file</key><integer>0</integer>
864 </dict>
865 </array>
866 </dict>
867 </array>
868 </dict>
869 <dict>
870 <key>kind</key><string>control</string>
871 <key>edges</key>
872 <array>
873 <dict>
874 <key>start</key>
875 <array>
876 <dict>
877 <key>line</key><integer>33</integer>
878 <key>col</key><integer>5</integer>
879 <key>file</key><integer>0</integer>
880 </dict>
881 <dict>
882 <key>line</key><integer>33</integer>
883 <key>col</key><integer>5</integer>
884 <key>file</key><integer>0</integer>
885 </dict>
886 </array>
887 <key>end</key>
888 <array>
889 <dict>
890 <key>line</key><integer>33</integer>
891 <key>col</key><integer>24</integer>
892 <key>file</key><integer>0</integer>
893 </dict>
894 <dict>
895 <key>line</key><integer>33</integer>
896 <key>col</key><integer>24</integer>
897 <key>file</key><integer>0</integer>
898 </dict>
899 </array>
900 </dict>
901 </array>
902 </dict>
903 <dict>
904 <key>kind</key><string>event</string>
905 <key>location</key>
906 <dict>
907 <key>line</key><integer>33</integer>
908 <key>col</key><integer>24</integer>
909 <key>file</key><integer>0</integer>
910 </dict>
911 <key>ranges</key>
912 <array>
913 <array>
914 <dict>
915 <key>line</key><integer>33</integer>
916 <key>col</key><integer>5</integer>
917 <key>file</key><integer>0</integer>
918 </dict>
919 <dict>
920 <key>line</key><integer>33</integer>
921 <key>col</key><integer>26</integer>
922 <key>file</key><integer>0</integer>
923 </dict>
924 </array>
925 </array>
926 <key>depth</key><integer>1</integer>
927 <key>extended_message</key>
928 <string>Dereference of null pointer</string>
929 <key>message</key>
930 <string>Dereference of null pointer</string>
931 </dict>
932 </array>
933 <key>description</key><string>Dereference of null pointer</string>
934 <key>category</key><string>Logic error</string>
935 <key>type</key><string>Dereference of null pointer</string>
936 <key>check_name</key><string>core.NullDereference</string>
937 <!-- This hash is experimental and going to change! -->
938 <key>issue_hash_content_of_line_in_context</key><string>988b3441112848444b50d572900b0c5f</string>
939 <key>issue_context_kind</key><string>function</string>
940 <key>issue_context</key><string>get</string>
941 <key>issue_hash_function_offset</key><string>2</string>
942 <key>location</key>
943 <dict>
944 <key>line</key><integer>33</integer>
945 <key>col</key><integer>24</integer>
946 <key>file</key><integer>0</integer>
947 </dict>
948 <key>ExecutedLines</key>
949 <dict>
950 <key>0</key>
951 <array>
952 <integer>31</integer>
953 <integer>32</integer>
954 <integer>33</integer>
955 <integer>87</integer>
956 <integer>88</integer>
957 </array>
958 </dict>
959 </dict>
960 <dict>
961 <key>path</key>
962 <array>
963 <dict>
964 <key>kind</key><string>event</string>
965 <key>location</key>
966 <dict>
967 <key>line</key><integer>38</integer>
968 <key>col</key><integer>14</integer>
969 <key>file</key><integer>0</integer>
970 </dict>
971 <key>ranges</key>
972 <array>
973 <array>
974 <dict>
975 <key>line</key><integer>38</integer>
976 <key>col</key><integer>14</integer>
977 <key>file</key><integer>0</integer>
978 </dict>
979 <dict>
980 <key>line</key><integer>38</integer>
981 <key>col</key><integer>14</integer>
982 <key>file</key><integer>0</integer>
983 </dict>
984 </array>
985 </array>
986 <key>depth</key><integer>0</integer>
987 <key>extended_message</key>
988 <string>Entering loop body</string>
989 <key>message</key>
990 <string>Entering loop body</string>
991 </dict>
992 <dict>
993 <key>kind</key><string>control</string>
994 <key>edges</key>
995 <array>
996 <dict>
997 <key>start</key>
998 <array>
999 <dict>
1000 <key>line</key><integer>38</integer>
1001 <key>col</key><integer>3</integer>
1002 <key>file</key><integer>0</integer>
1003 </dict>
1004 <dict>
1005 <key>line</key><integer>38</integer>
1006 <key>col</key><integer>5</integer>
1007 <key>file</key><integer>0</integer>
1008 </dict>
1009 </array>
1010 <key>end</key>
1011 <array>
1012 <dict>
1013 <key>line</key><integer>39</integer>
1014 <key>col</key><integer>5</integer>
1015 <key>file</key><integer>0</integer>
1016 </dict>
1017 <dict>
1018 <key>line</key><integer>39</integer>
1019 <key>col</key><integer>8</integer>
1020 <key>file</key><integer>0</integer>
1021 </dict>
1022 </array>
1023 </dict>
1024 </array>
1025 </dict>
1026 <dict>
1027 <key>kind</key><string>control</string>
1028 <key>edges</key>
1029 <array>
1030 <dict>
1031 <key>start</key>
1032 <array>
1033 <dict>
1034 <key>line</key><integer>39</integer>
1035 <key>col</key><integer>5</integer>
1036 <key>file</key><integer>0</integer>
1037 </dict>
1038 <dict>
1039 <key>line</key><integer>39</integer>
1040 <key>col</key><integer>8</integer>
1041 <key>file</key><integer>0</integer>
1042 </dict>
1043 </array>
1044 <key>end</key>
1045 <array>
1046 <dict>
1047 <key>line</key><integer>41</integer>
1048 <key>col</key><integer>5</integer>
1049 <key>file</key><integer>0</integer>
1050 </dict>
1051 <dict>
1052 <key>line</key><integer>41</integer>
1053 <key>col</key><integer>6</integer>
1054 <key>file</key><integer>0</integer>
1055 </dict>
1056 </array>
1057 </dict>
1058 </array>
1059 </dict>
1060 <dict>
1061 <key>kind</key><string>control</string>
1062 <key>edges</key>
1063 <array>
1064 <dict>
1065 <key>start</key>
1066 <array>
1067 <dict>
1068 <key>line</key><integer>41</integer>
1069 <key>col</key><integer>5</integer>
1070 <key>file</key><integer>0</integer>
1071 </dict>
1072 <dict>
1073 <key>line</key><integer>41</integer>
1074 <key>col</key><integer>6</integer>
1075 <key>file</key><integer>0</integer>
1076 </dict>
1077 </array>
1078 <key>end</key>
1079 <array>
1080 <dict>
1081 <key>line</key><integer>41</integer>
1082 <key>col</key><integer>9</integer>
1083 <key>file</key><integer>0</integer>
1084 </dict>
1085 <dict>
1086 <key>line</key><integer>41</integer>
1087 <key>col</key><integer>9</integer>
1088 <key>file</key><integer>0</integer>
1089 </dict>
1090 </array>
1091 </dict>
1092 </array>
1093 </dict>
1094 <dict>
1095 <key>kind</key><string>event</string>
1096 <key>location</key>
1097 <dict>
1098 <key>line</key><integer>41</integer>
1099 <key>col</key><integer>9</integer>
1100 <key>file</key><integer>0</integer>
1101 </dict>
1102 <key>ranges</key>
1103 <array>
1104 <array>
1105 <dict>
1106 <key>line</key><integer>41</integer>
1107 <key>col</key><integer>9</integer>
1108 <key>file</key><integer>0</integer>
1109 </dict>
1110 <dict>
1111 <key>line</key><integer>41</integer>
1112 <key>col</key><integer>14</integer>
1113 <key>file</key><integer>0</integer>
1114 </dict>
1115 </array>
1116 </array>
1117 <key>depth</key><integer>0</integer>
1118 <key>extended_message</key>
1119 <string>Assuming &apos;y&apos; is equal to 2</string>
1120 <key>message</key>
1121 <string>Assuming &apos;y&apos; is equal to 2</string>
1122 </dict>
1123 <dict>
1124 <key>kind</key><string>control</string>
1125 <key>edges</key>
1126 <array>
1127 <dict>
1128 <key>start</key>
1129 <array>
1130 <dict>
1131 <key>line</key><integer>41</integer>
1132 <key>col</key><integer>9</integer>
1133 <key>file</key><integer>0</integer>
1134 </dict>
1135 <dict>
1136 <key>line</key><integer>41</integer>
1137 <key>col</key><integer>9</integer>
1138 <key>file</key><integer>0</integer>
1139 </dict>
1140 </array>
1141 <key>end</key>
1142 <array>
1143 <dict>
1144 <key>line</key><integer>42</integer>
1145 <key>col</key><integer>7</integer>
1146 <key>file</key><integer>0</integer>
1147 </dict>
1148 <dict>
1149 <key>line</key><integer>42</integer>
1150 <key>col</key><integer>7</integer>
1151 <key>file</key><integer>0</integer>
1152 </dict>
1153 </array>
1154 </dict>
1155 </array>
1156 </dict>
1157 <dict>
1158 <key>kind</key><string>control</string>
1159 <key>edges</key>
1160 <array>
1161 <dict>
1162 <key>start</key>
1163 <array>
1164 <dict>
1165 <key>line</key><integer>42</integer>
1166 <key>col</key><integer>7</integer>
1167 <key>file</key><integer>0</integer>
1168 </dict>
1169 <dict>
1170 <key>line</key><integer>42</integer>
1171 <key>col</key><integer>7</integer>
1172 <key>file</key><integer>0</integer>
1173 </dict>
1174 </array>
1175 <key>end</key>
1176 <array>
1177 <dict>
1178 <key>line</key><integer>42</integer>
1179 <key>col</key><integer>26</integer>
1180 <key>file</key><integer>0</integer>
1181 </dict>
1182 <dict>
1183 <key>line</key><integer>42</integer>
1184 <key>col</key><integer>26</integer>
1185 <key>file</key><integer>0</integer>
1186 </dict>
1187 </array>
1188 </dict>
1189 </array>
1190 </dict>
1191 <dict>
1192 <key>kind</key><string>event</string>
1193 <key>location</key>
1194 <dict>
1195 <key>line</key><integer>42</integer>
1196 <key>col</key><integer>26</integer>
1197 <key>file</key><integer>0</integer>
1198 </dict>
1199 <key>ranges</key>
1200 <array>
1201 <array>
1202 <dict>
1203 <key>line</key><integer>42</integer>
1204 <key>col</key><integer>7</integer>
1205 <key>file</key><integer>0</integer>
1206 </dict>
1207 <dict>
1208 <key>line</key><integer>42</integer>
1209 <key>col</key><integer>28</integer>
1210 <key>file</key><integer>0</integer>
1211 </dict>
1212 </array>
1213 </array>
1214 <key>depth</key><integer>0</integer>
1215 <key>extended_message</key>
1216 <string>Dereference of null pointer</string>
1217 <key>message</key>
1218 <string>Dereference of null pointer</string>
1219 </dict>
1220 </array>
1221 <key>description</key><string>Dereference of null pointer</string>
1222 <key>category</key><string>Logic error</string>
1223 <key>type</key><string>Dereference of null pointer</string>
1224 <key>check_name</key><string>core.NullDereference</string>
1225 <!-- This hash is experimental and going to change! -->
1226 <key>issue_hash_content_of_line_in_context</key><string>7bc3cb8a56be029296ec61f7ee83fc9e</string>
1227 <key>issue_context_kind</key><string>function</string>
1228 <key>issue_context</key><string>testLoopOpaqueCollection</string>
1229 <key>issue_hash_function_offset</key><string>5</string>
1230 <key>location</key>
1231 <dict>
1232 <key>line</key><integer>42</integer>
1233 <key>col</key><integer>26</integer>
1234 <key>file</key><integer>0</integer>
1235 </dict>
1236 <key>ExecutedLines</key>
1237 <dict>
1238 <key>0</key>
1239 <array>
1240 <integer>31</integer>
1241 <integer>32</integer>
1242 <integer>34</integer>
1243 <integer>37</integer>
1244 <integer>38</integer>
1245 <integer>39</integer>
1246 <integer>40</integer>
1247 <integer>41</integer>
1248 <integer>42</integer>
1249 </array>
1250 </dict>
1251 </dict>
1252 <dict>
1253 <key>path</key>
1254 <array>
1255 <dict>
1256 <key>kind</key><string>event</string>
1257 <key>location</key>
1258 <dict>
1259 <key>line</key><integer>38</integer>
1260 <key>col</key><integer>14</integer>
1261 <key>file</key><integer>0</integer>
1262 </dict>
1263 <key>ranges</key>
1264 <array>
1265 <array>
1266 <dict>
1267 <key>line</key><integer>38</integer>
1268 <key>col</key><integer>14</integer>
1269 <key>file</key><integer>0</integer>
1270 </dict>
1271 <dict>
1272 <key>line</key><integer>38</integer>
1273 <key>col</key><integer>14</integer>
1274 <key>file</key><integer>0</integer>
1275 </dict>
1276 </array>
1277 </array>
1278 <key>depth</key><integer>0</integer>
1279 <key>extended_message</key>
1280 <string>Loop body skipped when range is empty</string>
1281 <key>message</key>
1282 <string>Loop body skipped when range is empty</string>
1283 </dict>
1284 <dict>
1285 <key>kind</key><string>control</string>
1286 <key>edges</key>
1287 <array>
1288 <dict>
1289 <key>start</key>
1290 <array>
1291 <dict>
1292 <key>line</key><integer>38</integer>
1293 <key>col</key><integer>3</integer>
1294 <key>file</key><integer>0</integer>
1295 </dict>
1296 <dict>
1297 <key>line</key><integer>38</integer>
1298 <key>col</key><integer>5</integer>
1299 <key>file</key><integer>0</integer>
1300 </dict>
1301 </array>
1302 <key>end</key>
1303 <array>
1304 <dict>
1305 <key>line</key><integer>48</integer>
1306 <key>col</key><integer>3</integer>
1307 <key>file</key><integer>0</integer>
1308 </dict>
1309 <dict>
1310 <key>line</key><integer>48</integer>
1311 <key>col</key><integer>3</integer>
1312 <key>file</key><integer>0</integer>
1313 </dict>
1314 </array>
1315 </dict>
1316 </array>
1317 </dict>
1318 <dict>
1319 <key>kind</key><string>control</string>
1320 <key>edges</key>
1321 <array>
1322 <dict>
1323 <key>start</key>
1324 <array>
1325 <dict>
1326 <key>line</key><integer>48</integer>
1327 <key>col</key><integer>3</integer>
1328 <key>file</key><integer>0</integer>
1329 </dict>
1330 <dict>
1331 <key>line</key><integer>48</integer>
1332 <key>col</key><integer>3</integer>
1333 <key>file</key><integer>0</integer>
1334 </dict>
1335 </array>
1336 <key>end</key>
1337 <array>
1338 <dict>
1339 <key>line</key><integer>48</integer>
1340 <key>col</key><integer>22</integer>
1341 <key>file</key><integer>0</integer>
1342 </dict>
1343 <dict>
1344 <key>line</key><integer>48</integer>
1345 <key>col</key><integer>22</integer>
1346 <key>file</key><integer>0</integer>
1347 </dict>
1348 </array>
1349 </dict>
1350 </array>
1351 </dict>
1352 <dict>
1353 <key>kind</key><string>event</string>
1354 <key>location</key>
1355 <dict>
1356 <key>line</key><integer>48</integer>
1357 <key>col</key><integer>22</integer>
1358 <key>file</key><integer>0</integer>
1359 </dict>
1360 <key>ranges</key>
1361 <array>
1362 <array>
1363 <dict>
1364 <key>line</key><integer>48</integer>
1365 <key>col</key><integer>3</integer>
1366 <key>file</key><integer>0</integer>
1367 </dict>
1368 <dict>
1369 <key>line</key><integer>48</integer>
1370 <key>col</key><integer>24</integer>
1371 <key>file</key><integer>0</integer>
1372 </dict>
1373 </array>
1374 </array>
1375 <key>depth</key><integer>0</integer>
1376 <key>extended_message</key>
1377 <string>Dereference of null pointer</string>
1378 <key>message</key>
1379 <string>Dereference of null pointer</string>
1380 </dict>
1381 </array>
1382 <key>description</key><string>Dereference of null pointer</string>
1383 <key>category</key><string>Logic error</string>
1384 <key>type</key><string>Dereference of null pointer</string>
1385 <key>check_name</key><string>core.NullDereference</string>
1386 <!-- This hash is experimental and going to change! -->
1387 <key>issue_hash_content_of_line_in_context</key><string>dc7b457a64bd56c30467c1af44049756</string>
1388 <key>issue_context_kind</key><string>function</string>
1389 <key>issue_context</key><string>testLoopOpaqueCollection</string>
1390 <key>issue_hash_function_offset</key><string>11</string>
1391 <key>location</key>
1392 <dict>
1393 <key>line</key><integer>48</integer>
1394 <key>col</key><integer>22</integer>
1395 <key>file</key><integer>0</integer>
1396 </dict>
1397 <key>ExecutedLines</key>
1398 <dict>
1399 <key>0</key>
1400 <array>
1401 <integer>31</integer>
1402 <integer>32</integer>
1403 <integer>34</integer>
1404 <integer>37</integer>
1405 <integer>38</integer>
1406 <integer>48</integer>
1407 </array>
1408 </dict>
1409 </dict>
1410 <dict>
1411 <key>path</key>
1412 <array>
1413 <dict>
1414 <key>kind</key><string>event</string>
1415 <key>location</key>
1416 <dict>
1417 <key>line</key><integer>73</integer>
1418 <key>col</key><integer>14</integer>
1419 <key>file</key><integer>0</integer>
1420 </dict>
1421 <key>ranges</key>
1422 <array>
1423 <array>
1424 <dict>
1425 <key>line</key><integer>73</integer>
1426 <key>col</key><integer>14</integer>
1427 <key>file</key><integer>0</integer>
1428 </dict>
1429 <dict>
1430 <key>line</key><integer>73</integer>
1431 <key>col</key><integer>14</integer>
1432 <key>file</key><integer>0</integer>
1433 </dict>
1434 </array>
1435 </array>
1436 <key>depth</key><integer>0</integer>
1437 <key>extended_message</key>
1438 <string>Entering loop body</string>
1439 <key>message</key>
1440 <string>Entering loop body</string>
1441 </dict>
1442 <dict>
1443 <key>kind</key><string>control</string>
1444 <key>edges</key>
1445 <array>
1446 <dict>
1447 <key>start</key>
1448 <array>
1449 <dict>
1450 <key>line</key><integer>73</integer>
1451 <key>col</key><integer>3</integer>
1452 <key>file</key><integer>0</integer>
1453 </dict>
1454 <dict>
1455 <key>line</key><integer>73</integer>
1456 <key>col</key><integer>5</integer>
1457 <key>file</key><integer>0</integer>
1458 </dict>
1459 </array>
1460 <key>end</key>
1461 <array>
1462 <dict>
1463 <key>line</key><integer>74</integer>
1464 <key>col</key><integer>5</integer>
1465 <key>file</key><integer>0</integer>
1466 </dict>
1467 <dict>
1468 <key>line</key><integer>74</integer>
1469 <key>col</key><integer>8</integer>
1470 <key>file</key><integer>0</integer>
1471 </dict>
1472 </array>
1473 </dict>
1474 </array>
1475 </dict>
1476 <dict>
1477 <key>kind</key><string>control</string>
1478 <key>edges</key>
1479 <array>
1480 <dict>
1481 <key>start</key>
1482 <array>
1483 <dict>
1484 <key>line</key><integer>74</integer>
1485 <key>col</key><integer>5</integer>
1486 <key>file</key><integer>0</integer>
1487 </dict>
1488 <dict>
1489 <key>line</key><integer>74</integer>
1490 <key>col</key><integer>8</integer>
1491 <key>file</key><integer>0</integer>
1492 </dict>
1493 </array>
1494 <key>end</key>
1495 <array>
1496 <dict>
1497 <key>line</key><integer>76</integer>
1498 <key>col</key><integer>5</integer>
1499 <key>file</key><integer>0</integer>
1500 </dict>
1501 <dict>
1502 <key>line</key><integer>76</integer>
1503 <key>col</key><integer>6</integer>
1504 <key>file</key><integer>0</integer>
1505 </dict>
1506 </array>
1507 </dict>
1508 </array>
1509 </dict>
1510 <dict>
1511 <key>kind</key><string>control</string>
1512 <key>edges</key>
1513 <array>
1514 <dict>
1515 <key>start</key>
1516 <array>
1517 <dict>
1518 <key>line</key><integer>76</integer>
1519 <key>col</key><integer>5</integer>
1520 <key>file</key><integer>0</integer>
1521 </dict>
1522 <dict>
1523 <key>line</key><integer>76</integer>
1524 <key>col</key><integer>6</integer>
1525 <key>file</key><integer>0</integer>
1526 </dict>
1527 </array>
1528 <key>end</key>
1529 <array>
1530 <dict>
1531 <key>line</key><integer>76</integer>
1532 <key>col</key><integer>9</integer>
1533 <key>file</key><integer>0</integer>
1534 </dict>
1535 <dict>
1536 <key>line</key><integer>76</integer>
1537 <key>col</key><integer>9</integer>
1538 <key>file</key><integer>0</integer>
1539 </dict>
1540 </array>
1541 </dict>
1542 </array>
1543 </dict>
1544 <dict>
1545 <key>kind</key><string>event</string>
1546 <key>location</key>
1547 <dict>
1548 <key>line</key><integer>76</integer>
1549 <key>col</key><integer>9</integer>
1550 <key>file</key><integer>0</integer>
1551 </dict>
1552 <key>ranges</key>
1553 <array>
1554 <array>
1555 <dict>
1556 <key>line</key><integer>76</integer>
1557 <key>col</key><integer>9</integer>
1558 <key>file</key><integer>0</integer>
1559 </dict>
1560 <dict>
1561 <key>line</key><integer>76</integer>
1562 <key>col</key><integer>14</integer>
1563 <key>file</key><integer>0</integer>
1564 </dict>
1565 </array>
1566 </array>
1567 <key>depth</key><integer>0</integer>
1568 <key>extended_message</key>
1569 <string>Assuming &apos;y&apos; is equal to 2</string>
1570 <key>message</key>
1571 <string>Assuming &apos;y&apos; is equal to 2</string>
1572 </dict>
1573 <dict>
1574 <key>kind</key><string>control</string>
1575 <key>edges</key>
1576 <array>
1577 <dict>
1578 <key>start</key>
1579 <array>
1580 <dict>
1581 <key>line</key><integer>76</integer>
1582 <key>col</key><integer>9</integer>
1583 <key>file</key><integer>0</integer>
1584 </dict>
1585 <dict>
1586 <key>line</key><integer>76</integer>
1587 <key>col</key><integer>9</integer>
1588 <key>file</key><integer>0</integer>
1589 </dict>
1590 </array>
1591 <key>end</key>
1592 <array>
1593 <dict>
1594 <key>line</key><integer>77</integer>
1595 <key>col</key><integer>7</integer>
1596 <key>file</key><integer>0</integer>
1597 </dict>
1598 <dict>
1599 <key>line</key><integer>77</integer>
1600 <key>col</key><integer>7</integer>
1601 <key>file</key><integer>0</integer>
1602 </dict>
1603 </array>
1604 </dict>
1605 </array>
1606 </dict>
1607 <dict>
1608 <key>kind</key><string>control</string>
1609 <key>edges</key>
1610 <array>
1611 <dict>
1612 <key>start</key>
1613 <array>
1614 <dict>
1615 <key>line</key><integer>77</integer>
1616 <key>col</key><integer>7</integer>
1617 <key>file</key><integer>0</integer>
1618 </dict>
1619 <dict>
1620 <key>line</key><integer>77</integer>
1621 <key>col</key><integer>7</integer>
1622 <key>file</key><integer>0</integer>
1623 </dict>
1624 </array>
1625 <key>end</key>
1626 <array>
1627 <dict>
1628 <key>line</key><integer>77</integer>
1629 <key>col</key><integer>26</integer>
1630 <key>file</key><integer>0</integer>
1631 </dict>
1632 <dict>
1633 <key>line</key><integer>77</integer>
1634 <key>col</key><integer>26</integer>
1635 <key>file</key><integer>0</integer>
1636 </dict>
1637 </array>
1638 </dict>
1639 </array>
1640 </dict>
1641 <dict>
1642 <key>kind</key><string>event</string>
1643 <key>location</key>
1644 <dict>
1645 <key>line</key><integer>77</integer>
1646 <key>col</key><integer>26</integer>
1647 <key>file</key><integer>0</integer>
1648 </dict>
1649 <key>ranges</key>
1650 <array>
1651 <array>
1652 <dict>
1653 <key>line</key><integer>77</integer>
1654 <key>col</key><integer>7</integer>
1655 <key>file</key><integer>0</integer>
1656 </dict>
1657 <dict>
1658 <key>line</key><integer>77</integer>
1659 <key>col</key><integer>28</integer>
1660 <key>file</key><integer>0</integer>
1661 </dict>
1662 </array>
1663 </array>
1664 <key>depth</key><integer>0</integer>
1665 <key>extended_message</key>
1666 <string>Dereference of null pointer</string>
1667 <key>message</key>
1668 <string>Dereference of null pointer</string>
1669 </dict>
1670 </array>
1671 <key>description</key><string>Dereference of null pointer</string>
1672 <key>category</key><string>Logic error</string>
1673 <key>type</key><string>Dereference of null pointer</string>
1674 <key>check_name</key><string>core.NullDereference</string>
1675 <!-- This hash is experimental and going to change! -->
1676 <key>issue_hash_content_of_line_in_context</key><string>f4697ded3a92318349a3969238e05387</string>
1677 <key>issue_context_kind</key><string>function</string>
1678 <key>issue_context</key><string>testLoopOpaqueIterator</string>
1679 <key>issue_hash_function_offset</key><string>5</string>
1680 <key>location</key>
1681 <dict>
1682 <key>line</key><integer>77</integer>
1683 <key>col</key><integer>26</integer>
1684 <key>file</key><integer>0</integer>
1685 </dict>
1686 <key>ExecutedLines</key>
1687 <dict>
1688 <key>0</key>
1689 <array>
1690 <integer>68</integer>
1691 <integer>69</integer>
1692 <integer>72</integer>
1693 <integer>73</integer>
1694 <integer>74</integer>
1695 <integer>75</integer>
1696 <integer>76</integer>
1697 <integer>77</integer>
1698 </array>
1699 </dict>
1700 </dict>
1701 <dict>
1702 <key>path</key>
1703 <array>
1704 <dict>
1705 <key>kind</key><string>event</string>
1706 <key>location</key>
1707 <dict>
1708 <key>line</key><integer>73</integer>
1709 <key>col</key><integer>14</integer>
1710 <key>file</key><integer>0</integer>
1711 </dict>
1712 <key>ranges</key>
1713 <array>
1714 <array>
1715 <dict>
1716 <key>line</key><integer>73</integer>
1717 <key>col</key><integer>14</integer>
1718 <key>file</key><integer>0</integer>
1719 </dict>
1720 <dict>
1721 <key>line</key><integer>73</integer>
1722 <key>col</key><integer>14</integer>
1723 <key>file</key><integer>0</integer>
1724 </dict>
1725 </array>
1726 </array>
1727 <key>depth</key><integer>0</integer>
1728 <key>extended_message</key>
1729 <string>Loop body skipped when range is empty</string>
1730 <key>message</key>
1731 <string>Loop body skipped when range is empty</string>
1732 </dict>
1733 <dict>
1734 <key>kind</key><string>control</string>
1735 <key>edges</key>
1736 <array>
1737 <dict>
1738 <key>start</key>
1739 <array>
1740 <dict>
1741 <key>line</key><integer>73</integer>
1742 <key>col</key><integer>3</integer>
1743 <key>file</key><integer>0</integer>
1744 </dict>
1745 <dict>
1746 <key>line</key><integer>73</integer>
1747 <key>col</key><integer>5</integer>
1748 <key>file</key><integer>0</integer>
1749 </dict>
1750 </array>
1751 <key>end</key>
1752 <array>
1753 <dict>
1754 <key>line</key><integer>83</integer>
1755 <key>col</key><integer>3</integer>
1756 <key>file</key><integer>0</integer>
1757 </dict>
1758 <dict>
1759 <key>line</key><integer>83</integer>
1760 <key>col</key><integer>3</integer>
1761 <key>file</key><integer>0</integer>
1762 </dict>
1763 </array>
1764 </dict>
1765 </array>
1766 </dict>
1767 <dict>
1768 <key>kind</key><string>control</string>
1769 <key>edges</key>
1770 <array>
1771 <dict>
1772 <key>start</key>
1773 <array>
1774 <dict>
1775 <key>line</key><integer>83</integer>
1776 <key>col</key><integer>3</integer>
1777 <key>file</key><integer>0</integer>
1778 </dict>
1779 <dict>
1780 <key>line</key><integer>83</integer>
1781 <key>col</key><integer>3</integer>
1782 <key>file</key><integer>0</integer>
1783 </dict>
1784 </array>
1785 <key>end</key>
1786 <array>
1787 <dict>
1788 <key>line</key><integer>83</integer>
1789 <key>col</key><integer>22</integer>
1790 <key>file</key><integer>0</integer>
1791 </dict>
1792 <dict>
1793 <key>line</key><integer>83</integer>
1794 <key>col</key><integer>22</integer>
1795 <key>file</key><integer>0</integer>
1796 </dict>
1797 </array>
1798 </dict>
1799 </array>
1800 </dict>
1801 <dict>
1802 <key>kind</key><string>event</string>
1803 <key>location</key>
1804 <dict>
1805 <key>line</key><integer>83</integer>
1806 <key>col</key><integer>22</integer>
1807 <key>file</key><integer>0</integer>
1808 </dict>
1809 <key>ranges</key>
1810 <array>
1811 <array>
1812 <dict>
1813 <key>line</key><integer>83</integer>
1814 <key>col</key><integer>3</integer>
1815 <key>file</key><integer>0</integer>
1816 </dict>
1817 <dict>
1818 <key>line</key><integer>83</integer>
1819 <key>col</key><integer>24</integer>
1820 <key>file</key><integer>0</integer>
1821 </dict>
1822 </array>
1823 </array>
1824 <key>depth</key><integer>0</integer>
1825 <key>extended_message</key>
1826 <string>Dereference of null pointer</string>
1827 <key>message</key>
1828 <string>Dereference of null pointer</string>
1829 </dict>
1830 </array>
1831 <key>description</key><string>Dereference of null pointer</string>
1832 <key>category</key><string>Logic error</string>
1833 <key>type</key><string>Dereference of null pointer</string>
1834 <key>check_name</key><string>core.NullDereference</string>
1835 <!-- This hash is experimental and going to change! -->
1836 <key>issue_hash_content_of_line_in_context</key><string>6855b29ad2407a5af43c57f062bc4602</string>
1837 <key>issue_context_kind</key><string>function</string>
1838 <key>issue_context</key><string>testLoopOpaqueIterator</string>
1839 <key>issue_hash_function_offset</key><string>11</string>
1840 <key>location</key>
1841 <dict>
1842 <key>line</key><integer>83</integer>
1843 <key>col</key><integer>22</integer>
1844 <key>file</key><integer>0</integer>
1845 </dict>
1846 <key>ExecutedLines</key>
1847 <dict>
1848 <key>0</key>
1849 <array>
1850 <integer>68</integer>
1851 <integer>69</integer>
1852 <integer>72</integer>
1853 <integer>73</integer>
1854 <integer>83</integer>
1855 </array>
1856 </dict>
1857 </dict>
1858 <dict>
1859 <key>path</key>
1860 <array>
1861 <dict>
1862 <key>kind</key><string>control</string>
1863 <key>edges</key>
1864 <array>
1865 <dict>
1866 <key>start</key>
1867 <array>
1868 <dict>
1869 <key>line</key><integer>102</integer>
1870 <key>col</key><integer>3</integer>
1871 <key>file</key><integer>0</integer>
1872 </dict>
1873 <dict>
1874 <key>line</key><integer>102</integer>
1875 <key>col</key><integer>5</integer>
1876 <key>file</key><integer>0</integer>
1877 </dict>
1878 </array>
1879 <key>end</key>
1880 <array>
1881 <dict>
1882 <key>line</key><integer>102</integer>
1883 <key>col</key><integer>8</integer>
1884 <key>file</key><integer>0</integer>
1885 </dict>
1886 <dict>
1887 <key>line</key><integer>102</integer>
1888 <key>col</key><integer>10</integer>
1889 <key>file</key><integer>0</integer>
1890 </dict>
1891 </array>
1892 </dict>
1893 </array>
1894 </dict>
1895 <dict>
1896 <key>kind</key><string>event</string>
1897 <key>location</key>
1898 <dict>
1899 <key>line</key><integer>102</integer>
1900 <key>col</key><integer>8</integer>
1901 <key>file</key><integer>0</integer>
1902 </dict>
1903 <key>ranges</key>
1904 <array>
1905 <array>
1906 <dict>
1907 <key>line</key><integer>102</integer>
1908 <key>col</key><integer>8</integer>
1909 <key>file</key><integer>0</integer>
1910 </dict>
1911 <dict>
1912 <key>line</key><integer>102</integer>
1913 <key>col</key><integer>15</integer>
1914 <key>file</key><integer>0</integer>
1915 </dict>
1916 </array>
1917 </array>
1918 <key>depth</key><integer>0</integer>
1919 <key>extended_message</key>
1920 <string>Initializing to a null pointer value</string>
1921 <key>message</key>
1922 <string>Initializing to a null pointer value</string>
1923 </dict>
1924 <dict>
1925 <key>kind</key><string>control</string>
1926 <key>edges</key>
1927 <array>
1928 <dict>
1929 <key>start</key>
1930 <array>
1931 <dict>
1932 <key>line</key><integer>102</integer>
1933 <key>col</key><integer>8</integer>
1934 <key>file</key><integer>0</integer>
1935 </dict>
1936 <dict>
1937 <key>line</key><integer>102</integer>
1938 <key>col</key><integer>10</integer>
1939 <key>file</key><integer>0</integer>
1940 </dict>
1941 </array>
1942 <key>end</key>
1943 <array>
1944 <dict>
1945 <key>line</key><integer>102</integer>
1946 <key>col</key><integer>58</integer>
1947 <key>file</key><integer>0</integer>
1948 </dict>
1949 <dict>
1950 <key>line</key><integer>102</integer>
1951 <key>col</key><integer>58</integer>
1952 <key>file</key><integer>0</integer>
1953 </dict>
1954 </array>
1955 </dict>
1956 </array>
1957 </dict>
1958 <dict>
1959 <key>kind</key><string>event</string>
1960 <key>location</key>
1961 <dict>
1962 <key>line</key><integer>102</integer>
1963 <key>col</key><integer>58</integer>
1964 <key>file</key><integer>0</integer>
1965 </dict>
1966 <key>ranges</key>
1967 <array>
1968 <array>
1969 <dict>
1970 <key>line</key><integer>102</integer>
1971 <key>col</key><integer>58</integer>
1972 <key>file</key><integer>0</integer>
1973 </dict>
1974 <dict>
1975 <key>line</key><integer>102</integer>
1976 <key>col</key><integer>58</integer>
1977 <key>file</key><integer>0</integer>
1978 </dict>
1979 </array>
1980 </array>
1981 <key>depth</key><integer>0</integer>
1982 <key>extended_message</key>
1983 <string>Entering loop body</string>
1984 <key>message</key>
1985 <string>Entering loop body</string>
1986 </dict>
1987 <dict>
1988 <key>kind</key><string>control</string>
1989 <key>edges</key>
1990 <array>
1991 <dict>
1992 <key>start</key>
1993 <array>
1994 <dict>
1995 <key>line</key><integer>102</integer>
1996 <key>col</key><integer>58</integer>
1997 <key>file</key><integer>0</integer>
1998 </dict>
1999 <dict>
2000 <key>line</key><integer>102</integer>
2001 <key>col</key><integer>58</integer>
2002 <key>file</key><integer>0</integer>
2003 </dict>
2004 </array>
2005 <key>end</key>
2006 <array>
2007 <dict>
2008 <key>line</key><integer>102</integer>
2009 <key>col</key><integer>51</integer>
2010 <key>file</key><integer>0</integer>
2011 </dict>
2012 <dict>
2013 <key>line</key><integer>102</integer>
2014 <key>col</key><integer>53</integer>
2015 <key>file</key><integer>0</integer>
2016 </dict>
2017 </array>
2018 </dict>
2019 </array>
2020 </dict>
2021 <dict>
2022 <key>kind</key><string>event</string>
2023 <key>location</key>
2024 <dict>
2025 <key>line</key><integer>102</integer>
2026 <key>col</key><integer>51</integer>
2027 <key>file</key><integer>0</integer>
2028 </dict>
2029 <key>ranges</key>
2030 <array>
2031 <array>
2032 <dict>
2033 <key>line</key><integer>102</integer>
2034 <key>col</key><integer>51</integer>
2035 <key>file</key><integer>0</integer>
2036 </dict>
2037 <dict>
2038 <key>line</key><integer>102</integer>
2039 <key>col</key><integer>56</integer>
2040 <key>file</key><integer>0</integer>
2041 </dict>
2042 </array>
2043 </array>
2044 <key>depth</key><integer>0</integer>
2045 <key>extended_message</key>
2046 <string>&apos;p&apos; initialized to a null pointer value</string>
2047 <key>message</key>
2048 <string>&apos;p&apos; initialized to a null pointer value</string>
2049 </dict>
2050 <dict>
2051 <key>kind</key><string>control</string>
2052 <key>edges</key>
2053 <array>
2054 <dict>
2055 <key>start</key>
2056 <array>
2057 <dict>
2058 <key>line</key><integer>102</integer>
2059 <key>col</key><integer>51</integer>
2060 <key>file</key><integer>0</integer>
2061 </dict>
2062 <dict>
2063 <key>line</key><integer>102</integer>
2064 <key>col</key><integer>53</integer>
2065 <key>file</key><integer>0</integer>
2066 </dict>
2067 </array>
2068 <key>end</key>
2069 <array>
2070 <dict>
2071 <key>line</key><integer>103</integer>
2072 <key>col</key><integer>8</integer>
2073 <key>file</key><integer>0</integer>
2074 </dict>
2075 <dict>
2076 <key>line</key><integer>103</integer>
2077 <key>col</key><integer>8</integer>
2078 <key>file</key><integer>0</integer>
2079 </dict>
2080 </array>
2081 </dict>
2082 </array>
2083 </dict>
2084 <dict>
2085 <key>kind</key><string>event</string>
2086 <key>location</key>
2087 <dict>
2088 <key>line</key><integer>103</integer>
2089 <key>col</key><integer>8</integer>
2090 <key>file</key><integer>0</integer>
2091 </dict>
2092 <key>ranges</key>
2093 <array>
2094 <array>
2095 <dict>
2096 <key>line</key><integer>103</integer>
2097 <key>col</key><integer>6</integer>
2098 <key>file</key><integer>0</integer>
2099 </dict>
2100 <dict>
2101 <key>line</key><integer>103</integer>
2102 <key>col</key><integer>6</integer>
2103 <key>file</key><integer>0</integer>
2104 </dict>
2105 </array>
2106 </array>
2107 <key>depth</key><integer>0</integer>
2108 <key>extended_message</key>
2109 <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
2110 <key>message</key>
2111 <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
2112 </dict>
2113 </array>
2114 <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
2115 <key>category</key><string>Logic error</string>
2116 <key>type</key><string>Dereference of null pointer</string>
2117 <key>check_name</key><string>core.NullDereference</string>
2118 <!-- This hash is experimental and going to change! -->
2119 <key>issue_hash_content_of_line_in_context</key><string>ad377f8d4510dfd77d6485c402d57a2d</string>
2120 <key>issue_context_kind</key><string>function</string>
2121 <key>issue_context</key><string>testForRangeInit</string>
2122 <key>issue_hash_function_offset</key><string>2</string>
2123 <key>location</key>
2124 <dict>
2125 <key>line</key><integer>103</integer>
2126 <key>col</key><integer>8</integer>
2127 <key>file</key><integer>0</integer>
2128 </dict>
2129 <key>ExecutedLines</key>
2130 <dict>
2131 <key>0</key>
2132 <array>
2133 <integer>101</integer>
2134 <integer>102</integer>
2135 <integer>103</integer>
2136 </array>
2137 </dict>
2138 </dict>
2139 </array>
2140 <key>files</key>
2141 <array>
2142 </array>
2143 </dict>
2144 </plist>