Run DCE after a LoopFlatten test to reduce spurious output [nfc]
[llvm-project.git] / clang / test / Analysis / Inputs / expected-plists / model-file.cpp.plist
blob4404893e3cdcd0d8beb0cf5a0870b3b6dacad681
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>