Lines Matching full:key

84 // CHECK:  <key>diagnostics</key>
87 // CHECK-NEXT:    <key>path</key>
90 // CHECK-NEXT:      <key>kind</key><string>control</string>
91 // CHECK-NEXT:      <key>edges</key>
94 // CHECK-NEXT:         <key>start</key>
97 // CHECK-NEXT:            <key>line</key><integer>6</integer>
98 // CHECK-NEXT:            <key>col</key><integer>3</integer>
99 // CHECK-NEXT:            <key>file</key><integer>0</integer>
102 // CHECK-NEXT:            <key>line</key><integer>6</integer>
103 // CHECK-NEXT:            <key>col</key><integer>5</integer>
104 // CHECK-NEXT:            <key>file</key><integer>0</integer>
107 // CHECK-NEXT:         <key>end</key>
110 // CHECK-NEXT:            <key>line</key><integer>6</integer>
111 // CHECK-NEXT:            <key>col</key><integer>12</integer>
112 // CHECK-NEXT:            <key>file</key><integer>0</integer>
115 // CHECK-NEXT:            <key>line</key><integer>6</integer>
116 // CHECK-NEXT:            <key>col</key><integer>12</integer>
117 // CHECK-NEXT:            <key>file</key><integer>0</integer>
124 // CHECK-NEXT:      <key>kind</key><string>event</string>
125 // CHECK-NEXT:      <key>location</key>
127 // CHECK-NEXT:       <key>line</key><integer>6</integer>
128 // CHECK-NEXT:       <key>col</key><integer>12</integer>
129 // CHECK-NEXT:       <key>file</key><integer>0</integer>
131 // CHECK-NEXT:      <key>ranges</key>
135 // CHECK-NEXT:          <key>line</key><integer>6</integer>
136 // CHECK-NEXT:          <key>col</key><integer>12</integer>
137 // CHECK-NEXT:          <key>file</key><integer>0</integer>
140 // CHECK-NEXT:          <key>line</key><integer>6</integer>
141 // CHECK-NEXT:          <key>col</key><integer>12</integer>
142 // CHECK-NEXT:          <key>file</key><integer>0</integer>
146 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
147 // CHECK-NEXT:      <key>extended_message</key>
149 // CHECK-NEXT:      <key>message</key>
153 // CHECK-NEXT:      <key>kind</key><string>control</string>
154 // CHECK-NEXT:      <key>edges</key>
157 // CHECK-NEXT:         <key>start</key>
160 // CHECK-NEXT:            <key>line</key><integer>6</integer>
161 // CHECK-NEXT:            <key>col</key><integer>12</integer>
162 // CHECK-NEXT:            <key>file</key><integer>0</integer>
165 // CHECK-NEXT:            <key>line</key><integer>6</integer>
166 // CHECK-NEXT:            <key>col</key><integer>12</integer>
167 // CHECK-NEXT:            <key>file</key><integer>0</integer>
170 // CHECK-NEXT:         <key>end</key>
173 // CHECK-NEXT:            <key>line</key><integer>6</integer>
174 // CHECK-NEXT:            <key>col</key><integer>20</integer>
175 // CHECK-NEXT:            <key>file</key><integer>0</integer>
178 // CHECK-NEXT:            <key>line</key><integer>6</integer>
179 // CHECK-NEXT:            <key>col</key><integer>20</integer>
180 // CHECK-NEXT:            <key>file</key><integer>0</integer>
187 // CHECK-NEXT:      <key>kind</key><string>control</string>
188 // CHECK-NEXT:      <key>edges</key>
191 // CHECK-NEXT:         <key>start</key>
194 // CHECK-NEXT:            <key>line</key><integer>6</integer>
195 // CHECK-NEXT:            <key>col</key><integer>20</integer>
196 // CHECK-NEXT:            <key>file</key><integer>0</integer>
199 // CHECK-NEXT:            <key>line</key><integer>6</integer>
200 // CHECK-NEXT:            <key>col</key><integer>20</integer>
201 // CHECK-NEXT:            <key>file</key><integer>0</integer>
204 // CHECK-NEXT:         <key>end</key>
207 // CHECK-NEXT:            <key>line</key><integer>6</integer>
208 // CHECK-NEXT:            <key>col</key><integer>3</integer>
209 // CHECK-NEXT:            <key>file</key><integer>0</integer>
212 // CHECK-NEXT:            <key>line</key><integer>6</integer>
213 // CHECK-NEXT:            <key>col</key><integer>5</integer>
214 // CHECK-NEXT:            <key>file</key><integer>0</integer>
221 // CHECK-NEXT:      <key>kind</key><string>event</string>
222 // CHECK-NEXT:      <key>location</key>
224 // CHECK-NEXT:       <key>line</key><integer>6</integer>
225 // CHECK-NEXT:       <key>col</key><integer>3</integer>
226 // CHECK-NEXT:       <key>file</key><integer>0</integer>
228 // CHECK-NEXT:      <key>ranges</key>
232 // CHECK-NEXT:          <key>line</key><integer>6</integer>
233 // CHECK-NEXT:          <key>col</key><integer>3</integer>
234 // CHECK-NEXT:          <key>file</key><integer>0</integer>
237 // CHECK-NEXT:          <key>line</key><integer>6</integer>
238 // CHECK-NEXT:          <key>col</key><integer>8</integer>
239 // CHECK-NEXT:          <key>file</key><integer>0</integer>
243 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
244 // CHECK-NEXT:      <key>extended_message</key>
246 // CHECK-NEXT:      <key>message</key>
250 // CHECK-NEXT:      <key>kind</key><string>control</string>
251 // CHECK-NEXT:      <key>edges</key>
254 // CHECK-NEXT:         <key>start</key>
257 // CHECK-NEXT:            <key>line</key><integer>6</integer>
258 // CHECK-NEXT:            <key>col</key><integer>3</integer>
259 // CHECK-NEXT:            <key>file</key><integer>0</integer>
262 // CHECK-NEXT:            <key>line</key><integer>6</integer>
263 // CHECK-NEXT:            <key>col</key><integer>5</integer>
264 // CHECK-NEXT:            <key>file</key><integer>0</integer>
267 // CHECK-NEXT:         <key>end</key>
270 // CHECK-NEXT:            <key>line</key><integer>10</integer>
271 // CHECK-NEXT:            <key>col</key><integer>6</integer>
272 // CHECK-NEXT:            <key>file</key><integer>0</integer>
275 // CHECK-NEXT:            <key>line</key><integer>10</integer>
276 // CHECK-NEXT:            <key>col</key><integer>6</integer>
277 // CHECK-NEXT:            <key>file</key><integer>0</integer>
284 // CHECK-NEXT:      <key>kind</key><string>event</string>
285 // CHECK-NEXT:      <key>location</key>
287 // CHECK-NEXT:       <key>line</key><integer>10</integer>
288 // CHECK-NEXT:       <key>col</key><integer>6</integer>
289 // CHECK-NEXT:       <key>file</key><integer>0</integer>
291 // CHECK-NEXT:      <key>ranges</key>
295 // CHECK-NEXT:          <key>line</key><integer>10</integer>
296 // CHECK-NEXT:          <key>col</key><integer>4</integer>
297 // CHECK-NEXT:          <key>file</key><integer>0</integer>
300 // CHECK-NEXT:          <key>line</key><integer>10</integer>
301 // CHECK-NEXT:          <key>col</key><integer>4</integer>
302 // CHECK-NEXT:          <key>file</key><integer>0</integer>
306 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
307 // CHECK-NEXT:      <key>extended_message</key>
309 // CHECK-NEXT:      <key>message</key>
313 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from variable &…
314 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
315 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
316 // CHECK-NEXT:    <key>check_name</key><string>core.NullDereference</string>
318 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>8ea3f4e6a3100c73f078fac15…
319 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
320 // CHECK-NEXT:   <key>issue_context</key><string>testCondOp</string>
321 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>5</string>
322 // CHECK-NEXT:   <key>location</key>
324 // CHECK-NEXT:    <key>line</key><integer>10</integer>
325 // CHECK-NEXT:    <key>col</key><integer>6</integer>
326 // CHECK-NEXT:    <key>file</key><integer>0</integer>
330 // CHECK-NEXT:    <key>path</key>
333 // CHECK-NEXT:      <key>kind</key><string>control</string>
334 // CHECK-NEXT:      <key>edges</key>
337 // CHECK-NEXT:         <key>start</key>
340 // CHECK-NEXT:            <key>line</key><integer>15</integer>
341 // CHECK-NEXT:            <key>col</key><integer>3</integer>
342 // CHECK-NEXT:            <key>file</key><integer>0</integer>
345 // CHECK-NEXT:            <key>line</key><integer>15</integer>
346 // CHECK-NEXT:            <key>col</key><integer>4</integer>
347 // CHECK-NEXT:            <key>file</key><integer>0</integer>
350 // CHECK-NEXT:         <key>end</key>
353 // CHECK-NEXT:            <key>line</key><integer>15</integer>
354 // CHECK-NEXT:            <key>col</key><integer>7</integer>
355 // CHECK-NEXT:            <key>file</key><integer>0</integer>
358 // CHECK-NEXT:            <key>line</key><integer>15</integer>
359 // CHECK-NEXT:            <key>col</key><integer>7</integer>
360 // CHECK-NEXT:            <key>file</key><integer>0</integer>
367 // CHECK-NEXT:      <key>kind</key><string>event</string>
368 // CHECK-NEXT:      <key>location</key>
370 // CHECK-NEXT:       <key>line</key><integer>15</integer>
371 // CHECK-NEXT:       <key>col</key><integer>7</integer>
372 // CHECK-NEXT:       <key>file</key><integer>0</integer>
374 // CHECK-NEXT:      <key>ranges</key>
378 // CHECK-NEXT:          <key>line</key><integer>15</integer>
379 // CHECK-NEXT:          <key>col</key><integer>7</integer>
380 // CHECK-NEXT:          <key>file</key><integer>0</integer>
383 // CHECK-NEXT:          <key>line</key><integer>15</integer>
384 // CHECK-NEXT:          <key>col</key><integer>7</integer>
385 // CHECK-NEXT:          <key>file</key><integer>0</integer>
389 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
390 // CHECK-NEXT:      <key>extended_message</key>
392 // CHECK-NEXT:      <key>message</key>
396 // CHECK-NEXT:      <key>kind</key><string>control</string>
397 // CHECK-NEXT:      <key>edges</key>
400 // CHECK-NEXT:         <key>start</key>
403 // CHECK-NEXT:            <key>line</key><integer>15</integer>
404 // CHECK-NEXT:            <key>col</key><integer>7</integer>
405 // CHECK-NEXT:            <key>file</key><integer>0</integer>
408 // CHECK-NEXT:            <key>line</key><integer>15</integer>
409 // CHECK-NEXT:            <key>col</key><integer>7</integer>
410 // CHECK-NEXT:            <key>file</key><integer>0</integer>
413 // CHECK-NEXT:         <key>end</key>
416 // CHECK-NEXT:            <key>line</key><integer>19</integer>
417 // CHECK-NEXT:            <key>col</key><integer>11</integer>
418 // CHECK-NEXT:            <key>file</key><integer>0</integer>
421 // CHECK-NEXT:            <key>line</key><integer>19</integer>
422 // CHECK-NEXT:            <key>col</key><integer>11</integer>
423 // CHECK-NEXT:            <key>file</key><integer>0</integer>
430 // CHECK-NEXT:      <key>kind</key><string>event</string>
431 // CHECK-NEXT:      <key>location</key>
433 // CHECK-NEXT:       <key>line</key><integer>19</integer>
434 // CHECK-NEXT:       <key>col</key><integer>11</integer>
435 // CHECK-NEXT:       <key>file</key><integer>0</integer>
437 // CHECK-NEXT:      <key>ranges</key>
441 // CHECK-NEXT:          <key>line</key><integer>19</integer>
442 // CHECK-NEXT:          <key>col</key><integer>12</integer>
443 // CHECK-NEXT:          <key>file</key><integer>0</integer>
446 // CHECK-NEXT:          <key>line</key><integer>19</integer>
447 // CHECK-NEXT:          <key>col</key><integer>12</integer>
448 // CHECK-NEXT:          <key>file</key><integer>0</integer>
452 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
453 // CHECK-NEXT:      <key>extended_message</key>
455 // CHECK-NEXT:      <key>message</key>
459 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from variable &…
460 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
461 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
462 // CHECK-NEXT:    <key>check_name</key><string>core.NullDereference</string>
464 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>2c219a33e961fc1be7d54b700…
465 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
466 // CHECK-NEXT:   <key>issue_context</key><string>testCondProblem</string>
467 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>5</string>
468 // CHECK-NEXT:   <key>location</key>
470 // CHECK-NEXT:    <key>line</key><integer>19</integer>
471 // CHECK-NEXT:    <key>col</key><integer>11</integer>
472 // CHECK-NEXT:    <key>file</key><integer>0</integer>
476 // CHECK-NEXT:    <key>path</key>
479 // CHECK-NEXT:      <key>kind</key><string>control</string>
480 // CHECK-NEXT:      <key>edges</key>
483 // CHECK-NEXT:         <key>start</key>
486 // CHECK-NEXT:            <key>line</key><integer>25</integer>
487 // CHECK-NEXT:            <key>col</key><integer>3</integer>
488 // CHECK-NEXT:            <key>file</key><integer>0</integer>
491 // CHECK-NEXT:            <key>line</key><integer>25</integer>
492 // CHECK-NEXT:            <key>col</key><integer>5</integer>
493 // CHECK-NEXT:            <key>file</key><integer>0</integer>
496 // CHECK-NEXT:         <key>end</key>
499 // CHECK-NEXT:            <key>line</key><integer>25</integer>
500 // CHECK-NEXT:            <key>col</key><integer>11</integer>
501 // CHECK-NEXT:            <key>file</key><integer>0</integer>
504 // CHECK-NEXT:            <key>line</key><integer>25</integer>
505 // CHECK-NEXT:            <key>col</key><integer>11</integer>
506 // CHECK-NEXT:            <key>file</key><integer>0</integer>
513 // CHECK-NEXT:      <key>kind</key><string>event</string>
514 // CHECK-NEXT:      <key>location</key>
516 // CHECK-NEXT:       <key>line</key><integer>25</integer>
517 // CHECK-NEXT:       <key>col</key><integer>11</integer>
518 // CHECK-NEXT:       <key>file</key><integer>0</integer>
520 // CHECK-NEXT:      <key>ranges</key>
524 // CHECK-NEXT:          <key>line</key><integer>25</integer>
525 // CHECK-NEXT:          <key>col</key><integer>11</integer>
526 // CHECK-NEXT:          <key>file</key><integer>0</integer>
529 // CHECK-NEXT:          <key>line</key><integer>25</integer>
530 // CHECK-NEXT:          <key>col</key><integer>12</integer>
531 // CHECK-NEXT:          <key>file</key><integer>0</integer>
535 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
536 // CHECK-NEXT:      <key>extended_message</key>
538 // CHECK-NEXT:      <key>message</key>
542 // CHECK-NEXT:      <key>kind</key><string>control</string>
543 // CHECK-NEXT:      <key>edges</key>
546 // CHECK-NEXT:         <key>start</key>
549 // CHECK-NEXT:            <key>line</key><integer>25</integer>
550 // CHECK-NEXT:            <key>col</key><integer>11</integer>
551 // CHECK-NEXT:            <key>file</key><integer>0</integer>
554 // CHECK-NEXT:            <key>line</key><integer>25</integer>
555 // CHECK-NEXT:            <key>col</key><integer>11</integer>
556 // CHECK-NEXT:            <key>file</key><integer>0</integer>
559 // CHECK-NEXT:         <key>end</key>
562 // CHECK-NEXT:            <key>line</key><integer>25</integer>
563 // CHECK-NEXT:            <key>col</key><integer>16</integer>
564 // CHECK-NEXT:            <key>file</key><integer>0</integer>
567 // CHECK-NEXT:            <key>line</key><integer>25</integer>
568 // CHECK-NEXT:            <key>col</key><integer>16</integer>
569 // CHECK-NEXT:            <key>file</key><integer>0</integer>
576 // CHECK-NEXT:      <key>kind</key><string>event</string>
577 // CHECK-NEXT:      <key>location</key>
579 // CHECK-NEXT:       <key>line</key><integer>25</integer>
580 // CHECK-NEXT:       <key>col</key><integer>16</integer>
581 // CHECK-NEXT:       <key>file</key><integer>0</integer>
583 // CHECK-NEXT:      <key>ranges</key>
587 // CHECK-NEXT:          <key>line</key><integer>25</integer>
588 // CHECK-NEXT:          <key>col</key><integer>17</integer>
589 // CHECK-NEXT:          <key>file</key><integer>0</integer>
592 // CHECK-NEXT:          <key>line</key><integer>25</integer>
593 // CHECK-NEXT:          <key>col</key><integer>17</integer>
594 // CHECK-NEXT:          <key>file</key><integer>0</integer>
598 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
599 // CHECK-NEXT:      <key>extended_message</key>
601 // CHECK-NEXT:      <key>message</key>
605 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from variable &…
606 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
607 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
608 // CHECK-NEXT:    <key>check_name</key><string>core.NullDereference</string>
610 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>8d43b511137326eab7d124295…
611 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
612 // CHECK-NEXT:   <key>issue_context</key><string>testLHSProblem</string>
613 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>1</string>
614 // CHECK-NEXT:   <key>location</key>
616 // CHECK-NEXT:    <key>line</key><integer>25</integer>
617 // CHECK-NEXT:    <key>col</key><integer>16</integer>
618 // CHECK-NEXT:    <key>file</key><integer>0</integer>
622 // CHECK-NEXT:    <key>path</key>
625 // CHECK-NEXT:      <key>kind</key><string>control</string>
626 // CHECK-NEXT:      <key>edges</key>
629 // CHECK-NEXT:         <key>start</key>
632 // CHECK-NEXT:            <key>line</key><integer>33</integer>
633 // CHECK-NEXT:            <key>col</key><integer>3</integer>
634 // CHECK-NEXT:            <key>file</key><integer>0</integer>
637 // CHECK-NEXT:            <key>line</key><integer>33</integer>
638 // CHECK-NEXT:            <key>col</key><integer>5</integer>
639 // CHECK-NEXT:            <key>file</key><integer>0</integer>
642 // CHECK-NEXT:         <key>end</key>
645 // CHECK-NEXT:            <key>line</key><integer>33</integer>
646 // CHECK-NEXT:            <key>col</key><integer>11</integer>
647 // CHECK-NEXT:            <key>file</key><integer>0</integer>
650 // CHECK-NEXT:            <key>line</key><integer>33</integer>
651 // CHECK-NEXT:            <key>col</key><integer>11</integer>
652 // CHECK-NEXT:            <key>file</key><integer>0</integer>
659 // CHECK-NEXT:      <key>kind</key><string>event</string>
660 // CHECK-NEXT:      <key>location</key>
662 // CHECK-NEXT:       <key>line</key><integer>33</integer>
663 // CHECK-NEXT:       <key>col</key><integer>11</integer>
664 // CHECK-NEXT:       <key>file</key><integer>0</integer>
666 // CHECK-NEXT:      <key>ranges</key>
670 // CHECK-NEXT:          <key>line</key><integer>33</integer>
671 // CHECK-NEXT:          <key>col</key><integer>11</integer>
672 // CHECK-NEXT:          <key>file</key><integer>0</integer>
675 // CHECK-NEXT:          <key>line</key><integer>33</integer>
676 // CHECK-NEXT:          <key>col</key><integer>11</integer>
677 // CHECK-NEXT:          <key>file</key><integer>0</integer>
681 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
682 // CHECK-NEXT:      <key>extended_message</key>
684 // CHECK-NEXT:      <key>message</key>
688 // CHECK-NEXT:      <key>kind</key><string>control</string>
689 // CHECK-NEXT:      <key>edges</key>
692 // CHECK-NEXT:         <key>start</key>
695 // CHECK-NEXT:            <key>line</key><integer>33</integer>
696 // CHECK-NEXT:            <key>col</key><integer>11</integer>
697 // CHECK-NEXT:            <key>file</key><integer>0</integer>
700 // CHECK-NEXT:            <key>line</key><integer>33</integer>
701 // CHECK-NEXT:            <key>col</key><integer>11</integer>
702 // CHECK-NEXT:            <key>file</key><integer>0</integer>
705 // CHECK-NEXT:         <key>end</key>
708 // CHECK-NEXT:            <key>line</key><integer>33</integer>
709 // CHECK-NEXT:            <key>col</key><integer>19</integer>
710 // CHECK-NEXT:            <key>file</key><integer>0</integer>
713 // CHECK-NEXT:            <key>line</key><integer>33</integer>
714 // CHECK-NEXT:            <key>col</key><integer>19</integer>
715 // CHECK-NEXT:            <key>file</key><integer>0</integer>
722 // CHECK-NEXT:      <key>kind</key><string>event</string>
723 // CHECK-NEXT:      <key>location</key>
725 // CHECK-NEXT:       <key>line</key><integer>33</integer>
726 // CHECK-NEXT:       <key>col</key><integer>19</integer>
727 // CHECK-NEXT:       <key>file</key><integer>0</integer>
729 // CHECK-NEXT:      <key>ranges</key>
733 // CHECK-NEXT:          <key>line</key><integer>33</integer>
734 // CHECK-NEXT:          <key>col</key><integer>20</integer>
735 // CHECK-NEXT:          <key>file</key><integer>0</integer>
738 // CHECK-NEXT:          <key>line</key><integer>33</integer>
739 // CHECK-NEXT:          <key>col</key><integer>20</integer>
740 // CHECK-NEXT:          <key>file</key><integer>0</integer>
744 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
745 // CHECK-NEXT:      <key>extended_message</key>
747 // CHECK-NEXT:      <key>message</key>
751 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from variable &…
752 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
753 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
754 // CHECK-NEXT:    <key>check_name</key><string>core.NullDereference</string>
756 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>b8e93b7355a6779a960f9a942…
757 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
758 // CHECK-NEXT:   <key>issue_context</key><string>testRHSProblem</string>
759 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>1</string>
760 // CHECK-NEXT:   <key>location</key>
762 // CHECK-NEXT:    <key>line</key><integer>33</integer>
763 // CHECK-NEXT:    <key>col</key><integer>19</integer>
764 // CHECK-NEXT:    <key>file</key><integer>0</integer>
768 // CHECK-NEXT:    <key>path</key>
771 // CHECK-NEXT:      <key>kind</key><string>control</string>
772 // CHECK-NEXT:      <key>edges</key>
775 // CHECK-NEXT:         <key>start</key>
778 // CHECK-NEXT:            <key>line</key><integer>41</integer>
779 // CHECK-NEXT:            <key>col</key><integer>3</integer>
780 // CHECK-NEXT:            <key>file</key><integer>0</integer>
783 // CHECK-NEXT:            <key>line</key><integer>41</integer>
784 // CHECK-NEXT:            <key>col</key><integer>5</integer>
785 // CHECK-NEXT:            <key>file</key><integer>0</integer>
788 // CHECK-NEXT:         <key>end</key>
791 // CHECK-NEXT:            <key>line</key><integer>41</integer>
792 // CHECK-NEXT:            <key>col</key><integer>12</integer>
793 // CHECK-NEXT:            <key>file</key><integer>0</integer>
796 // CHECK-NEXT:            <key>line</key><integer>41</integer>
797 // CHECK-NEXT:            <key>col</key><integer>12</integer>
798 // CHECK-NEXT:            <key>file</key><integer>0</integer>
805 // CHECK-NEXT:      <key>kind</key><string>control</string>
806 // CHECK-NEXT:      <key>edges</key>
809 // CHECK-NEXT:         <key>start</key>
812 // CHECK-NEXT:            <key>line</key><integer>41</integer>
813 // CHECK-NEXT:            <key>col</key><integer>12</integer>
814 // CHECK-NEXT:            <key>file</key><integer>0</integer>
817 // CHECK-NEXT:            <key>line</key><integer>41</integer>
818 // CHECK-NEXT:            <key>col</key><integer>12</integer>
819 // CHECK-NEXT:            <key>file</key><integer>0</integer>
822 // CHECK-NEXT:         <key>end</key>
825 // CHECK-NEXT:            <key>line</key><integer>41</integer>
826 // CHECK-NEXT:            <key>col</key><integer>17</integer>
827 // CHECK-NEXT:            <key>file</key><integer>0</integer>
830 // CHECK-NEXT:            <key>line</key><integer>41</integer>
831 // CHECK-NEXT:            <key>col</key><integer>17</integer>
832 // CHECK-NEXT:            <key>file</key><integer>0</integer>
839 // CHECK-NEXT:      <key>kind</key><string>control</string>
840 // CHECK-NEXT:      <key>edges</key>
843 // CHECK-NEXT:         <key>start</key>
846 // CHECK-NEXT:            <key>line</key><integer>41</integer>
847 // CHECK-NEXT:            <key>col</key><integer>17</integer>
848 // CHECK-NEXT:            <key>file</key><integer>0</integer>
851 // CHECK-NEXT:            <key>line</key><integer>41</integer>
852 // CHECK-NEXT:            <key>col</key><integer>17</integer>
853 // CHECK-NEXT:            <key>file</key><integer>0</integer>
856 // CHECK-NEXT:         <key>end</key>
859 // CHECK-NEXT:            <key>line</key><integer>41</integer>
860 // CHECK-NEXT:            <key>col</key><integer>3</integer>
861 // CHECK-NEXT:            <key>file</key><integer>0</integer>
864 // CHECK-NEXT:            <key>line</key><integer>41</integer>
865 // CHECK-NEXT:            <key>col</key><integer>5</integer>
866 // CHECK-NEXT:            <key>file</key><integer>0</integer>
873 // CHECK-NEXT:      <key>kind</key><string>event</string>
874 // CHECK-NEXT:      <key>location</key>
876 // CHECK-NEXT:       <key>line</key><integer>41</integer>
877 // CHECK-NEXT:       <key>col</key><integer>3</integer>
878 // CHECK-NEXT:       <key>file</key><integer>0</integer>
880 // CHECK-NEXT:      <key>ranges</key>
884 // CHECK-NEXT:          <key>line</key><integer>41</integer>
885 // CHECK-NEXT:          <key>col</key><integer>3</integer>
886 // CHECK-NEXT:          <key>file</key><integer>0</integer>
889 // CHECK-NEXT:          <key>line</key><integer>41</integer>
890 // CHECK-NEXT:          <key>col</key><integer>8</integer>
891 // CHECK-NEXT:          <key>file</key><integer>0</integer>
895 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
896 // CHECK-NEXT:      <key>extended_message</key>
898 // CHECK-NEXT:      <key>message</key>
902 // CHECK-NEXT:      <key>kind</key><string>control</string>
903 // CHECK-NEXT:      <key>edges</key>
906 // CHECK-NEXT:         <key>start</key>
909 // CHECK-NEXT:            <key>line</key><integer>41</integer>
910 // CHECK-NEXT:            <key>col</key><integer>3</integer>
911 // CHECK-NEXT:            <key>file</key><integer>0</integer>
914 // CHECK-NEXT:            <key>line</key><integer>41</integer>
915 // CHECK-NEXT:            <key>col</key><integer>5</integer>
916 // CHECK-NEXT:            <key>file</key><integer>0</integer>
919 // CHECK-NEXT:         <key>end</key>
922 // CHECK-NEXT:            <key>line</key><integer>44</integer>
923 // CHECK-NEXT:            <key>col</key><integer>6</integer>
924 // CHECK-NEXT:            <key>file</key><integer>0</integer>
927 // CHECK-NEXT:            <key>line</key><integer>44</integer>
928 // CHECK-NEXT:            <key>col</key><integer>6</integer>
929 // CHECK-NEXT:            <key>file</key><integer>0</integer>
936 // CHECK-NEXT:      <key>kind</key><string>event</string>
937 // CHECK-NEXT:      <key>location</key>
939 // CHECK-NEXT:       <key>line</key><integer>44</integer>
940 // CHECK-NEXT:       <key>col</key><integer>6</integer>
941 // CHECK-NEXT:       <key>file</key><integer>0</integer>
943 // CHECK-NEXT:      <key>ranges</key>
947 // CHECK-NEXT:          <key>line</key><integer>44</integer>
948 // CHECK-NEXT:          <key>col</key><integer>4</integer>
949 // CHECK-NEXT:          <key>file</key><integer>0</integer>
952 // CHECK-NEXT:          <key>line</key><integer>44</integer>
953 // CHECK-NEXT:          <key>col</key><integer>4</integer>
954 // CHECK-NEXT:          <key>file</key><integer>0</integer>
958 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
959 // CHECK-NEXT:      <key>extended_message</key>
961 // CHECK-NEXT:      <key>message</key>
965 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from variable &…
966 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
967 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
968 // CHECK-NEXT:    <key>check_name</key><string>core.NullDereference</string>
970 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>a944281d096940ca43ec99564…
971 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
972 // CHECK-NEXT:   <key>issue_context</key><string>testBinaryCondOp</string>
973 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>4</string>
974 // CHECK-NEXT:   <key>location</key>
976 // CHECK-NEXT:    <key>line</key><integer>44</integer>
977 // CHECK-NEXT:    <key>col</key><integer>6</integer>
978 // CHECK-NEXT:    <key>file</key><integer>0</integer>
982 // CHECK-NEXT:    <key>path</key>
985 // CHECK-NEXT:      <key>kind</key><string>control</string>
986 // CHECK-NEXT:      <key>edges</key>
989 // CHECK-NEXT:         <key>start</key>
992 // CHECK-NEXT:            <key>line</key><integer>49</integer>
993 // CHECK-NEXT:            <key>col</key><integer>3</integer>
994 // CHECK-NEXT:            <key>file</key><integer>0</integer>
997 // CHECK-NEXT:            <key>line</key><integer>49</integer>
998 // CHECK-NEXT:            <key>col</key><integer>4</integer>
999 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1002 // CHECK-NEXT:         <key>end</key>
1005 // CHECK-NEXT:            <key>line</key><integer>49</integer>
1006 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1007 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1010 // CHECK-NEXT:            <key>line</key><integer>49</integer>
1011 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1012 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1019 // CHECK-NEXT:      <key>kind</key><string>event</string>
1020 // CHECK-NEXT:      <key>location</key>
1022 // CHECK-NEXT:       <key>line</key><integer>49</integer>
1023 // CHECK-NEXT:       <key>col</key><integer>7</integer>
1024 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1026 // CHECK-NEXT:      <key>ranges</key>
1030 // CHECK-NEXT:          <key>line</key><integer>49</integer>
1031 // CHECK-NEXT:          <key>col</key><integer>7</integer>
1032 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1035 // CHECK-NEXT:          <key>line</key><integer>49</integer>
1036 // CHECK-NEXT:          <key>col</key><integer>7</integer>
1037 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1041 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
1042 // CHECK-NEXT:      <key>extended_message</key>
1044 // CHECK-NEXT:      <key>message</key>
1048 // CHECK-NEXT:      <key>kind</key><string>control</string>
1049 // CHECK-NEXT:      <key>edges</key>
1052 // CHECK-NEXT:         <key>start</key>
1055 // CHECK-NEXT:            <key>line</key><integer>49</integer>
1056 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1057 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1060 // CHECK-NEXT:            <key>line</key><integer>49</integer>
1061 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1062 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1065 // CHECK-NEXT:         <key>end</key>
1068 // CHECK-NEXT:            <key>line</key><integer>53</integer>
1069 // CHECK-NEXT:            <key>col</key><integer>11</integer>
1070 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1073 // CHECK-NEXT:            <key>line</key><integer>53</integer>
1074 // CHECK-NEXT:            <key>col</key><integer>11</integer>
1075 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1082 // CHECK-NEXT:      <key>kind</key><string>event</string>
1083 // CHECK-NEXT:      <key>location</key>
1085 // CHECK-NEXT:       <key>line</key><integer>53</integer>
1086 // CHECK-NEXT:       <key>col</key><integer>11</integer>
1087 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1089 // CHECK-NEXT:      <key>ranges</key>
1093 // CHECK-NEXT:          <key>line</key><integer>53</integer>
1094 // CHECK-NEXT:          <key>col</key><integer>12</integer>
1095 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1098 // CHECK-NEXT:          <key>line</key><integer>53</integer>
1099 // CHECK-NEXT:          <key>col</key><integer>12</integer>
1100 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1104 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
1105 // CHECK-NEXT:      <key>extended_message</key>
1107 // CHECK-NEXT:      <key>message</key>
1111 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from variable &…
1112 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
1113 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
1114 // CHECK-NEXT:    <key>check_name</key><string>core.NullDereference</string>
1116 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>4db164bbf5cea42d75c5e838b…
1117 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
1118 // CHECK-NEXT:   <key>issue_context</key><string>testBinaryLHSProblem</string>
1119 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>5</string>
1120 // CHECK-NEXT:   <key>location</key>
1122 // CHECK-NEXT:    <key>line</key><integer>53</integer>
1123 // CHECK-NEXT:    <key>col</key><integer>11</integer>
1124 // CHECK-NEXT:    <key>file</key><integer>0</integer>
1128 // CHECK-NEXT:    <key>path</key>
1131 // CHECK-NEXT:      <key>kind</key><string>control</string>
1132 // CHECK-NEXT:      <key>edges</key>
1135 // CHECK-NEXT:         <key>start</key>
1138 // CHECK-NEXT:            <key>line</key><integer>59</integer>
1139 // CHECK-NEXT:            <key>col</key><integer>3</integer>
1140 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1143 // CHECK-NEXT:            <key>line</key><integer>59</integer>
1144 // CHECK-NEXT:            <key>col</key><integer>4</integer>
1145 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1148 // CHECK-NEXT:         <key>end</key>
1151 // CHECK-NEXT:            <key>line</key><integer>59</integer>
1152 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1153 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1156 // CHECK-NEXT:            <key>line</key><integer>59</integer>
1157 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1158 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1165 // CHECK-NEXT:      <key>kind</key><string>event</string>
1166 // CHECK-NEXT:      <key>location</key>
1168 // CHECK-NEXT:       <key>line</key><integer>59</integer>
1169 // CHECK-NEXT:       <key>col</key><integer>7</integer>
1170 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1172 // CHECK-NEXT:      <key>ranges</key>
1176 // CHECK-NEXT:          <key>line</key><integer>59</integer>
1177 // CHECK-NEXT:          <key>col</key><integer>7</integer>
1178 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1181 // CHECK-NEXT:          <key>line</key><integer>59</integer>
1182 // CHECK-NEXT:          <key>col</key><integer>7</integer>
1183 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1187 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
1188 // CHECK-NEXT:      <key>extended_message</key>
1190 // CHECK-NEXT:      <key>message</key>
1194 // CHECK-NEXT:      <key>kind</key><string>control</string>
1195 // CHECK-NEXT:      <key>edges</key>
1198 // CHECK-NEXT:         <key>start</key>
1201 // CHECK-NEXT:            <key>line</key><integer>59</integer>
1202 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1203 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1206 // CHECK-NEXT:            <key>line</key><integer>59</integer>
1207 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1208 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1211 // CHECK-NEXT:         <key>end</key>
1214 // CHECK-NEXT:            <key>line</key><integer>62</integer>
1215 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1216 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1219 // CHECK-NEXT:            <key>line</key><integer>62</integer>
1220 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1221 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1228 // CHECK-NEXT:      <key>kind</key><string>control</string>
1229 // CHECK-NEXT:      <key>edges</key>
1232 // CHECK-NEXT:         <key>start</key>
1235 // CHECK-NEXT:            <key>line</key><integer>62</integer>
1236 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1237 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1240 // CHECK-NEXT:            <key>line</key><integer>62</integer>
1241 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1242 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1245 // CHECK-NEXT:         <key>end</key>
1248 // CHECK-NEXT:            <key>line</key><integer>62</integer>
1249 // CHECK-NEXT:            <key>col</key><integer>24</integer>
1250 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1253 // CHECK-NEXT:            <key>line</key><integer>62</integer>
1254 // CHECK-NEXT:            <key>col</key><integer>24</integer>
1255 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1262 // CHECK-NEXT:      <key>kind</key><string>event</string>
1263 // CHECK-NEXT:      <key>location</key>
1265 // CHECK-NEXT:       <key>line</key><integer>62</integer>
1266 // CHECK-NEXT:       <key>col</key><integer>24</integer>
1267 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1269 // CHECK-NEXT:      <key>ranges</key>
1273 // CHECK-NEXT:          <key>line</key><integer>62</integer>
1274 // CHECK-NEXT:          <key>col</key><integer>5</integer>
1275 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1278 // CHECK-NEXT:          <key>line</key><integer>62</integer>
1279 // CHECK-NEXT:          <key>col</key><integer>26</integer>
1280 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1284 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
1285 // CHECK-NEXT:      <key>extended_message</key>
1287 // CHECK-NEXT:      <key>message</key>
1291 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer</string>
1292 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
1293 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
1294 // CHECK-NEXT:    <key>check_name</key><string>core.NullDereference</string>
1296 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>778d56ad485369222613ac2c0…
1297 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
1298 // CHECK-NEXT:   <key>issue_context</key><string>testDiagnosableBranch</string>
1299 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>4</string>
1300 // CHECK-NEXT:   <key>location</key>
1302 // CHECK-NEXT:    <key>line</key><integer>62</integer>
1303 // CHECK-NEXT:    <key>col</key><integer>24</integer>
1304 // CHECK-NEXT:    <key>file</key><integer>0</integer>
1308 // CHECK-NEXT:    <key>path</key>
1311 // CHECK-NEXT:      <key>kind</key><string>control</string>
1312 // CHECK-NEXT:      <key>edges</key>
1315 // CHECK-NEXT:         <key>start</key>
1318 // CHECK-NEXT:            <key>line</key><integer>68</integer>
1319 // CHECK-NEXT:            <key>col</key><integer>3</integer>
1320 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1323 // CHECK-NEXT:            <key>line</key><integer>68</integer>
1324 // CHECK-NEXT:            <key>col</key><integer>4</integer>
1325 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1328 // CHECK-NEXT:         <key>end</key>
1331 // CHECK-NEXT:            <key>line</key><integer>68</integer>
1332 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1333 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1336 // CHECK-NEXT:            <key>line</key><integer>68</integer>
1337 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1338 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1345 // CHECK-NEXT:      <key>kind</key><string>control</string>
1346 // CHECK-NEXT:      <key>edges</key>
1349 // CHECK-NEXT:         <key>start</key>
1352 // CHECK-NEXT:            <key>line</key><integer>68</integer>
1353 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1354 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1357 // CHECK-NEXT:            <key>line</key><integer>68</integer>
1358 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1359 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1362 // CHECK-NEXT:         <key>end</key>
1365 // CHECK-NEXT:            <key>line</key><integer>68</integer>
1366 // CHECK-NEXT:            <key>col</key><integer>12</integer>
1367 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1370 // CHECK-NEXT:            <key>line</key><integer>68</integer>
1371 // CHECK-NEXT:            <key>col</key><integer>12</integer>
1372 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1379 // CHECK-NEXT:      <key>kind</key><string>control</string>
1380 // CHECK-NEXT:      <key>edges</key>
1383 // CHECK-NEXT:         <key>start</key>
1386 // CHECK-NEXT:            <key>line</key><integer>68</integer>
1387 // CHECK-NEXT:            <key>col</key><integer>12</integer>
1388 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1391 // CHECK-NEXT:            <key>line</key><integer>68</integer>
1392 // CHECK-NEXT:            <key>col</key><integer>12</integer>
1393 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1396 // CHECK-NEXT:         <key>end</key>
1399 // CHECK-NEXT:            <key>line</key><integer>71</integer>
1400 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1401 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1404 // CHECK-NEXT:            <key>line</key><integer>71</integer>
1405 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1406 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1413 // CHECK-NEXT:      <key>kind</key><string>control</string>
1414 // CHECK-NEXT:      <key>edges</key>
1417 // CHECK-NEXT:         <key>start</key>
1420 // CHECK-NEXT:            <key>line</key><integer>71</integer>
1421 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1422 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1425 // CHECK-NEXT:            <key>line</key><integer>71</integer>
1426 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1427 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1430 // CHECK-NEXT:         <key>end</key>
1433 // CHECK-NEXT:            <key>line</key><integer>71</integer>
1434 // CHECK-NEXT:            <key>col</key><integer>24</integer>
1435 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1438 // CHECK-NEXT:            <key>line</key><integer>71</integer>
1439 // CHECK-NEXT:            <key>col</key><integer>24</integer>
1440 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1447 // CHECK-NEXT:      <key>kind</key><string>event</string>
1448 // CHECK-NEXT:      <key>location</key>
1450 // CHECK-NEXT:       <key>line</key><integer>71</integer>
1451 // CHECK-NEXT:       <key>col</key><integer>24</integer>
1452 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1454 // CHECK-NEXT:      <key>ranges</key>
1458 // CHECK-NEXT:          <key>line</key><integer>71</integer>
1459 // CHECK-NEXT:          <key>col</key><integer>5</integer>
1460 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1463 // CHECK-NEXT:          <key>line</key><integer>71</integer>
1464 // CHECK-NEXT:          <key>col</key><integer>26</integer>
1465 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1469 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
1470 // CHECK-NEXT:      <key>extended_message</key>
1472 // CHECK-NEXT:      <key>message</key>
1476 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer</string>
1477 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
1478 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
1479 // CHECK-NEXT:    <key>check_name</key><string>core.NullDereference</string>
1481 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>ebd0bb32bbdcaa2a806ff1984…
1482 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
1483 // CHECK-NEXT:   <key>issue_context</key><string>testNonDiagnosableBranchLogical</string>
1484 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>4</string>
1485 // CHECK-NEXT:   <key>location</key>
1487 // CHECK-NEXT:    <key>line</key><integer>71</integer>
1488 // CHECK-NEXT:    <key>col</key><integer>24</integer>
1489 // CHECK-NEXT:    <key>file</key><integer>0</integer>
1493 // CHECK-NEXT:    <key>path</key>
1496 // CHECK-NEXT:      <key>kind</key><string>control</string>
1497 // CHECK-NEXT:      <key>edges</key>
1500 // CHECK-NEXT:         <key>start</key>
1503 // CHECK-NEXT:            <key>line</key><integer>77</integer>
1504 // CHECK-NEXT:            <key>col</key><integer>3</integer>
1505 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1508 // CHECK-NEXT:            <key>line</key><integer>77</integer>
1509 // CHECK-NEXT:            <key>col</key><integer>4</integer>
1510 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1513 // CHECK-NEXT:         <key>end</key>
1516 // CHECK-NEXT:            <key>line</key><integer>79</integer>
1517 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1518 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1521 // CHECK-NEXT:            <key>line</key><integer>79</integer>
1522 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1523 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1530 // CHECK-NEXT:      <key>kind</key><string>control</string>
1531 // CHECK-NEXT:      <key>edges</key>
1534 // CHECK-NEXT:         <key>start</key>
1537 // CHECK-NEXT:            <key>line</key><integer>79</integer>
1538 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1539 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1542 // CHECK-NEXT:            <key>line</key><integer>79</integer>
1543 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1544 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1547 // CHECK-NEXT:         <key>end</key>
1550 // CHECK-NEXT:            <key>line</key><integer>79</integer>
1551 // CHECK-NEXT:            <key>col</key><integer>24</integer>
1552 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1555 // CHECK-NEXT:            <key>line</key><integer>79</integer>
1556 // CHECK-NEXT:            <key>col</key><integer>24</integer>
1557 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1564 // CHECK-NEXT:      <key>kind</key><string>event</string>
1565 // CHECK-NEXT:      <key>location</key>
1567 // CHECK-NEXT:       <key>line</key><integer>79</integer>
1568 // CHECK-NEXT:       <key>col</key><integer>24</integer>
1569 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1571 // CHECK-NEXT:      <key>ranges</key>
1575 // CHECK-NEXT:          <key>line</key><integer>79</integer>
1576 // CHECK-NEXT:          <key>col</key><integer>5</integer>
1577 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1580 // CHECK-NEXT:          <key>line</key><integer>79</integer>
1581 // CHECK-NEXT:          <key>col</key><integer>26</integer>
1582 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1586 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
1587 // CHECK-NEXT:      <key>extended_message</key>
1589 // CHECK-NEXT:      <key>message</key>
1593 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer</string>
1594 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
1595 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
1596 // CHECK-NEXT:    <key>check_name</key><string>core.NullDereference</string>
1598 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>f56671e5f67c73abef619b56f…
1599 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
1600 // CHECK-NEXT:   <key>issue_context</key><string>testNonDiagnosableBranchArithmetic</string>
1601 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>3</string>
1602 // CHECK-NEXT:   <key>location</key>
1604 // CHECK-NEXT:    <key>line</key><integer>79</integer>
1605 // CHECK-NEXT:    <key>col</key><integer>24</integer>
1606 // CHECK-NEXT:    <key>file</key><integer>0</integer>