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