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<string>clang version 8.0.0 </string>
7 <key>diagnostics</key>
8 <array>
9  <dict>
10   <key>path</key>
11   <array>
12    <dict>
13     <key>kind</key><string>control</string>
14     <key>edges</key>
15      <array>
16       <dict>
17        <key>start</key>
18         <array>
19          <dict>
20           <key>line</key><integer>6</integer>
21           <key>col</key><integer>3</integer>
22           <key>file</key><integer>0</integer>
23          </dict>
24          <dict>
25           <key>line</key><integer>6</integer>
26           <key>col</key><integer>5</integer>
27           <key>file</key><integer>0</integer>
28          </dict>
29         </array>
30        <key>end</key>
31         <array>
32          <dict>
33           <key>line</key><integer>6</integer>
34           <key>col</key><integer>12</integer>
35           <key>file</key><integer>0</integer>
36          </dict>
37          <dict>
38           <key>line</key><integer>6</integer>
39           <key>col</key><integer>12</integer>
40           <key>file</key><integer>0</integer>
41          </dict>
42         </array>
43       </dict>
44      </array>
45    </dict>
46    <dict>
47     <key>kind</key><string>event</string>
48     <key>location</key>
49     <dict>
50      <key>line</key><integer>6</integer>
51      <key>col</key><integer>12</integer>
52      <key>file</key><integer>0</integer>
53     </dict>
54     <key>ranges</key>
55     <array>
56       <array>
57        <dict>
58         <key>line</key><integer>6</integer>
59         <key>col</key><integer>12</integer>
60         <key>file</key><integer>0</integer>
61        </dict>
62        <dict>
63         <key>line</key><integer>6</integer>
64         <key>col</key><integer>12</integer>
65         <key>file</key><integer>0</integer>
66        </dict>
67       </array>
68     </array>
69     <key>depth</key><integer>0</integer>
70     <key>extended_message</key>
71     <string>Assuming &apos;p&apos; is null</string>
72     <key>message</key>
73     <string>Assuming &apos;p&apos; is null</string>
74    </dict>
75    <dict>
76     <key>kind</key><string>control</string>
77     <key>edges</key>
78      <array>
79       <dict>
80        <key>start</key>
81         <array>
82          <dict>
83           <key>line</key><integer>6</integer>
84           <key>col</key><integer>12</integer>
85           <key>file</key><integer>0</integer>
86          </dict>
87          <dict>
88           <key>line</key><integer>6</integer>
89           <key>col</key><integer>12</integer>
90           <key>file</key><integer>0</integer>
91          </dict>
92         </array>
93        <key>end</key>
94         <array>
95          <dict>
96           <key>line</key><integer>6</integer>
97           <key>col</key><integer>20</integer>
98           <key>file</key><integer>0</integer>
99          </dict>
100          <dict>
101           <key>line</key><integer>6</integer>
102           <key>col</key><integer>20</integer>
103           <key>file</key><integer>0</integer>
104          </dict>
105         </array>
106       </dict>
107      </array>
108    </dict>
109    <dict>
110     <key>kind</key><string>control</string>
111     <key>edges</key>
112      <array>
113       <dict>
114        <key>start</key>
115         <array>
116          <dict>
117           <key>line</key><integer>6</integer>
118           <key>col</key><integer>20</integer>
119           <key>file</key><integer>0</integer>
120          </dict>
121          <dict>
122           <key>line</key><integer>6</integer>
123           <key>col</key><integer>20</integer>
124           <key>file</key><integer>0</integer>
125          </dict>
126         </array>
127        <key>end</key>
128         <array>
129          <dict>
130           <key>line</key><integer>6</integer>
131           <key>col</key><integer>3</integer>
132           <key>file</key><integer>0</integer>
133          </dict>
134          <dict>
135           <key>line</key><integer>6</integer>
136           <key>col</key><integer>5</integer>
137           <key>file</key><integer>0</integer>
138          </dict>
139         </array>
140       </dict>
141      </array>
142    </dict>
143    <dict>
144     <key>kind</key><string>event</string>
145     <key>location</key>
146     <dict>
147      <key>line</key><integer>6</integer>
148      <key>col</key><integer>3</integer>
149      <key>file</key><integer>0</integer>
150     </dict>
151     <key>ranges</key>
152     <array>
153       <array>
154        <dict>
155         <key>line</key><integer>6</integer>
156         <key>col</key><integer>3</integer>
157         <key>file</key><integer>0</integer>
158        </dict>
159        <dict>
160         <key>line</key><integer>6</integer>
161         <key>col</key><integer>8</integer>
162         <key>file</key><integer>0</integer>
163        </dict>
164       </array>
165     </array>
166     <key>depth</key><integer>0</integer>
167     <key>extended_message</key>
168     <string>&apos;x&apos; initialized to a null pointer value</string>
169     <key>message</key>
170     <string>&apos;x&apos; initialized to a null pointer value</string>
171    </dict>
172    <dict>
173     <key>kind</key><string>control</string>
174     <key>edges</key>
175      <array>
176       <dict>
177        <key>start</key>
178         <array>
179          <dict>
180           <key>line</key><integer>6</integer>
181           <key>col</key><integer>3</integer>
182           <key>file</key><integer>0</integer>
183          </dict>
184          <dict>
185           <key>line</key><integer>6</integer>
186           <key>col</key><integer>5</integer>
187           <key>file</key><integer>0</integer>
188          </dict>
189         </array>
190        <key>end</key>
191         <array>
192          <dict>
193           <key>line</key><integer>10</integer>
194           <key>col</key><integer>3</integer>
195           <key>file</key><integer>0</integer>
196          </dict>
197          <dict>
198           <key>line</key><integer>10</integer>
199           <key>col</key><integer>3</integer>
200           <key>file</key><integer>0</integer>
201          </dict>
202         </array>
203       </dict>
204      </array>
205    </dict>
206    <dict>
207     <key>kind</key><string>control</string>
208     <key>edges</key>
209      <array>
210       <dict>
211        <key>start</key>
212         <array>
213          <dict>
214           <key>line</key><integer>10</integer>
215           <key>col</key><integer>3</integer>
216           <key>file</key><integer>0</integer>
217          </dict>
218          <dict>
219           <key>line</key><integer>10</integer>
220           <key>col</key><integer>3</integer>
221           <key>file</key><integer>0</integer>
222          </dict>
223         </array>
224        <key>end</key>
225         <array>
226          <dict>
227           <key>line</key><integer>10</integer>
228           <key>col</key><integer>6</integer>
229           <key>file</key><integer>0</integer>
230          </dict>
231          <dict>
232           <key>line</key><integer>10</integer>
233           <key>col</key><integer>6</integer>
234           <key>file</key><integer>0</integer>
235          </dict>
236         </array>
237       </dict>
238      </array>
239    </dict>
240    <dict>
241     <key>kind</key><string>event</string>
242     <key>location</key>
243     <dict>
244      <key>line</key><integer>10</integer>
245      <key>col</key><integer>6</integer>
246      <key>file</key><integer>0</integer>
247     </dict>
248     <key>ranges</key>
249     <array>
250       <array>
251        <dict>
252         <key>line</key><integer>10</integer>
253         <key>col</key><integer>4</integer>
254         <key>file</key><integer>0</integer>
255        </dict>
256        <dict>
257         <key>line</key><integer>10</integer>
258         <key>col</key><integer>4</integer>
259         <key>file</key><integer>0</integer>
260        </dict>
261       </array>
262     </array>
263     <key>depth</key><integer>0</integer>
264     <key>extended_message</key>
265     <string>Dereference of null pointer (loaded from variable &apos;x&apos;)</string>
266     <key>message</key>
267     <string>Dereference of null pointer (loaded from variable &apos;x&apos;)</string>
268    </dict>
269   </array>
270   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;x&apos;)</string>
271   <key>category</key><string>Logic error</string>
272   <key>type</key><string>Dereference of null pointer</string>
273   <key>check_name</key><string>core.NullDereference</string>
274   <!-- This hash is experimental and going to change! -->
275   <key>issue_hash_content_of_line_in_context</key><string>8ea3f4e6a3100c73f078fac15acb0a9c</string>
276  <key>issue_context_kind</key><string>function</string>
277  <key>issue_context</key><string>testCondOp</string>
278  <key>issue_hash_function_offset</key><string>5</string>
279  <key>location</key>
280  <dict>
281   <key>line</key><integer>10</integer>
282   <key>col</key><integer>6</integer>
283   <key>file</key><integer>0</integer>
284  </dict>
285  <key>ExecutedLines</key>
286  <dict>
287   <key>0</key>
288   <array>
289    <integer>5</integer>
290    <integer>6</integer>
291    <integer>10</integer>
292   </array>
293  </dict>
294  </dict>
295  <dict>
296   <key>path</key>
297   <array>
298    <dict>
299     <key>kind</key><string>control</string>
300     <key>edges</key>
301      <array>
302       <dict>
303        <key>start</key>
304         <array>
305          <dict>
306           <key>line</key><integer>15</integer>
307           <key>col</key><integer>3</integer>
308           <key>file</key><integer>0</integer>
309          </dict>
310          <dict>
311           <key>line</key><integer>15</integer>
312           <key>col</key><integer>4</integer>
313           <key>file</key><integer>0</integer>
314          </dict>
315         </array>
316        <key>end</key>
317         <array>
318          <dict>
319           <key>line</key><integer>15</integer>
320           <key>col</key><integer>7</integer>
321           <key>file</key><integer>0</integer>
322          </dict>
323          <dict>
324           <key>line</key><integer>15</integer>
325           <key>col</key><integer>7</integer>
326           <key>file</key><integer>0</integer>
327          </dict>
328         </array>
329       </dict>
330      </array>
331    </dict>
332    <dict>
333     <key>kind</key><string>event</string>
334     <key>location</key>
335     <dict>
336      <key>line</key><integer>15</integer>
337      <key>col</key><integer>7</integer>
338      <key>file</key><integer>0</integer>
339     </dict>
340     <key>ranges</key>
341     <array>
342       <array>
343        <dict>
344         <key>line</key><integer>15</integer>
345         <key>col</key><integer>7</integer>
346         <key>file</key><integer>0</integer>
347        </dict>
348        <dict>
349         <key>line</key><integer>15</integer>
350         <key>col</key><integer>7</integer>
351         <key>file</key><integer>0</integer>
352        </dict>
353       </array>
354     </array>
355     <key>depth</key><integer>0</integer>
356     <key>extended_message</key>
357     <string>Assuming &apos;p&apos; is null</string>
358     <key>message</key>
359     <string>Assuming &apos;p&apos; is null</string>
360    </dict>
361    <dict>
362     <key>kind</key><string>control</string>
363     <key>edges</key>
364      <array>
365       <dict>
366        <key>start</key>
367         <array>
368          <dict>
369           <key>line</key><integer>15</integer>
370           <key>col</key><integer>7</integer>
371           <key>file</key><integer>0</integer>
372          </dict>
373          <dict>
374           <key>line</key><integer>15</integer>
375           <key>col</key><integer>7</integer>
376           <key>file</key><integer>0</integer>
377          </dict>
378         </array>
379        <key>end</key>
380         <array>
381          <dict>
382           <key>line</key><integer>19</integer>
383           <key>col</key><integer>3</integer>
384           <key>file</key><integer>0</integer>
385          </dict>
386          <dict>
387           <key>line</key><integer>19</integer>
388           <key>col</key><integer>5</integer>
389           <key>file</key><integer>0</integer>
390          </dict>
391         </array>
392       </dict>
393      </array>
394    </dict>
395    <dict>
396     <key>kind</key><string>control</string>
397     <key>edges</key>
398      <array>
399       <dict>
400        <key>start</key>
401         <array>
402          <dict>
403           <key>line</key><integer>19</integer>
404           <key>col</key><integer>3</integer>
405           <key>file</key><integer>0</integer>
406          </dict>
407          <dict>
408           <key>line</key><integer>19</integer>
409           <key>col</key><integer>5</integer>
410           <key>file</key><integer>0</integer>
411          </dict>
412         </array>
413        <key>end</key>
414         <array>
415          <dict>
416           <key>line</key><integer>19</integer>
417           <key>col</key><integer>11</integer>
418           <key>file</key><integer>0</integer>
419          </dict>
420          <dict>
421           <key>line</key><integer>19</integer>
422           <key>col</key><integer>11</integer>
423           <key>file</key><integer>0</integer>
424          </dict>
425         </array>
426       </dict>
427      </array>
428    </dict>
429    <dict>
430     <key>kind</key><string>event</string>
431     <key>location</key>
432     <dict>
433      <key>line</key><integer>19</integer>
434      <key>col</key><integer>11</integer>
435      <key>file</key><integer>0</integer>
436     </dict>
437     <key>ranges</key>
438     <array>
439       <array>
440        <dict>
441         <key>line</key><integer>19</integer>
442         <key>col</key><integer>12</integer>
443         <key>file</key><integer>0</integer>
444        </dict>
445        <dict>
446         <key>line</key><integer>19</integer>
447         <key>col</key><integer>12</integer>
448         <key>file</key><integer>0</integer>
449        </dict>
450       </array>
451     </array>
452     <key>depth</key><integer>0</integer>
453     <key>extended_message</key>
454     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
455     <key>message</key>
456     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
457    </dict>
458   </array>
459   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
460   <key>category</key><string>Logic error</string>
461   <key>type</key><string>Dereference of null pointer</string>
462   <key>check_name</key><string>core.NullDereference</string>
463   <!-- This hash is experimental and going to change! -->
464   <key>issue_hash_content_of_line_in_context</key><string>2c219a33e961fc1be7d54b700867259e</string>
465  <key>issue_context_kind</key><string>function</string>
466  <key>issue_context</key><string>testCondProblem</string>
467  <key>issue_hash_function_offset</key><string>5</string>
468  <key>location</key>
469  <dict>
470   <key>line</key><integer>19</integer>
471   <key>col</key><integer>11</integer>
472   <key>file</key><integer>0</integer>
473  </dict>
474  <key>ExecutedLines</key>
475  <dict>
476   <key>0</key>
477   <array>
478    <integer>14</integer>
479    <integer>15</integer>
480    <integer>19</integer>
481   </array>
482  </dict>
483  </dict>
484  <dict>
485   <key>path</key>
486   <array>
487    <dict>
488     <key>kind</key><string>control</string>
489     <key>edges</key>
490      <array>
491       <dict>
492        <key>start</key>
493         <array>
494          <dict>
495           <key>line</key><integer>25</integer>
496           <key>col</key><integer>3</integer>
497           <key>file</key><integer>0</integer>
498          </dict>
499          <dict>
500           <key>line</key><integer>25</integer>
501           <key>col</key><integer>5</integer>
502           <key>file</key><integer>0</integer>
503          </dict>
504         </array>
505        <key>end</key>
506         <array>
507          <dict>
508           <key>line</key><integer>25</integer>
509           <key>col</key><integer>11</integer>
510           <key>file</key><integer>0</integer>
511          </dict>
512          <dict>
513           <key>line</key><integer>25</integer>
514           <key>col</key><integer>11</integer>
515           <key>file</key><integer>0</integer>
516          </dict>
517         </array>
518       </dict>
519      </array>
520    </dict>
521    <dict>
522     <key>kind</key><string>event</string>
523     <key>location</key>
524     <dict>
525      <key>line</key><integer>25</integer>
526      <key>col</key><integer>11</integer>
527      <key>file</key><integer>0</integer>
528     </dict>
529     <key>ranges</key>
530     <array>
531       <array>
532        <dict>
533         <key>line</key><integer>25</integer>
534         <key>col</key><integer>11</integer>
535         <key>file</key><integer>0</integer>
536        </dict>
537        <dict>
538         <key>line</key><integer>25</integer>
539         <key>col</key><integer>12</integer>
540         <key>file</key><integer>0</integer>
541        </dict>
542       </array>
543     </array>
544     <key>depth</key><integer>0</integer>
545     <key>extended_message</key>
546     <string>Assuming &apos;p&apos; is null</string>
547     <key>message</key>
548     <string>Assuming &apos;p&apos; is null</string>
549    </dict>
550    <dict>
551     <key>kind</key><string>control</string>
552     <key>edges</key>
553      <array>
554       <dict>
555        <key>start</key>
556         <array>
557          <dict>
558           <key>line</key><integer>25</integer>
559           <key>col</key><integer>11</integer>
560           <key>file</key><integer>0</integer>
561          </dict>
562          <dict>
563           <key>line</key><integer>25</integer>
564           <key>col</key><integer>11</integer>
565           <key>file</key><integer>0</integer>
566          </dict>
567         </array>
568        <key>end</key>
569         <array>
570          <dict>
571           <key>line</key><integer>25</integer>
572           <key>col</key><integer>16</integer>
573           <key>file</key><integer>0</integer>
574          </dict>
575          <dict>
576           <key>line</key><integer>25</integer>
577           <key>col</key><integer>16</integer>
578           <key>file</key><integer>0</integer>
579          </dict>
580         </array>
581       </dict>
582      </array>
583    </dict>
584    <dict>
585     <key>kind</key><string>event</string>
586     <key>location</key>
587     <dict>
588      <key>line</key><integer>25</integer>
589      <key>col</key><integer>16</integer>
590      <key>file</key><integer>0</integer>
591     </dict>
592     <key>ranges</key>
593     <array>
594       <array>
595        <dict>
596         <key>line</key><integer>25</integer>
597         <key>col</key><integer>17</integer>
598         <key>file</key><integer>0</integer>
599        </dict>
600        <dict>
601         <key>line</key><integer>25</integer>
602         <key>col</key><integer>17</integer>
603         <key>file</key><integer>0</integer>
604        </dict>
605       </array>
606     </array>
607     <key>depth</key><integer>0</integer>
608     <key>extended_message</key>
609     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
610     <key>message</key>
611     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
612    </dict>
613   </array>
614   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
615   <key>category</key><string>Logic error</string>
616   <key>type</key><string>Dereference of null pointer</string>
617   <key>check_name</key><string>core.NullDereference</string>
618   <!-- This hash is experimental and going to change! -->
619   <key>issue_hash_content_of_line_in_context</key><string>8d43b511137326eab7d1242950e72984</string>
620  <key>issue_context_kind</key><string>function</string>
621  <key>issue_context</key><string>testLHSProblem</string>
622  <key>issue_hash_function_offset</key><string>1</string>
623  <key>location</key>
624  <dict>
625   <key>line</key><integer>25</integer>
626   <key>col</key><integer>16</integer>
627   <key>file</key><integer>0</integer>
628  </dict>
629  <key>ExecutedLines</key>
630  <dict>
631   <key>0</key>
632   <array>
633    <integer>24</integer>
634    <integer>25</integer>
635   </array>
636  </dict>
637  </dict>
638  <dict>
639   <key>path</key>
640   <array>
641    <dict>
642     <key>kind</key><string>control</string>
643     <key>edges</key>
644      <array>
645       <dict>
646        <key>start</key>
647         <array>
648          <dict>
649           <key>line</key><integer>33</integer>
650           <key>col</key><integer>3</integer>
651           <key>file</key><integer>0</integer>
652          </dict>
653          <dict>
654           <key>line</key><integer>33</integer>
655           <key>col</key><integer>5</integer>
656           <key>file</key><integer>0</integer>
657          </dict>
658         </array>
659        <key>end</key>
660         <array>
661          <dict>
662           <key>line</key><integer>33</integer>
663           <key>col</key><integer>11</integer>
664           <key>file</key><integer>0</integer>
665          </dict>
666          <dict>
667           <key>line</key><integer>33</integer>
668           <key>col</key><integer>11</integer>
669           <key>file</key><integer>0</integer>
670          </dict>
671         </array>
672       </dict>
673      </array>
674    </dict>
675    <dict>
676     <key>kind</key><string>event</string>
677     <key>location</key>
678     <dict>
679      <key>line</key><integer>33</integer>
680      <key>col</key><integer>11</integer>
681      <key>file</key><integer>0</integer>
682     </dict>
683     <key>ranges</key>
684     <array>
685       <array>
686        <dict>
687         <key>line</key><integer>33</integer>
688         <key>col</key><integer>11</integer>
689         <key>file</key><integer>0</integer>
690        </dict>
691        <dict>
692         <key>line</key><integer>33</integer>
693         <key>col</key><integer>11</integer>
694         <key>file</key><integer>0</integer>
695        </dict>
696       </array>
697     </array>
698     <key>depth</key><integer>0</integer>
699     <key>extended_message</key>
700     <string>Assuming &apos;p&apos; is null</string>
701     <key>message</key>
702     <string>Assuming &apos;p&apos; is null</string>
703    </dict>
704    <dict>
705     <key>kind</key><string>control</string>
706     <key>edges</key>
707      <array>
708       <dict>
709        <key>start</key>
710         <array>
711          <dict>
712           <key>line</key><integer>33</integer>
713           <key>col</key><integer>11</integer>
714           <key>file</key><integer>0</integer>
715          </dict>
716          <dict>
717           <key>line</key><integer>33</integer>
718           <key>col</key><integer>11</integer>
719           <key>file</key><integer>0</integer>
720          </dict>
721         </array>
722        <key>end</key>
723         <array>
724          <dict>
725           <key>line</key><integer>33</integer>
726           <key>col</key><integer>19</integer>
727           <key>file</key><integer>0</integer>
728          </dict>
729          <dict>
730           <key>line</key><integer>33</integer>
731           <key>col</key><integer>19</integer>
732           <key>file</key><integer>0</integer>
733          </dict>
734         </array>
735       </dict>
736      </array>
737    </dict>
738    <dict>
739     <key>kind</key><string>event</string>
740     <key>location</key>
741     <dict>
742      <key>line</key><integer>33</integer>
743      <key>col</key><integer>19</integer>
744      <key>file</key><integer>0</integer>
745     </dict>
746     <key>ranges</key>
747     <array>
748       <array>
749        <dict>
750         <key>line</key><integer>33</integer>
751         <key>col</key><integer>20</integer>
752         <key>file</key><integer>0</integer>
753        </dict>
754        <dict>
755         <key>line</key><integer>33</integer>
756         <key>col</key><integer>20</integer>
757         <key>file</key><integer>0</integer>
758        </dict>
759       </array>
760     </array>
761     <key>depth</key><integer>0</integer>
762     <key>extended_message</key>
763     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
764     <key>message</key>
765     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
766    </dict>
767   </array>
768   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
769   <key>category</key><string>Logic error</string>
770   <key>type</key><string>Dereference of null pointer</string>
771   <key>check_name</key><string>core.NullDereference</string>
772   <!-- This hash is experimental and going to change! -->
773   <key>issue_hash_content_of_line_in_context</key><string>b8e93b7355a6779a960f9a942fafac15</string>
774  <key>issue_context_kind</key><string>function</string>
775  <key>issue_context</key><string>testRHSProblem</string>
776  <key>issue_hash_function_offset</key><string>1</string>
777  <key>location</key>
778  <dict>
779   <key>line</key><integer>33</integer>
780   <key>col</key><integer>19</integer>
781   <key>file</key><integer>0</integer>
782  </dict>
783  <key>ExecutedLines</key>
784  <dict>
785   <key>0</key>
786   <array>
787    <integer>32</integer>
788    <integer>33</integer>
789   </array>
790  </dict>
791  </dict>
792  <dict>
793   <key>path</key>
794   <array>
795    <dict>
796     <key>kind</key><string>event</string>
797     <key>location</key>
798     <dict>
799      <key>line</key><integer>41</integer>
800      <key>col</key><integer>3</integer>
801      <key>file</key><integer>0</integer>
802     </dict>
803     <key>ranges</key>
804     <array>
805       <array>
806        <dict>
807         <key>line</key><integer>41</integer>
808         <key>col</key><integer>3</integer>
809         <key>file</key><integer>0</integer>
810        </dict>
811        <dict>
812         <key>line</key><integer>41</integer>
813         <key>col</key><integer>8</integer>
814         <key>file</key><integer>0</integer>
815        </dict>
816       </array>
817     </array>
818     <key>depth</key><integer>0</integer>
819     <key>extended_message</key>
820     <string>&apos;x&apos; initialized to a null pointer value</string>
821     <key>message</key>
822     <string>&apos;x&apos; initialized to a null pointer value</string>
823    </dict>
824    <dict>
825     <key>kind</key><string>control</string>
826     <key>edges</key>
827      <array>
828       <dict>
829        <key>start</key>
830         <array>
831          <dict>
832           <key>line</key><integer>41</integer>
833           <key>col</key><integer>3</integer>
834           <key>file</key><integer>0</integer>
835          </dict>
836          <dict>
837           <key>line</key><integer>41</integer>
838           <key>col</key><integer>5</integer>
839           <key>file</key><integer>0</integer>
840          </dict>
841         </array>
842        <key>end</key>
843         <array>
844          <dict>
845           <key>line</key><integer>44</integer>
846           <key>col</key><integer>3</integer>
847           <key>file</key><integer>0</integer>
848          </dict>
849          <dict>
850           <key>line</key><integer>44</integer>
851           <key>col</key><integer>3</integer>
852           <key>file</key><integer>0</integer>
853          </dict>
854         </array>
855       </dict>
856      </array>
857    </dict>
858    <dict>
859     <key>kind</key><string>control</string>
860     <key>edges</key>
861      <array>
862       <dict>
863        <key>start</key>
864         <array>
865          <dict>
866           <key>line</key><integer>44</integer>
867           <key>col</key><integer>3</integer>
868           <key>file</key><integer>0</integer>
869          </dict>
870          <dict>
871           <key>line</key><integer>44</integer>
872           <key>col</key><integer>3</integer>
873           <key>file</key><integer>0</integer>
874          </dict>
875         </array>
876        <key>end</key>
877         <array>
878          <dict>
879           <key>line</key><integer>44</integer>
880           <key>col</key><integer>6</integer>
881           <key>file</key><integer>0</integer>
882          </dict>
883          <dict>
884           <key>line</key><integer>44</integer>
885           <key>col</key><integer>6</integer>
886           <key>file</key><integer>0</integer>
887          </dict>
888         </array>
889       </dict>
890      </array>
891    </dict>
892    <dict>
893     <key>kind</key><string>event</string>
894     <key>location</key>
895     <dict>
896      <key>line</key><integer>44</integer>
897      <key>col</key><integer>6</integer>
898      <key>file</key><integer>0</integer>
899     </dict>
900     <key>ranges</key>
901     <array>
902       <array>
903        <dict>
904         <key>line</key><integer>44</integer>
905         <key>col</key><integer>4</integer>
906         <key>file</key><integer>0</integer>
907        </dict>
908        <dict>
909         <key>line</key><integer>44</integer>
910         <key>col</key><integer>4</integer>
911         <key>file</key><integer>0</integer>
912        </dict>
913       </array>
914     </array>
915     <key>depth</key><integer>0</integer>
916     <key>extended_message</key>
917     <string>Dereference of null pointer (loaded from variable &apos;x&apos;)</string>
918     <key>message</key>
919     <string>Dereference of null pointer (loaded from variable &apos;x&apos;)</string>
920    </dict>
921   </array>
922   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;x&apos;)</string>
923   <key>category</key><string>Logic error</string>
924   <key>type</key><string>Dereference of null pointer</string>
925   <key>check_name</key><string>core.NullDereference</string>
926   <!-- This hash is experimental and going to change! -->
927   <key>issue_hash_content_of_line_in_context</key><string>a944281d096940ca43ec995649b48b5f</string>
928  <key>issue_context_kind</key><string>function</string>
929  <key>issue_context</key><string>testBinaryCondOp</string>
930  <key>issue_hash_function_offset</key><string>4</string>
931  <key>location</key>
932  <dict>
933   <key>line</key><integer>44</integer>
934   <key>col</key><integer>6</integer>
935   <key>file</key><integer>0</integer>
936  </dict>
937  <key>ExecutedLines</key>
938  <dict>
939   <key>0</key>
940   <array>
941    <integer>40</integer>
942    <integer>41</integer>
943    <integer>44</integer>
944   </array>
945  </dict>
946  </dict>
947  <dict>
948   <key>path</key>
949   <array>
950    <dict>
951     <key>kind</key><string>control</string>
952     <key>edges</key>
953      <array>
954       <dict>
955        <key>start</key>
956         <array>
957          <dict>
958           <key>line</key><integer>49</integer>
959           <key>col</key><integer>3</integer>
960           <key>file</key><integer>0</integer>
961          </dict>
962          <dict>
963           <key>line</key><integer>49</integer>
964           <key>col</key><integer>4</integer>
965           <key>file</key><integer>0</integer>
966          </dict>
967         </array>
968        <key>end</key>
969         <array>
970          <dict>
971           <key>line</key><integer>49</integer>
972           <key>col</key><integer>7</integer>
973           <key>file</key><integer>0</integer>
974          </dict>
975          <dict>
976           <key>line</key><integer>49</integer>
977           <key>col</key><integer>7</integer>
978           <key>file</key><integer>0</integer>
979          </dict>
980         </array>
981       </dict>
982      </array>
983    </dict>
984    <dict>
985     <key>kind</key><string>event</string>
986     <key>location</key>
987     <dict>
988      <key>line</key><integer>49</integer>
989      <key>col</key><integer>7</integer>
990      <key>file</key><integer>0</integer>
991     </dict>
992     <key>ranges</key>
993     <array>
994       <array>
995        <dict>
996         <key>line</key><integer>49</integer>
997         <key>col</key><integer>7</integer>
998         <key>file</key><integer>0</integer>
999        </dict>
1000        <dict>
1001         <key>line</key><integer>49</integer>
1002         <key>col</key><integer>7</integer>
1003         <key>file</key><integer>0</integer>
1004        </dict>
1005       </array>
1006     </array>
1007     <key>depth</key><integer>0</integer>
1008     <key>extended_message</key>
1009     <string>Assuming &apos;p&apos; is null</string>
1010     <key>message</key>
1011     <string>Assuming &apos;p&apos; is null</string>
1012    </dict>
1013    <dict>
1014     <key>kind</key><string>control</string>
1015     <key>edges</key>
1016      <array>
1017       <dict>
1018        <key>start</key>
1019         <array>
1020          <dict>
1021           <key>line</key><integer>49</integer>
1022           <key>col</key><integer>7</integer>
1023           <key>file</key><integer>0</integer>
1024          </dict>
1025          <dict>
1026           <key>line</key><integer>49</integer>
1027           <key>col</key><integer>7</integer>
1028           <key>file</key><integer>0</integer>
1029          </dict>
1030         </array>
1031        <key>end</key>
1032         <array>
1033          <dict>
1034           <key>line</key><integer>53</integer>
1035           <key>col</key><integer>3</integer>
1036           <key>file</key><integer>0</integer>
1037          </dict>
1038          <dict>
1039           <key>line</key><integer>53</integer>
1040           <key>col</key><integer>5</integer>
1041           <key>file</key><integer>0</integer>
1042          </dict>
1043         </array>
1044       </dict>
1045      </array>
1046    </dict>
1047    <dict>
1048     <key>kind</key><string>control</string>
1049     <key>edges</key>
1050      <array>
1051       <dict>
1052        <key>start</key>
1053         <array>
1054          <dict>
1055           <key>line</key><integer>53</integer>
1056           <key>col</key><integer>3</integer>
1057           <key>file</key><integer>0</integer>
1058          </dict>
1059          <dict>
1060           <key>line</key><integer>53</integer>
1061           <key>col</key><integer>5</integer>
1062           <key>file</key><integer>0</integer>
1063          </dict>
1064         </array>
1065        <key>end</key>
1066         <array>
1067          <dict>
1068           <key>line</key><integer>53</integer>
1069           <key>col</key><integer>11</integer>
1070           <key>file</key><integer>0</integer>
1071          </dict>
1072          <dict>
1073           <key>line</key><integer>53</integer>
1074           <key>col</key><integer>11</integer>
1075           <key>file</key><integer>0</integer>
1076          </dict>
1077         </array>
1078       </dict>
1079      </array>
1080    </dict>
1081    <dict>
1082     <key>kind</key><string>event</string>
1083     <key>location</key>
1084     <dict>
1085      <key>line</key><integer>53</integer>
1086      <key>col</key><integer>11</integer>
1087      <key>file</key><integer>0</integer>
1088     </dict>
1089     <key>ranges</key>
1090     <array>
1091       <array>
1092        <dict>
1093         <key>line</key><integer>53</integer>
1094         <key>col</key><integer>12</integer>
1095         <key>file</key><integer>0</integer>
1096        </dict>
1097        <dict>
1098         <key>line</key><integer>53</integer>
1099         <key>col</key><integer>12</integer>
1100         <key>file</key><integer>0</integer>
1101        </dict>
1102       </array>
1103     </array>
1104     <key>depth</key><integer>0</integer>
1105     <key>extended_message</key>
1106     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
1107     <key>message</key>
1108     <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
1109    </dict>
1110   </array>
1111   <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
1112   <key>category</key><string>Logic error</string>
1113   <key>type</key><string>Dereference of null pointer</string>
1114   <key>check_name</key><string>core.NullDereference</string>
1115   <!-- This hash is experimental and going to change! -->
1116   <key>issue_hash_content_of_line_in_context</key><string>4db164bbf5cea42d75c5e838be1eef6f</string>
1117  <key>issue_context_kind</key><string>function</string>
1118  <key>issue_context</key><string>testBinaryLHSProblem</string>
1119  <key>issue_hash_function_offset</key><string>5</string>
1120  <key>location</key>
1121  <dict>
1122   <key>line</key><integer>53</integer>
1123   <key>col</key><integer>11</integer>
1124   <key>file</key><integer>0</integer>
1125  </dict>
1126  <key>ExecutedLines</key>
1127  <dict>
1128   <key>0</key>
1129   <array>
1130    <integer>48</integer>
1131    <integer>49</integer>
1132    <integer>53</integer>
1133   </array>
1134  </dict>
1135  </dict>
1136  <dict>
1137   <key>path</key>
1138   <array>
1139    <dict>
1140     <key>kind</key><string>control</string>
1141     <key>edges</key>
1142      <array>
1143       <dict>
1144        <key>start</key>
1145         <array>
1146          <dict>
1147           <key>line</key><integer>59</integer>
1148           <key>col</key><integer>3</integer>
1149           <key>file</key><integer>0</integer>
1150          </dict>
1151          <dict>
1152           <key>line</key><integer>59</integer>
1153           <key>col</key><integer>4</integer>
1154           <key>file</key><integer>0</integer>
1155          </dict>
1156         </array>
1157        <key>end</key>
1158         <array>
1159          <dict>
1160           <key>line</key><integer>59</integer>
1161           <key>col</key><integer>7</integer>
1162           <key>file</key><integer>0</integer>
1163          </dict>
1164          <dict>
1165           <key>line</key><integer>59</integer>
1166           <key>col</key><integer>7</integer>
1167           <key>file</key><integer>0</integer>
1168          </dict>
1169         </array>
1170       </dict>
1171      </array>
1172    </dict>
1173    <dict>
1174     <key>kind</key><string>event</string>
1175     <key>location</key>
1176     <dict>
1177      <key>line</key><integer>59</integer>
1178      <key>col</key><integer>7</integer>
1179      <key>file</key><integer>0</integer>
1180     </dict>
1181     <key>ranges</key>
1182     <array>
1183       <array>
1184        <dict>
1185         <key>line</key><integer>59</integer>
1186         <key>col</key><integer>7</integer>
1187         <key>file</key><integer>0</integer>
1188        </dict>
1189        <dict>
1190         <key>line</key><integer>59</integer>
1191         <key>col</key><integer>7</integer>
1192         <key>file</key><integer>0</integer>
1193        </dict>
1194       </array>
1195     </array>
1196     <key>depth</key><integer>0</integer>
1197     <key>extended_message</key>
1198     <string>Assuming &apos;a&apos; is not equal to 0</string>
1199     <key>message</key>
1200     <string>Assuming &apos;a&apos; is not equal to 0</string>
1201    </dict>
1202    <dict>
1203     <key>kind</key><string>control</string>
1204     <key>edges</key>
1205      <array>
1206       <dict>
1207        <key>start</key>
1208         <array>
1209          <dict>
1210           <key>line</key><integer>59</integer>
1211           <key>col</key><integer>7</integer>
1212           <key>file</key><integer>0</integer>
1213          </dict>
1214          <dict>
1215           <key>line</key><integer>59</integer>
1216           <key>col</key><integer>7</integer>
1217           <key>file</key><integer>0</integer>
1218          </dict>
1219         </array>
1220        <key>end</key>
1221         <array>
1222          <dict>
1223           <key>line</key><integer>62</integer>
1224           <key>col</key><integer>5</integer>
1225           <key>file</key><integer>0</integer>
1226          </dict>
1227          <dict>
1228           <key>line</key><integer>62</integer>
1229           <key>col</key><integer>5</integer>
1230           <key>file</key><integer>0</integer>
1231          </dict>
1232         </array>
1233       </dict>
1234      </array>
1235    </dict>
1236    <dict>
1237     <key>kind</key><string>control</string>
1238     <key>edges</key>
1239      <array>
1240       <dict>
1241        <key>start</key>
1242         <array>
1243          <dict>
1244           <key>line</key><integer>62</integer>
1245           <key>col</key><integer>5</integer>
1246           <key>file</key><integer>0</integer>
1247          </dict>
1248          <dict>
1249           <key>line</key><integer>62</integer>
1250           <key>col</key><integer>5</integer>
1251           <key>file</key><integer>0</integer>
1252          </dict>
1253         </array>
1254        <key>end</key>
1255         <array>
1256          <dict>
1257           <key>line</key><integer>62</integer>
1258           <key>col</key><integer>24</integer>
1259           <key>file</key><integer>0</integer>
1260          </dict>
1261          <dict>
1262           <key>line</key><integer>62</integer>
1263           <key>col</key><integer>24</integer>
1264           <key>file</key><integer>0</integer>
1265          </dict>
1266         </array>
1267       </dict>
1268      </array>
1269    </dict>
1270    <dict>
1271     <key>kind</key><string>event</string>
1272     <key>location</key>
1273     <dict>
1274      <key>line</key><integer>62</integer>
1275      <key>col</key><integer>24</integer>
1276      <key>file</key><integer>0</integer>
1277     </dict>
1278     <key>ranges</key>
1279     <array>
1280       <array>
1281        <dict>
1282         <key>line</key><integer>62</integer>
1283         <key>col</key><integer>5</integer>
1284         <key>file</key><integer>0</integer>
1285        </dict>
1286        <dict>
1287         <key>line</key><integer>62</integer>
1288         <key>col</key><integer>26</integer>
1289         <key>file</key><integer>0</integer>
1290        </dict>
1291       </array>
1292     </array>
1293     <key>depth</key><integer>0</integer>
1294     <key>extended_message</key>
1295     <string>Dereference of null pointer</string>
1296     <key>message</key>
1297     <string>Dereference of null pointer</string>
1298    </dict>
1299   </array>
1300   <key>description</key><string>Dereference of null pointer</string>
1301   <key>category</key><string>Logic error</string>
1302   <key>type</key><string>Dereference of null pointer</string>
1303   <key>check_name</key><string>core.NullDereference</string>
1304   <!-- This hash is experimental and going to change! -->
1305   <key>issue_hash_content_of_line_in_context</key><string>778d56ad485369222613ac2c03b97700</string>
1306  <key>issue_context_kind</key><string>function</string>
1307  <key>issue_context</key><string>testDiagnosableBranch</string>
1308  <key>issue_hash_function_offset</key><string>4</string>
1309  <key>location</key>
1310  <dict>
1311   <key>line</key><integer>62</integer>
1312   <key>col</key><integer>24</integer>
1313   <key>file</key><integer>0</integer>
1314  </dict>
1315  <key>ExecutedLines</key>
1316  <dict>
1317   <key>0</key>
1318   <array>
1319    <integer>58</integer>
1320    <integer>59</integer>
1321    <integer>62</integer>
1322   </array>
1323  </dict>
1324  </dict>
1325  <dict>
1326   <key>path</key>
1327   <array>
1328    <dict>
1329     <key>kind</key><string>control</string>
1330     <key>edges</key>
1331      <array>
1332       <dict>
1333        <key>start</key>
1334         <array>
1335          <dict>
1336           <key>line</key><integer>68</integer>
1337           <key>col</key><integer>3</integer>
1338           <key>file</key><integer>0</integer>
1339          </dict>
1340          <dict>
1341           <key>line</key><integer>68</integer>
1342           <key>col</key><integer>4</integer>
1343           <key>file</key><integer>0</integer>
1344          </dict>
1345         </array>
1346        <key>end</key>
1347         <array>
1348          <dict>
1349           <key>line</key><integer>68</integer>
1350           <key>col</key><integer>7</integer>
1351           <key>file</key><integer>0</integer>
1352          </dict>
1353          <dict>
1354           <key>line</key><integer>68</integer>
1355           <key>col</key><integer>7</integer>
1356           <key>file</key><integer>0</integer>
1357          </dict>
1358         </array>
1359       </dict>
1360      </array>
1361    </dict>
1362    <dict>
1363     <key>kind</key><string>event</string>
1364     <key>location</key>
1365     <dict>
1366      <key>line</key><integer>68</integer>
1367      <key>col</key><integer>7</integer>
1368      <key>file</key><integer>0</integer>
1369     </dict>
1370     <key>ranges</key>
1371     <array>
1372       <array>
1373        <dict>
1374         <key>line</key><integer>68</integer>
1375         <key>col</key><integer>7</integer>
1376         <key>file</key><integer>0</integer>
1377        </dict>
1378        <dict>
1379         <key>line</key><integer>68</integer>
1380         <key>col</key><integer>7</integer>
1381         <key>file</key><integer>0</integer>
1382        </dict>
1383       </array>
1384     </array>
1385     <key>depth</key><integer>0</integer>
1386     <key>extended_message</key>
1387     <string>Assuming &apos;a&apos; is not equal to 0</string>
1388     <key>message</key>
1389     <string>Assuming &apos;a&apos; is not equal to 0</string>
1390    </dict>
1391    <dict>
1392     <key>kind</key><string>control</string>
1393     <key>edges</key>
1394      <array>
1395       <dict>
1396        <key>start</key>
1397         <array>
1398          <dict>
1399           <key>line</key><integer>68</integer>
1400           <key>col</key><integer>7</integer>
1401           <key>file</key><integer>0</integer>
1402          </dict>
1403          <dict>
1404           <key>line</key><integer>68</integer>
1405           <key>col</key><integer>7</integer>
1406           <key>file</key><integer>0</integer>
1407          </dict>
1408         </array>
1409        <key>end</key>
1410         <array>
1411          <dict>
1412           <key>line</key><integer>68</integer>
1413           <key>col</key><integer>12</integer>
1414           <key>file</key><integer>0</integer>
1415          </dict>
1416          <dict>
1417           <key>line</key><integer>68</integer>
1418           <key>col</key><integer>12</integer>
1419           <key>file</key><integer>0</integer>
1420          </dict>
1421         </array>
1422       </dict>
1423      </array>
1424    </dict>
1425    <dict>
1426     <key>kind</key><string>event</string>
1427     <key>location</key>
1428     <dict>
1429      <key>line</key><integer>68</integer>
1430      <key>col</key><integer>12</integer>
1431      <key>file</key><integer>0</integer>
1432     </dict>
1433     <key>ranges</key>
1434     <array>
1435       <array>
1436        <dict>
1437         <key>line</key><integer>68</integer>
1438         <key>col</key><integer>12</integer>
1439         <key>file</key><integer>0</integer>
1440        </dict>
1441        <dict>
1442         <key>line</key><integer>68</integer>
1443         <key>col</key><integer>12</integer>
1444         <key>file</key><integer>0</integer>
1445        </dict>
1446       </array>
1447     </array>
1448     <key>depth</key><integer>0</integer>
1449     <key>extended_message</key>
1450     <string>Assuming &apos;b&apos; is not equal to 0</string>
1451     <key>message</key>
1452     <string>Assuming &apos;b&apos; is not equal to 0</string>
1453    </dict>
1454    <dict>
1455     <key>kind</key><string>control</string>
1456     <key>edges</key>
1457      <array>
1458       <dict>
1459        <key>start</key>
1460         <array>
1461          <dict>
1462           <key>line</key><integer>68</integer>
1463           <key>col</key><integer>12</integer>
1464           <key>file</key><integer>0</integer>
1465          </dict>
1466          <dict>
1467           <key>line</key><integer>68</integer>
1468           <key>col</key><integer>12</integer>
1469           <key>file</key><integer>0</integer>
1470          </dict>
1471         </array>
1472        <key>end</key>
1473         <array>
1474          <dict>
1475           <key>line</key><integer>73</integer>
1476           <key>col</key><integer>5</integer>
1477           <key>file</key><integer>0</integer>
1478          </dict>
1479          <dict>
1480           <key>line</key><integer>73</integer>
1481           <key>col</key><integer>5</integer>
1482           <key>file</key><integer>0</integer>
1483          </dict>
1484         </array>
1485       </dict>
1486      </array>
1487    </dict>
1488    <dict>
1489     <key>kind</key><string>control</string>
1490     <key>edges</key>
1491      <array>
1492       <dict>
1493        <key>start</key>
1494         <array>
1495          <dict>
1496           <key>line</key><integer>73</integer>
1497           <key>col</key><integer>5</integer>
1498           <key>file</key><integer>0</integer>
1499          </dict>
1500          <dict>
1501           <key>line</key><integer>73</integer>
1502           <key>col</key><integer>5</integer>
1503           <key>file</key><integer>0</integer>
1504          </dict>
1505         </array>
1506        <key>end</key>
1507         <array>
1508          <dict>
1509           <key>line</key><integer>73</integer>
1510           <key>col</key><integer>24</integer>
1511           <key>file</key><integer>0</integer>
1512          </dict>
1513          <dict>
1514           <key>line</key><integer>73</integer>
1515           <key>col</key><integer>24</integer>
1516           <key>file</key><integer>0</integer>
1517          </dict>
1518         </array>
1519       </dict>
1520      </array>
1521    </dict>
1522    <dict>
1523     <key>kind</key><string>event</string>
1524     <key>location</key>
1525     <dict>
1526      <key>line</key><integer>73</integer>
1527      <key>col</key><integer>24</integer>
1528      <key>file</key><integer>0</integer>
1529     </dict>
1530     <key>ranges</key>
1531     <array>
1532       <array>
1533        <dict>
1534         <key>line</key><integer>73</integer>
1535         <key>col</key><integer>5</integer>
1536         <key>file</key><integer>0</integer>
1537        </dict>
1538        <dict>
1539         <key>line</key><integer>73</integer>
1540         <key>col</key><integer>26</integer>
1541         <key>file</key><integer>0</integer>
1542        </dict>
1543       </array>
1544     </array>
1545     <key>depth</key><integer>0</integer>
1546     <key>extended_message</key>
1547     <string>Dereference of null pointer</string>
1548     <key>message</key>
1549     <string>Dereference of null pointer</string>
1550    </dict>
1551   </array>
1552   <key>description</key><string>Dereference of null pointer</string>
1553   <key>category</key><string>Logic error</string>
1554   <key>type</key><string>Dereference of null pointer</string>
1555   <key>check_name</key><string>core.NullDereference</string>
1556   <!-- This hash is experimental and going to change! -->
1557   <key>issue_hash_content_of_line_in_context</key><string>a2b345c9681d9dd3aa15d12810759cb9</string>
1558  <key>issue_context_kind</key><string>function</string>
1559  <key>issue_context</key><string>testDiagnosableBranchLogical</string>
1560  <key>issue_hash_function_offset</key><string>6</string>
1561  <key>location</key>
1562  <dict>
1563   <key>line</key><integer>73</integer>
1564   <key>col</key><integer>24</integer>
1565   <key>file</key><integer>0</integer>
1566  </dict>
1567  <key>ExecutedLines</key>
1568  <dict>
1569   <key>0</key>
1570   <array>
1571    <integer>67</integer>
1572    <integer>68</integer>
1573    <integer>73</integer>
1574   </array>
1575  </dict>
1576  </dict>
1577  <dict>
1578   <key>path</key>
1579   <array>
1580    <dict>
1581     <key>kind</key><string>control</string>
1582     <key>edges</key>
1583      <array>
1584       <dict>
1585        <key>start</key>
1586         <array>
1587          <dict>
1588           <key>line</key><integer>79</integer>
1589           <key>col</key><integer>3</integer>
1590           <key>file</key><integer>0</integer>
1591          </dict>
1592          <dict>
1593           <key>line</key><integer>79</integer>
1594           <key>col</key><integer>4</integer>
1595           <key>file</key><integer>0</integer>
1596          </dict>
1597         </array>
1598        <key>end</key>
1599         <array>
1600          <dict>
1601           <key>line</key><integer>79</integer>
1602           <key>col</key><integer>7</integer>
1603           <key>file</key><integer>0</integer>
1604          </dict>
1605          <dict>
1606           <key>line</key><integer>79</integer>
1607           <key>col</key><integer>7</integer>
1608           <key>file</key><integer>0</integer>
1609          </dict>
1610         </array>
1611       </dict>
1612      </array>
1613    </dict>
1614    <dict>
1615     <key>kind</key><string>event</string>
1616     <key>location</key>
1617     <dict>
1618      <key>line</key><integer>79</integer>
1619      <key>col</key><integer>7</integer>
1620      <key>file</key><integer>0</integer>
1621     </dict>
1622     <key>ranges</key>
1623     <array>
1624       <array>
1625        <dict>
1626         <key>line</key><integer>79</integer>
1627         <key>col</key><integer>7</integer>
1628         <key>file</key><integer>0</integer>
1629        </dict>
1630        <dict>
1631         <key>line</key><integer>79</integer>
1632         <key>col</key><integer>11</integer>
1633         <key>file</key><integer>0</integer>
1634        </dict>
1635       </array>
1636     </array>
1637     <key>depth</key><integer>0</integer>
1638     <key>extended_message</key>
1639     <string>Assuming the condition is true</string>
1640     <key>message</key>
1641     <string>Assuming the condition is true</string>
1642    </dict>
1643    <dict>
1644     <key>kind</key><string>control</string>
1645     <key>edges</key>
1646      <array>
1647       <dict>
1648        <key>start</key>
1649         <array>
1650          <dict>
1651           <key>line</key><integer>79</integer>
1652           <key>col</key><integer>7</integer>
1653           <key>file</key><integer>0</integer>
1654          </dict>
1655          <dict>
1656           <key>line</key><integer>79</integer>
1657           <key>col</key><integer>7</integer>
1658           <key>file</key><integer>0</integer>
1659          </dict>
1660         </array>
1661        <key>end</key>
1662         <array>
1663          <dict>
1664           <key>line</key><integer>82</integer>
1665           <key>col</key><integer>5</integer>
1666           <key>file</key><integer>0</integer>
1667          </dict>
1668          <dict>
1669           <key>line</key><integer>82</integer>
1670           <key>col</key><integer>5</integer>
1671           <key>file</key><integer>0</integer>
1672          </dict>
1673         </array>
1674       </dict>
1675      </array>
1676    </dict>
1677    <dict>
1678     <key>kind</key><string>control</string>
1679     <key>edges</key>
1680      <array>
1681       <dict>
1682        <key>start</key>
1683         <array>
1684          <dict>
1685           <key>line</key><integer>82</integer>
1686           <key>col</key><integer>5</integer>
1687           <key>file</key><integer>0</integer>
1688          </dict>
1689          <dict>
1690           <key>line</key><integer>82</integer>
1691           <key>col</key><integer>5</integer>
1692           <key>file</key><integer>0</integer>
1693          </dict>
1694         </array>
1695        <key>end</key>
1696         <array>
1697          <dict>
1698           <key>line</key><integer>82</integer>
1699           <key>col</key><integer>24</integer>
1700           <key>file</key><integer>0</integer>
1701          </dict>
1702          <dict>
1703           <key>line</key><integer>82</integer>
1704           <key>col</key><integer>24</integer>
1705           <key>file</key><integer>0</integer>
1706          </dict>
1707         </array>
1708       </dict>
1709      </array>
1710    </dict>
1711    <dict>
1712     <key>kind</key><string>event</string>
1713     <key>location</key>
1714     <dict>
1715      <key>line</key><integer>82</integer>
1716      <key>col</key><integer>24</integer>
1717      <key>file</key><integer>0</integer>
1718     </dict>
1719     <key>ranges</key>
1720     <array>
1721       <array>
1722        <dict>
1723         <key>line</key><integer>82</integer>
1724         <key>col</key><integer>5</integer>
1725         <key>file</key><integer>0</integer>
1726        </dict>
1727        <dict>
1728         <key>line</key><integer>82</integer>
1729         <key>col</key><integer>26</integer>
1730         <key>file</key><integer>0</integer>
1731        </dict>
1732       </array>
1733     </array>
1734     <key>depth</key><integer>0</integer>
1735     <key>extended_message</key>
1736     <string>Dereference of null pointer</string>
1737     <key>message</key>
1738     <string>Dereference of null pointer</string>
1739    </dict>
1740   </array>
1741   <key>description</key><string>Dereference of null pointer</string>
1742   <key>category</key><string>Logic error</string>
1743   <key>type</key><string>Dereference of null pointer</string>
1744   <key>check_name</key><string>core.NullDereference</string>
1745   <!-- This hash is experimental and going to change! -->
1746   <key>issue_hash_content_of_line_in_context</key><string>f56671e5f67c73abef619b56f7c29fa4</string>
1747  <key>issue_context_kind</key><string>function</string>
1748  <key>issue_context</key><string>testNonDiagnosableBranchArithmetic</string>
1749  <key>issue_hash_function_offset</key><string>4</string>
1750  <key>location</key>
1751  <dict>
1752   <key>line</key><integer>82</integer>
1753   <key>col</key><integer>24</integer>
1754   <key>file</key><integer>0</integer>
1755  </dict>
1756  <key>ExecutedLines</key>
1757  <dict>
1758   <key>0</key>
1759   <array>
1760    <integer>78</integer>
1761    <integer>79</integer>
1762    <integer>82</integer>
1763   </array>
1764  </dict>
1765  </dict>
1766 </array>
1767 <key>files</key>
1768 <array>
1769   <string>/clang/test/Analysis/conditional-path-notes.c</string>
1770 </array>
1771</dict>
1772</plist>
1773