1<?xml version="1.0" encoding="UTF-8"?>
2<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
3<plist version="1.0">
4<dict>
5 <key>clang_version</key>
6 <key>diagnostics</key>
7 <array>
8  <dict>
9   <key>path</key>
10   <array>
11    <dict>
12     <key>kind</key><string>control</string>
13     <key>edges</key>
14      <array>
15       <dict>
16        <key>start</key>
17         <array>
18          <dict>
19           <key>line</key><integer>22</integer>
20           <key>col</key><integer>3</integer>
21           <key>file</key><integer>0</integer>
22          </dict>
23          <dict>
24           <key>line</key><integer>22</integer>
25           <key>col</key><integer>17</integer>
26           <key>file</key><integer>0</integer>
27          </dict>
28         </array>
29        <key>end</key>
30         <array>
31          <dict>
32           <key>line</key><integer>24</integer>
33           <key>col</key><integer>3</integer>
34           <key>file</key><integer>0</integer>
35          </dict>
36          <dict>
37           <key>line</key><integer>24</integer>
38           <key>col</key><integer>5</integer>
39           <key>file</key><integer>0</integer>
40          </dict>
41         </array>
42       </dict>
43      </array>
44    </dict>
45    <dict>
46     <key>kind</key><string>event</string>
47     <key>location</key>
48     <dict>
49      <key>line</key><integer>24</integer>
50      <key>col</key><integer>3</integer>
51      <key>file</key><integer>0</integer>
52     </dict>
53     <key>ranges</key>
54     <array>
55       <array>
56        <dict>
57         <key>line</key><integer>24</integer>
58         <key>col</key><integer>3</integer>
59         <key>file</key><integer>0</integer>
60        </dict>
61        <dict>
62         <key>line</key><integer>24</integer>
63         <key>col</key><integer>7</integer>
64         <key>file</key><integer>0</integer>
65        </dict>
66       </array>
67     </array>
68     <key>depth</key><integer>0</integer>
69     <key>extended_message</key>
70     <string>&apos;p&apos; initialized to 0</string>
71     <key>message</key>
72     <string>&apos;p&apos; initialized to 0</string>
73    </dict>
74    <dict>
75     <key>kind</key><string>control</string>
76     <key>edges</key>
77      <array>
78       <dict>
79        <key>start</key>
80         <array>
81          <dict>
82           <key>line</key><integer>24</integer>
83           <key>col</key><integer>3</integer>
84           <key>file</key><integer>0</integer>
85          </dict>
86          <dict>
87           <key>line</key><integer>24</integer>
88           <key>col</key><integer>5</integer>
89           <key>file</key><integer>0</integer>
90          </dict>
91         </array>
92        <key>end</key>
93         <array>
94          <dict>
95           <key>line</key><integer>25</integer>
96           <key>col</key><integer>3</integer>
97           <key>file</key><integer>0</integer>
98          </dict>
99          <dict>
100           <key>line</key><integer>25</integer>
101           <key>col</key><integer>4</integer>
102           <key>file</key><integer>0</integer>
103          </dict>
104         </array>
105       </dict>
106      </array>
107    </dict>
108    <dict>
109     <key>kind</key><string>control</string>
110     <key>edges</key>
111      <array>
112       <dict>
113        <key>start</key>
114         <array>
115          <dict>
116           <key>line</key><integer>25</integer>
117           <key>col</key><integer>3</integer>
118           <key>file</key><integer>0</integer>
119          </dict>
120          <dict>
121           <key>line</key><integer>25</integer>
122           <key>col</key><integer>4</integer>
123           <key>file</key><integer>0</integer>
124          </dict>
125         </array>
126        <key>end</key>
127         <array>
128          <dict>
129           <key>line</key><integer>31</integer>
130           <key>col</key><integer>3</integer>
131           <key>file</key><integer>0</integer>
132          </dict>
133          <dict>
134           <key>line</key><integer>31</integer>
135           <key>col</key><integer>4</integer>
136           <key>file</key><integer>0</integer>
137          </dict>
138         </array>
139       </dict>
140      </array>
141    </dict>
142    <dict>
143     <key>kind</key><string>control</string>
144     <key>edges</key>
145      <array>
146       <dict>
147        <key>start</key>
148         <array>
149          <dict>
150           <key>line</key><integer>31</integer>
151           <key>col</key><integer>3</integer>
152           <key>file</key><integer>0</integer>
153          </dict>
154          <dict>
155           <key>line</key><integer>31</integer>
156           <key>col</key><integer>4</integer>
157           <key>file</key><integer>0</integer>
158          </dict>
159         </array>
160        <key>end</key>
161         <array>
162          <dict>
163           <key>line</key><integer>31</integer>
164           <key>col</key><integer>7</integer>
165           <key>file</key><integer>0</integer>
166          </dict>
167          <dict>
168           <key>line</key><integer>31</integer>
169           <key>col</key><integer>24</integer>
170           <key>file</key><integer>0</integer>
171          </dict>
172         </array>
173       </dict>
174      </array>
175    </dict>
176    <dict>
177     <key>kind</key><string>event</string>
178     <key>location</key>
179     <dict>
180      <key>line</key><integer>31</integer>
181      <key>col</key><integer>7</integer>
182      <key>file</key><integer>0</integer>
183     </dict>
184     <key>ranges</key>
185     <array>
186       <array>
187        <dict>
188         <key>line</key><integer>31</integer>
189         <key>col</key><integer>7</integer>
190         <key>file</key><integer>0</integer>
191        </dict>
192        <dict>
193         <key>line</key><integer>31</integer>
194         <key>col</key><integer>27</integer>
195         <key>file</key><integer>0</integer>
196        </dict>
197       </array>
198     </array>
199     <key>depth</key><integer>0</integer>
200     <key>extended_message</key>
201     <string>Assuming the condition is true</string>
202     <key>message</key>
203     <string>Assuming the condition is true</string>
204    </dict>
205    <dict>
206     <key>kind</key><string>control</string>
207     <key>edges</key>
208      <array>
209       <dict>
210        <key>start</key>
211         <array>
212          <dict>
213           <key>line</key><integer>31</integer>
214           <key>col</key><integer>7</integer>
215           <key>file</key><integer>0</integer>
216          </dict>
217          <dict>
218           <key>line</key><integer>31</integer>
219           <key>col</key><integer>24</integer>
220           <key>file</key><integer>0</integer>
221          </dict>
222         </array>
223        <key>end</key>
224         <array>
225          <dict>
226           <key>line</key><integer>35</integer>
227           <key>col</key><integer>15</integer>
228           <key>file</key><integer>0</integer>
229          </dict>
230          <dict>
231           <key>line</key><integer>35</integer>
232           <key>col</key><integer>15</integer>
233           <key>file</key><integer>0</integer>
234          </dict>
235         </array>
236       </dict>
237      </array>
238    </dict>
239    <dict>
240     <key>kind</key><string>event</string>
241     <key>location</key>
242     <dict>
243      <key>line</key><integer>35</integer>
244      <key>col</key><integer>15</integer>
245      <key>file</key><integer>0</integer>
246     </dict>
247     <key>ranges</key>
248     <array>
249       <array>
250        <dict>
251         <key>line</key><integer>35</integer>
252         <key>col</key><integer>13</integer>
253         <key>file</key><integer>0</integer>
254        </dict>
255        <dict>
256         <key>line</key><integer>35</integer>
257         <key>col</key><integer>17</integer>
258         <key>file</key><integer>0</integer>
259        </dict>
260       </array>
261     </array>
262     <key>depth</key><integer>0</integer>
263     <key>extended_message</key>
264     <string>Division by zero</string>
265     <key>message</key>
266     <string>Division by zero</string>
267    </dict>
268   </array>
269   <key>description</key><string>Division by zero</string>
270   <key>category</key><string>Logic error</string>
271   <key>type</key><string>Division by zero</string>
272   <key>check_name</key><string>core.DivideZero</string>
273   <!-- This hash is experimental and going to change! -->
274   <key>issue_hash_content_of_line_in_context</key><string>86cb845e4f1e6abde1c5b319d5b08eca</string>
275  <key>issue_context_kind</key><string>function</string>
276  <key>issue_context</key><string>main</string>
277  <key>issue_hash_function_offset</key><string>15</string>
278  <key>location</key>
279  <dict>
280   <key>line</key><integer>35</integer>
281   <key>col</key><integer>15</integer>
282   <key>file</key><integer>0</integer>
283  </dict>
284  <key>ExecutedLines</key>
285  <dict>
286   <key>0</key>
287   <array>
288    <integer>20</integer>
289    <integer>22</integer>
290    <integer>24</integer>
291    <integer>25</integer>
292    <integer>31</integer>
293    <integer>35</integer>
294   </array>
295   <key>1</key>
296   <array>
297    <integer>1</integer>
298   </array>
299  </dict>
300  </dict>
301 </array>
302 <key>files</key>
303 <array>
304 </array>
305</dict>
306</plist>
307