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