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>22</integer>
21           <key>col</key><integer>3</integer>
22           <key>file</key><integer>0</integer>
23          </dict>
24          <dict>
25           <key>line</key><integer>22</integer>
26           <key>col</key><integer>17</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>24</integer>
34           <key>col</key><integer>3</integer>
35           <key>file</key><integer>0</integer>
36          </dict>
37          <dict>
38           <key>line</key><integer>24</integer>
39           <key>col</key><integer>5</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>24</integer>
51      <key>col</key><integer>3</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>24</integer>
59         <key>col</key><integer>3</integer>
60         <key>file</key><integer>0</integer>
61        </dict>
62        <dict>
63         <key>line</key><integer>24</integer>
64         <key>col</key><integer>7</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>&apos;p&apos; initialized to 0</string>
72     <key>message</key>
73     <string>&apos;p&apos; initialized to 0</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>24</integer>
84           <key>col</key><integer>3</integer>
85           <key>file</key><integer>0</integer>
86          </dict>
87          <dict>
88           <key>line</key><integer>24</integer>
89           <key>col</key><integer>5</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>25</integer>
97           <key>col</key><integer>3</integer>
98           <key>file</key><integer>0</integer>
99          </dict>
100          <dict>
101           <key>line</key><integer>25</integer>
102           <key>col</key><integer>4</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>25</integer>
118           <key>col</key><integer>3</integer>
119           <key>file</key><integer>0</integer>
120          </dict>
121          <dict>
122           <key>line</key><integer>25</integer>
123           <key>col</key><integer>4</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>31</integer>
131           <key>col</key><integer>3</integer>
132           <key>file</key><integer>0</integer>
133          </dict>
134          <dict>
135           <key>line</key><integer>31</integer>
136           <key>col</key><integer>4</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>control</string>
145     <key>edges</key>
146      <array>
147       <dict>
148        <key>start</key>
149         <array>
150          <dict>
151           <key>line</key><integer>31</integer>
152           <key>col</key><integer>3</integer>
153           <key>file</key><integer>0</integer>
154          </dict>
155          <dict>
156           <key>line</key><integer>31</integer>
157           <key>col</key><integer>4</integer>
158           <key>file</key><integer>0</integer>
159          </dict>
160         </array>
161        <key>end</key>
162         <array>
163          <dict>
164           <key>line</key><integer>31</integer>
165           <key>col</key><integer>7</integer>
166           <key>file</key><integer>0</integer>
167          </dict>
168          <dict>
169           <key>line</key><integer>31</integer>
170           <key>col</key><integer>24</integer>
171           <key>file</key><integer>0</integer>
172          </dict>
173         </array>
174       </dict>
175      </array>
176    </dict>
177    <dict>
178     <key>kind</key><string>event</string>
179     <key>location</key>
180     <dict>
181      <key>line</key><integer>31</integer>
182      <key>col</key><integer>7</integer>
183      <key>file</key><integer>0</integer>
184     </dict>
185     <key>ranges</key>
186     <array>
187       <array>
188        <dict>
189         <key>line</key><integer>31</integer>
190         <key>col</key><integer>7</integer>
191         <key>file</key><integer>0</integer>
192        </dict>
193        <dict>
194         <key>line</key><integer>31</integer>
195         <key>col</key><integer>27</integer>
196         <key>file</key><integer>0</integer>
197        </dict>
198       </array>
199     </array>
200     <key>depth</key><integer>0</integer>
201     <key>extended_message</key>
202     <string>Assuming the condition is true</string>
203     <key>message</key>
204     <string>Assuming the condition is true</string>
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>31</integer>
215           <key>col</key><integer>7</integer>
216           <key>file</key><integer>0</integer>
217          </dict>
218          <dict>
219           <key>line</key><integer>31</integer>
220           <key>col</key><integer>24</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>35</integer>
228           <key>col</key><integer>15</integer>
229           <key>file</key><integer>0</integer>
230          </dict>
231          <dict>
232           <key>line</key><integer>35</integer>
233           <key>col</key><integer>15</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>35</integer>
245      <key>col</key><integer>15</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>35</integer>
253         <key>col</key><integer>13</integer>
254         <key>file</key><integer>0</integer>
255        </dict>
256        <dict>
257         <key>line</key><integer>35</integer>
258         <key>col</key><integer>17</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>Division by zero</string>
266     <key>message</key>
267     <string>Division by zero</string>
268    </dict>
269   </array>
270   <key>description</key><string>Division by zero</string>
271   <key>category</key><string>Logic error</string>
272   <key>type</key><string>Division by zero</string>
273   <key>check_name</key><string>core.DivideZero</string>
274   <!-- This hash is experimental and going to change! -->
275   <key>issue_hash_content_of_line_in_context</key><string>86cb845e4f1e6abde1c5b319d5b08eca</string>
276  <key>issue_context_kind</key><string>function</string>
277  <key>issue_context</key><string>main</string>
278  <key>issue_hash_function_offset</key><string>15</string>
279  <key>location</key>
280  <dict>
281   <key>line</key><integer>35</integer>
282   <key>col</key><integer>15</integer>
283   <key>file</key><integer>0</integer>
284  </dict>
285  <key>ExecutedLines</key>
286  <dict>
287   <key>0</key>
288   <array>
289    <integer>20</integer>
290    <integer>22</integer>
291    <integer>24</integer>
292    <integer>25</integer>
293    <integer>31</integer>
294    <integer>35</integer>
295   </array>
296   <key>1</key>
297   <array>
298    <integer>1</integer>
299   </array>
300  </dict>
301  </dict>
302 </array>
303 <key>files</key>
304 <array>
305   <string>/clang/test/Analysis/model-file.cpp</string>
306   <string>/clang/test/Analysis/Inputs/Models/notzero.model</string>
307 </array>
308</dict>
309</plist>
310