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">
5 <key>clang_version
</key>
12 <key>kind
</key><string>control
</string>
19 <key>line
</key><integer>22</integer>
20 <key>col
</key><integer>3</integer>
21 <key>file
</key><integer>0</integer>
24 <key>line
</key><integer>22</integer>
25 <key>col
</key><integer>17</integer>
26 <key>file
</key><integer>0</integer>
32 <key>line
</key><integer>24</integer>
33 <key>col
</key><integer>3</integer>
34 <key>file
</key><integer>0</integer>
37 <key>line
</key><integer>24</integer>
38 <key>col
</key><integer>5</integer>
39 <key>file
</key><integer>0</integer>
46 <key>kind
</key><string>event
</string>
49 <key>line
</key><integer>24</integer>
50 <key>col
</key><integer>3</integer>
51 <key>file
</key><integer>0</integer>
57 <key>line
</key><integer>24</integer>
58 <key>col
</key><integer>3</integer>
59 <key>file
</key><integer>0</integer>
62 <key>line
</key><integer>24</integer>
63 <key>col
</key><integer>7</integer>
64 <key>file
</key><integer>0</integer>
68 <key>depth
</key><integer>0</integer>
69 <key>extended_message
</key>
70 <string>'p
' initialized to
0</string>
72 <string>'p
' initialized to
0</string>
75 <key>kind
</key><string>control
</string>
82 <key>line
</key><integer>24</integer>
83 <key>col
</key><integer>3</integer>
84 <key>file
</key><integer>0</integer>
87 <key>line
</key><integer>24</integer>
88 <key>col
</key><integer>5</integer>
89 <key>file
</key><integer>0</integer>
95 <key>line
</key><integer>25</integer>
96 <key>col
</key><integer>3</integer>
97 <key>file
</key><integer>0</integer>
100 <key>line
</key><integer>25</integer>
101 <key>col
</key><integer>4</integer>
102 <key>file
</key><integer>0</integer>
109 <key>kind
</key><string>control
</string>
116 <key>line
</key><integer>25</integer>
117 <key>col
</key><integer>3</integer>
118 <key>file
</key><integer>0</integer>
121 <key>line
</key><integer>25</integer>
122 <key>col
</key><integer>4</integer>
123 <key>file
</key><integer>0</integer>
129 <key>line
</key><integer>31</integer>
130 <key>col
</key><integer>3</integer>
131 <key>file
</key><integer>0</integer>
134 <key>line
</key><integer>31</integer>
135 <key>col
</key><integer>4</integer>
136 <key>file
</key><integer>0</integer>
143 <key>kind
</key><string>control
</string>
150 <key>line
</key><integer>31</integer>
151 <key>col
</key><integer>3</integer>
152 <key>file
</key><integer>0</integer>
155 <key>line
</key><integer>31</integer>
156 <key>col
</key><integer>4</integer>
157 <key>file
</key><integer>0</integer>
163 <key>line
</key><integer>31</integer>
164 <key>col
</key><integer>7</integer>
165 <key>file
</key><integer>0</integer>
168 <key>line
</key><integer>31</integer>
169 <key>col
</key><integer>24</integer>
170 <key>file
</key><integer>0</integer>
177 <key>kind
</key><string>event
</string>
180 <key>line
</key><integer>31</integer>
181 <key>col
</key><integer>7</integer>
182 <key>file
</key><integer>0</integer>
188 <key>line
</key><integer>31</integer>
189 <key>col
</key><integer>7</integer>
190 <key>file
</key><integer>0</integer>
193 <key>line
</key><integer>31</integer>
194 <key>col
</key><integer>27</integer>
195 <key>file
</key><integer>0</integer>
199 <key>depth
</key><integer>0</integer>
200 <key>extended_message
</key>
201 <string>Assuming the condition is true
</string>
203 <string>Assuming the condition is true
</string>
206 <key>kind
</key><string>control
</string>
213 <key>line
</key><integer>31</integer>
214 <key>col
</key><integer>7</integer>
215 <key>file
</key><integer>0</integer>
218 <key>line
</key><integer>31</integer>
219 <key>col
</key><integer>24</integer>
220 <key>file
</key><integer>0</integer>
226 <key>line
</key><integer>35</integer>
227 <key>col
</key><integer>15</integer>
228 <key>file
</key><integer>0</integer>
231 <key>line
</key><integer>35</integer>
232 <key>col
</key><integer>15</integer>
233 <key>file
</key><integer>0</integer>
240 <key>kind
</key><string>event
</string>
243 <key>line
</key><integer>35</integer>
244 <key>col
</key><integer>15</integer>
245 <key>file
</key><integer>0</integer>
251 <key>line
</key><integer>35</integer>
252 <key>col
</key><integer>13</integer>
253 <key>file
</key><integer>0</integer>
256 <key>line
</key><integer>35</integer>
257 <key>col
</key><integer>17</integer>
258 <key>file
</key><integer>0</integer>
262 <key>depth
</key><integer>0</integer>
263 <key>extended_message
</key>
264 <string>Division by zero
</string>
266 <string>Division by zero
</string>
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>
280 <key>line
</key><integer>35</integer>
281 <key>col
</key><integer>15</integer>
282 <key>file
</key><integer>0</integer>
284 <key>ExecutedLines
</key>
288 <integer>20</integer>
289 <integer>22</integer>
290 <integer>24</integer>
291 <integer>25</integer>
292 <integer>31</integer>
293 <integer>35</integer>