• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // RUN: %clang_cc1 -analyze -analyzer-checker=core,unix -analyzer-output=plist-multi-file -analyzer-config report-in-main-source-file=true -analyzer-config path-diagnostics-alternate=false %s -o %t.plist
2 // RUN: FileCheck --input-file=%t.plist %s
3 #include "Inputs/include/report-issues-within-main-file.h"
4 
mainPlusHeader()5 void mainPlusHeader() {
6   auto_ptr<int> B (new int[5]);
7 }
8 
auxInMain()9 void auxInMain() {
10   int j = 0;
11   j++;
12   cause_div_by_zero_in_header(j);
13   j--;
14 }
mainPlusMainPlusHeader()15 void mainPlusMainPlusHeader() {
16   int i = 0;
17   i++;
18   auxInMain();
19   i++;
20 }
21 
causeDivByZeroInMain(int in)22 void causeDivByZeroInMain(int in) {
23   int m = 0;
24   m = in/m;
25   m++;
26 }
mainPlusMain()27 void mainPlusMain() {
28   int i = 0;
29   i++;
30   causeDivByZeroInMain(i);
31   i++;
32 }
33 
causeDivByZeroInMain2(int in)34 void causeDivByZeroInMain2(int in) {
35   int m2 = 0;
36   m2 = in/m2;
37   m2++;
38 }
39 
mainPlustHeaderCallAndReturnPlusMain()40 void mainPlustHeaderCallAndReturnPlusMain() {
41   int i = 0;
42   i++;
43   do_something(i);
44   causeDivByZeroInMain2(i);
45   i++;
46 }
47 
callInMacro()48 void callInMacro() {
49   int j = 0;
50   j++;
51   CALLS_BUGGY_FUNCTION2;
52   j--;
53 }
54 
callInMacro3()55 void callInMacro3() {
56   int j = 0;
57   j++;
58   CALLS_BUGGY_FUNCTION3;
59   j--;
60 }
61 
callCallInMacro3()62 void callCallInMacro3() {
63   callInMacro3();
64 }
65 
callInMacroArg()66 void callInMacroArg() {
67   int j = 0;
68   j++;
69   TAKE_CALL_AS_ARG(cause_div_by_zero_in_header4(5));
70   j--;
71 }
72 
73 // CHECK: </array>
74 // CHECK-NEXT: <key>diagnostics</key>
75 // CHECK-NEXT: <array>
76 // CHECK-NEXT:  <dict>
77 // CHECK-NEXT:   <key>path</key>
78 // CHECK-NEXT:   <array>
79 // CHECK-NEXT:    <dict>
80 // CHECK-NEXT:     <key>kind</key><string>event</string>
81 // CHECK-NEXT:     <key>location</key>
82 // CHECK-NEXT:     <dict>
83 // CHECK-NEXT:      <key>line</key><integer>51</integer>
84 // CHECK-NEXT:      <key>col</key><integer>3</integer>
85 // CHECK-NEXT:      <key>file</key><integer>0</integer>
86 // CHECK-NEXT:     </dict>
87 // CHECK-NEXT:     <key>ranges</key>
88 // CHECK-NEXT:     <array>
89 // CHECK-NEXT:       <array>
90 // CHECK-NEXT:        <dict>
91 // CHECK-NEXT:         <key>line</key><integer>51</integer>
92 // CHECK-NEXT:         <key>col</key><integer>3</integer>
93 // CHECK-NEXT:         <key>file</key><integer>0</integer>
94 // CHECK-NEXT:        </dict>
95 // CHECK-NEXT:        <dict>
96 // CHECK-NEXT:         <key>line</key><integer>51</integer>
97 // CHECK-NEXT:         <key>col</key><integer>23</integer>
98 // CHECK-NEXT:         <key>file</key><integer>0</integer>
99 // CHECK-NEXT:        </dict>
100 // CHECK-NEXT:       </array>
101 // CHECK-NEXT:     </array>
102 // CHECK-NEXT:     <key>depth</key><integer>0</integer>
103 // CHECK-NEXT:     <key>extended_message</key>
104 // CHECK-NEXT:     <string>Calling &apos;cause_div_by_zero_in_header2&apos;</string>
105 // CHECK-NEXT:     <key>message</key>
106 // CHECK-NEXT:     <string>Calling &apos;cause_div_by_zero_in_header2&apos;</string>
107 // CHECK-NEXT:    </dict>
108 // CHECK-NEXT:    <dict>
109 // CHECK-NEXT:     <key>kind</key><string>event</string>
110 // CHECK-NEXT:     <key>location</key>
111 // CHECK-NEXT:     <dict>
112 // CHECK-NEXT:      <key>line</key><integer>21</integer>
113 // CHECK-NEXT:      <key>col</key><integer>1</integer>
114 // CHECK-NEXT:      <key>file</key><integer>1</integer>
115 // CHECK-NEXT:     </dict>
116 // CHECK-NEXT:     <key>depth</key><integer>1</integer>
117 // CHECK-NEXT:     <key>extended_message</key>
118 // CHECK-NEXT:     <string>Entered call from &apos;callInMacro&apos;</string>
119 // CHECK-NEXT:     <key>message</key>
120 // CHECK-NEXT:     <string>Entered call from &apos;callInMacro&apos;</string>
121 // CHECK-NEXT:    </dict>
122 // CHECK-NEXT:    <dict>
123 // CHECK-NEXT:     <key>kind</key><string>control</string>
124 // CHECK-NEXT:     <key>edges</key>
125 // CHECK-NEXT:      <array>
126 // CHECK-NEXT:       <dict>
127 // CHECK-NEXT:        <key>start</key>
128 // CHECK-NEXT:         <array>
129 // CHECK-NEXT:          <dict>
130 // CHECK-NEXT:           <key>line</key><integer>21</integer>
131 // CHECK-NEXT:           <key>col</key><integer>1</integer>
132 // CHECK-NEXT:           <key>file</key><integer>1</integer>
133 // CHECK-NEXT:          </dict>
134 // CHECK-NEXT:          <dict>
135 // CHECK-NEXT:           <key>line</key><integer>21</integer>
136 // CHECK-NEXT:           <key>col</key><integer>4</integer>
137 // CHECK-NEXT:           <key>file</key><integer>1</integer>
138 // CHECK-NEXT:          </dict>
139 // CHECK-NEXT:         </array>
140 // CHECK-NEXT:        <key>end</key>
141 // CHECK-NEXT:         <array>
142 // CHECK-NEXT:          <dict>
143 // CHECK-NEXT:           <key>line</key><integer>22</integer>
144 // CHECK-NEXT:           <key>col</key><integer>3</integer>
145 // CHECK-NEXT:           <key>file</key><integer>1</integer>
146 // CHECK-NEXT:          </dict>
147 // CHECK-NEXT:          <dict>
148 // CHECK-NEXT:           <key>line</key><integer>22</integer>
149 // CHECK-NEXT:           <key>col</key><integer>5</integer>
150 // CHECK-NEXT:           <key>file</key><integer>1</integer>
151 // CHECK-NEXT:          </dict>
152 // CHECK-NEXT:         </array>
153 // CHECK-NEXT:       </dict>
154 // CHECK-NEXT:      </array>
155 // CHECK-NEXT:    </dict>
156 // CHECK-NEXT:    <dict>
157 // CHECK-NEXT:     <key>kind</key><string>event</string>
158 // CHECK-NEXT:     <key>location</key>
159 // CHECK-NEXT:     <dict>
160 // CHECK-NEXT:      <key>line</key><integer>22</integer>
161 // CHECK-NEXT:      <key>col</key><integer>3</integer>
162 // CHECK-NEXT:      <key>file</key><integer>1</integer>
163 // CHECK-NEXT:     </dict>
164 // CHECK-NEXT:     <key>ranges</key>
165 // CHECK-NEXT:     <array>
166 // CHECK-NEXT:       <array>
167 // CHECK-NEXT:        <dict>
168 // CHECK-NEXT:         <key>line</key><integer>22</integer>
169 // CHECK-NEXT:         <key>col</key><integer>3</integer>
170 // CHECK-NEXT:         <key>file</key><integer>1</integer>
171 // CHECK-NEXT:        </dict>
172 // CHECK-NEXT:        <dict>
173 // CHECK-NEXT:         <key>line</key><integer>22</integer>
174 // CHECK-NEXT:         <key>col</key><integer>8</integer>
175 // CHECK-NEXT:         <key>file</key><integer>1</integer>
176 // CHECK-NEXT:        </dict>
177 // CHECK-NEXT:       </array>
178 // CHECK-NEXT:     </array>
179 // CHECK-NEXT:     <key>depth</key><integer>1</integer>
180 // CHECK-NEXT:     <key>extended_message</key>
181 // CHECK-NEXT:     <string>&apos;h2&apos; initialized to 0</string>
182 // CHECK-NEXT:     <key>message</key>
183 // CHECK-NEXT:     <string>&apos;h2&apos; initialized to 0</string>
184 // CHECK-NEXT:    </dict>
185 // CHECK-NEXT:    <dict>
186 // CHECK-NEXT:     <key>kind</key><string>control</string>
187 // CHECK-NEXT:     <key>edges</key>
188 // CHECK-NEXT:      <array>
189 // CHECK-NEXT:       <dict>
190 // CHECK-NEXT:        <key>start</key>
191 // CHECK-NEXT:         <array>
192 // CHECK-NEXT:          <dict>
193 // CHECK-NEXT:           <key>line</key><integer>22</integer>
194 // CHECK-NEXT:           <key>col</key><integer>3</integer>
195 // CHECK-NEXT:           <key>file</key><integer>1</integer>
196 // CHECK-NEXT:          </dict>
197 // CHECK-NEXT:          <dict>
198 // CHECK-NEXT:           <key>line</key><integer>22</integer>
199 // CHECK-NEXT:           <key>col</key><integer>5</integer>
200 // CHECK-NEXT:           <key>file</key><integer>1</integer>
201 // CHECK-NEXT:          </dict>
202 // CHECK-NEXT:         </array>
203 // CHECK-NEXT:        <key>end</key>
204 // CHECK-NEXT:         <array>
205 // CHECK-NEXT:          <dict>
206 // CHECK-NEXT:           <key>line</key><integer>23</integer>
207 // CHECK-NEXT:           <key>col</key><integer>10</integer>
208 // CHECK-NEXT:           <key>file</key><integer>1</integer>
209 // CHECK-NEXT:          </dict>
210 // CHECK-NEXT:          <dict>
211 // CHECK-NEXT:           <key>line</key><integer>23</integer>
212 // CHECK-NEXT:           <key>col</key><integer>10</integer>
213 // CHECK-NEXT:           <key>file</key><integer>1</integer>
214 // CHECK-NEXT:          </dict>
215 // CHECK-NEXT:         </array>
216 // CHECK-NEXT:       </dict>
217 // CHECK-NEXT:      </array>
218 // CHECK-NEXT:    </dict>
219 // CHECK-NEXT:    <dict>
220 // CHECK-NEXT:     <key>kind</key><string>event</string>
221 // CHECK-NEXT:     <key>location</key>
222 // CHECK-NEXT:     <dict>
223 // CHECK-NEXT:      <key>line</key><integer>23</integer>
224 // CHECK-NEXT:      <key>col</key><integer>10</integer>
225 // CHECK-NEXT:      <key>file</key><integer>1</integer>
226 // CHECK-NEXT:     </dict>
227 // CHECK-NEXT:     <key>ranges</key>
228 // CHECK-NEXT:     <array>
229 // CHECK-NEXT:       <array>
230 // CHECK-NEXT:        <dict>
231 // CHECK-NEXT:         <key>line</key><integer>23</integer>
232 // CHECK-NEXT:         <key>col</key><integer>8</integer>
233 // CHECK-NEXT:         <key>file</key><integer>1</integer>
234 // CHECK-NEXT:        </dict>
235 // CHECK-NEXT:        <dict>
236 // CHECK-NEXT:         <key>line</key><integer>23</integer>
237 // CHECK-NEXT:         <key>col</key><integer>12</integer>
238 // CHECK-NEXT:         <key>file</key><integer>1</integer>
239 // CHECK-NEXT:        </dict>
240 // CHECK-NEXT:       </array>
241 // CHECK-NEXT:     </array>
242 // CHECK-NEXT:     <key>depth</key><integer>1</integer>
243 // CHECK-NEXT:     <key>extended_message</key>
244 // CHECK-NEXT:     <string>Division by zero</string>
245 // CHECK-NEXT:     <key>message</key>
246 // CHECK-NEXT:     <string>Division by zero</string>
247 // CHECK-NEXT:    </dict>
248 // CHECK-NEXT:   </array>
249 // CHECK-NEXT:   <key>description</key><string>Division by zero</string>
250 // CHECK-NEXT:   <key>category</key><string>Logic error</string>
251 // CHECK-NEXT:   <key>type</key><string>Division by zero</string>
252 // CHECK-NEXT:   <key>check_name</key><string>core.DivideZero</string>
253 // CHECK-NEXT:   <!-- This hash is experimental and going to change! -->
254 // CHECK-NEXT:   <key>issue_hash_content_of_line_in_context</key><string>81ef0773d42c0309a03a9a11048f497e</string>
255 // CHECK-NEXT:  <key>issue_context_kind</key><string>function</string>
256 // CHECK-NEXT:  <key>issue_context</key><string>cause_div_by_zero_in_header2</string>
257 // CHECK-NEXT:  <key>issue_hash_function_offset</key><string>2</string>
258 // CHECK-NEXT:  <key>location</key>
259 // CHECK-NEXT:  <dict>
260 // CHECK-NEXT:   <key>line</key><integer>23</integer>
261 // CHECK-NEXT:   <key>col</key><integer>10</integer>
262 // CHECK-NEXT:   <key>file</key><integer>1</integer>
263 // CHECK-NEXT:  </dict>
264 // CHECK-NEXT:  </dict>
265 // CHECK-NEXT:  <dict>
266 // CHECK-NEXT:   <key>path</key>
267 // CHECK-NEXT:   <array>
268 // CHECK-NEXT:    <dict>
269 // CHECK-NEXT:     <key>kind</key><string>event</string>
270 // CHECK-NEXT:     <key>location</key>
271 // CHECK-NEXT:     <dict>
272 // CHECK-NEXT:      <key>line</key><integer>63</integer>
273 // CHECK-NEXT:      <key>col</key><integer>3</integer>
274 // CHECK-NEXT:      <key>file</key><integer>0</integer>
275 // CHECK-NEXT:     </dict>
276 // CHECK-NEXT:     <key>ranges</key>
277 // CHECK-NEXT:     <array>
278 // CHECK-NEXT:       <array>
279 // CHECK-NEXT:        <dict>
280 // CHECK-NEXT:         <key>line</key><integer>63</integer>
281 // CHECK-NEXT:         <key>col</key><integer>3</integer>
282 // CHECK-NEXT:         <key>file</key><integer>0</integer>
283 // CHECK-NEXT:        </dict>
284 // CHECK-NEXT:        <dict>
285 // CHECK-NEXT:         <key>line</key><integer>63</integer>
286 // CHECK-NEXT:         <key>col</key><integer>16</integer>
287 // CHECK-NEXT:         <key>file</key><integer>0</integer>
288 // CHECK-NEXT:        </dict>
289 // CHECK-NEXT:       </array>
290 // CHECK-NEXT:     </array>
291 // CHECK-NEXT:     <key>depth</key><integer>0</integer>
292 // CHECK-NEXT:     <key>extended_message</key>
293 // CHECK-NEXT:     <string>Calling &apos;callInMacro3&apos;</string>
294 // CHECK-NEXT:     <key>message</key>
295 // CHECK-NEXT:     <string>Calling &apos;callInMacro3&apos;</string>
296 // CHECK-NEXT:    </dict>
297 // CHECK-NEXT:    <dict>
298 // CHECK-NEXT:     <key>kind</key><string>event</string>
299 // CHECK-NEXT:     <key>location</key>
300 // CHECK-NEXT:     <dict>
301 // CHECK-NEXT:      <key>line</key><integer>55</integer>
302 // CHECK-NEXT:      <key>col</key><integer>1</integer>
303 // CHECK-NEXT:      <key>file</key><integer>0</integer>
304 // CHECK-NEXT:     </dict>
305 // CHECK-NEXT:     <key>depth</key><integer>1</integer>
306 // CHECK-NEXT:     <key>extended_message</key>
307 // CHECK-NEXT:     <string>Entered call from &apos;callCallInMacro3&apos;</string>
308 // CHECK-NEXT:     <key>message</key>
309 // CHECK-NEXT:     <string>Entered call from &apos;callCallInMacro3&apos;</string>
310 // CHECK-NEXT:    </dict>
311 // CHECK-NEXT:    <dict>
312 // CHECK-NEXT:     <key>kind</key><string>control</string>
313 // CHECK-NEXT:     <key>edges</key>
314 // CHECK-NEXT:      <array>
315 // CHECK-NEXT:       <dict>
316 // CHECK-NEXT:        <key>start</key>
317 // CHECK-NEXT:         <array>
318 // CHECK-NEXT:          <dict>
319 // CHECK-NEXT:           <key>line</key><integer>55</integer>
320 // CHECK-NEXT:           <key>col</key><integer>1</integer>
321 // CHECK-NEXT:           <key>file</key><integer>0</integer>
322 // CHECK-NEXT:          </dict>
323 // CHECK-NEXT:          <dict>
324 // CHECK-NEXT:           <key>line</key><integer>55</integer>
325 // CHECK-NEXT:           <key>col</key><integer>4</integer>
326 // CHECK-NEXT:           <key>file</key><integer>0</integer>
327 // CHECK-NEXT:          </dict>
328 // CHECK-NEXT:         </array>
329 // CHECK-NEXT:        <key>end</key>
330 // CHECK-NEXT:         <array>
331 // CHECK-NEXT:          <dict>
332 // CHECK-NEXT:           <key>line</key><integer>56</integer>
333 // CHECK-NEXT:           <key>col</key><integer>3</integer>
334 // CHECK-NEXT:           <key>file</key><integer>0</integer>
335 // CHECK-NEXT:          </dict>
336 // CHECK-NEXT:          <dict>
337 // CHECK-NEXT:           <key>line</key><integer>56</integer>
338 // CHECK-NEXT:           <key>col</key><integer>5</integer>
339 // CHECK-NEXT:           <key>file</key><integer>0</integer>
340 // CHECK-NEXT:          </dict>
341 // CHECK-NEXT:         </array>
342 // CHECK-NEXT:       </dict>
343 // CHECK-NEXT:      </array>
344 // CHECK-NEXT:    </dict>
345 // CHECK-NEXT:    <dict>
346 // CHECK-NEXT:     <key>kind</key><string>event</string>
347 // CHECK-NEXT:     <key>location</key>
348 // CHECK-NEXT:     <dict>
349 // CHECK-NEXT:      <key>line</key><integer>58</integer>
350 // CHECK-NEXT:      <key>col</key><integer>3</integer>
351 // CHECK-NEXT:      <key>file</key><integer>0</integer>
352 // CHECK-NEXT:     </dict>
353 // CHECK-NEXT:     <key>ranges</key>
354 // CHECK-NEXT:     <array>
355 // CHECK-NEXT:       <array>
356 // CHECK-NEXT:        <dict>
357 // CHECK-NEXT:         <key>line</key><integer>58</integer>
358 // CHECK-NEXT:         <key>col</key><integer>3</integer>
359 // CHECK-NEXT:         <key>file</key><integer>0</integer>
360 // CHECK-NEXT:        </dict>
361 // CHECK-NEXT:        <dict>
362 // CHECK-NEXT:         <key>line</key><integer>58</integer>
363 // CHECK-NEXT:         <key>col</key><integer>23</integer>
364 // CHECK-NEXT:         <key>file</key><integer>0</integer>
365 // CHECK-NEXT:        </dict>
366 // CHECK-NEXT:       </array>
367 // CHECK-NEXT:     </array>
368 // CHECK-NEXT:     <key>depth</key><integer>1</integer>
369 // CHECK-NEXT:     <key>extended_message</key>
370 // CHECK-NEXT:     <string>Calling &apos;cause_div_by_zero_in_header3&apos;</string>
371 // CHECK-NEXT:     <key>message</key>
372 // CHECK-NEXT:     <string>Calling &apos;cause_div_by_zero_in_header3&apos;</string>
373 // CHECK-NEXT:    </dict>
374 // CHECK-NEXT:    <dict>
375 // CHECK-NEXT:     <key>kind</key><string>event</string>
376 // CHECK-NEXT:     <key>location</key>
377 // CHECK-NEXT:     <dict>
378 // CHECK-NEXT:      <key>line</key><integer>29</integer>
379 // CHECK-NEXT:      <key>col</key><integer>1</integer>
380 // CHECK-NEXT:      <key>file</key><integer>1</integer>
381 // CHECK-NEXT:     </dict>
382 // CHECK-NEXT:     <key>depth</key><integer>2</integer>
383 // CHECK-NEXT:     <key>extended_message</key>
384 // CHECK-NEXT:     <string>Entered call from &apos;callInMacro3&apos;</string>
385 // CHECK-NEXT:     <key>message</key>
386 // CHECK-NEXT:     <string>Entered call from &apos;callInMacro3&apos;</string>
387 // CHECK-NEXT:    </dict>
388 // CHECK-NEXT:    <dict>
389 // CHECK-NEXT:     <key>kind</key><string>control</string>
390 // CHECK-NEXT:     <key>edges</key>
391 // CHECK-NEXT:      <array>
392 // CHECK-NEXT:       <dict>
393 // CHECK-NEXT:        <key>start</key>
394 // CHECK-NEXT:         <array>
395 // CHECK-NEXT:          <dict>
396 // CHECK-NEXT:           <key>line</key><integer>29</integer>
397 // CHECK-NEXT:           <key>col</key><integer>1</integer>
398 // CHECK-NEXT:           <key>file</key><integer>1</integer>
399 // CHECK-NEXT:          </dict>
400 // CHECK-NEXT:          <dict>
401 // CHECK-NEXT:           <key>line</key><integer>29</integer>
402 // CHECK-NEXT:           <key>col</key><integer>4</integer>
403 // CHECK-NEXT:           <key>file</key><integer>1</integer>
404 // CHECK-NEXT:          </dict>
405 // CHECK-NEXT:         </array>
406 // CHECK-NEXT:        <key>end</key>
407 // CHECK-NEXT:         <array>
408 // CHECK-NEXT:          <dict>
409 // CHECK-NEXT:           <key>line</key><integer>30</integer>
410 // CHECK-NEXT:           <key>col</key><integer>3</integer>
411 // CHECK-NEXT:           <key>file</key><integer>1</integer>
412 // CHECK-NEXT:          </dict>
413 // CHECK-NEXT:          <dict>
414 // CHECK-NEXT:           <key>line</key><integer>30</integer>
415 // CHECK-NEXT:           <key>col</key><integer>5</integer>
416 // CHECK-NEXT:           <key>file</key><integer>1</integer>
417 // CHECK-NEXT:          </dict>
418 // CHECK-NEXT:         </array>
419 // CHECK-NEXT:       </dict>
420 // CHECK-NEXT:      </array>
421 // CHECK-NEXT:    </dict>
422 // CHECK-NEXT:    <dict>
423 // CHECK-NEXT:     <key>kind</key><string>event</string>
424 // CHECK-NEXT:     <key>location</key>
425 // CHECK-NEXT:     <dict>
426 // CHECK-NEXT:      <key>line</key><integer>30</integer>
427 // CHECK-NEXT:      <key>col</key><integer>3</integer>
428 // CHECK-NEXT:      <key>file</key><integer>1</integer>
429 // CHECK-NEXT:     </dict>
430 // CHECK-NEXT:     <key>ranges</key>
431 // CHECK-NEXT:     <array>
432 // CHECK-NEXT:       <array>
433 // CHECK-NEXT:        <dict>
434 // CHECK-NEXT:         <key>line</key><integer>30</integer>
435 // CHECK-NEXT:         <key>col</key><integer>3</integer>
436 // CHECK-NEXT:         <key>file</key><integer>1</integer>
437 // CHECK-NEXT:        </dict>
438 // CHECK-NEXT:        <dict>
439 // CHECK-NEXT:         <key>line</key><integer>30</integer>
440 // CHECK-NEXT:         <key>col</key><integer>8</integer>
441 // CHECK-NEXT:         <key>file</key><integer>1</integer>
442 // CHECK-NEXT:        </dict>
443 // CHECK-NEXT:       </array>
444 // CHECK-NEXT:     </array>
445 // CHECK-NEXT:     <key>depth</key><integer>2</integer>
446 // CHECK-NEXT:     <key>extended_message</key>
447 // CHECK-NEXT:     <string>&apos;h3&apos; initialized to 0</string>
448 // CHECK-NEXT:     <key>message</key>
449 // CHECK-NEXT:     <string>&apos;h3&apos; initialized to 0</string>
450 // CHECK-NEXT:    </dict>
451 // CHECK-NEXT:    <dict>
452 // CHECK-NEXT:     <key>kind</key><string>control</string>
453 // CHECK-NEXT:     <key>edges</key>
454 // CHECK-NEXT:      <array>
455 // CHECK-NEXT:       <dict>
456 // CHECK-NEXT:        <key>start</key>
457 // CHECK-NEXT:         <array>
458 // CHECK-NEXT:          <dict>
459 // CHECK-NEXT:           <key>line</key><integer>30</integer>
460 // CHECK-NEXT:           <key>col</key><integer>3</integer>
461 // CHECK-NEXT:           <key>file</key><integer>1</integer>
462 // CHECK-NEXT:          </dict>
463 // CHECK-NEXT:          <dict>
464 // CHECK-NEXT:           <key>line</key><integer>30</integer>
465 // CHECK-NEXT:           <key>col</key><integer>5</integer>
466 // CHECK-NEXT:           <key>file</key><integer>1</integer>
467 // CHECK-NEXT:          </dict>
468 // CHECK-NEXT:         </array>
469 // CHECK-NEXT:        <key>end</key>
470 // CHECK-NEXT:         <array>
471 // CHECK-NEXT:          <dict>
472 // CHECK-NEXT:           <key>line</key><integer>31</integer>
473 // CHECK-NEXT:           <key>col</key><integer>10</integer>
474 // CHECK-NEXT:           <key>file</key><integer>1</integer>
475 // CHECK-NEXT:          </dict>
476 // CHECK-NEXT:          <dict>
477 // CHECK-NEXT:           <key>line</key><integer>31</integer>
478 // CHECK-NEXT:           <key>col</key><integer>10</integer>
479 // CHECK-NEXT:           <key>file</key><integer>1</integer>
480 // CHECK-NEXT:          </dict>
481 // CHECK-NEXT:         </array>
482 // CHECK-NEXT:       </dict>
483 // CHECK-NEXT:      </array>
484 // CHECK-NEXT:    </dict>
485 // CHECK-NEXT:    <dict>
486 // CHECK-NEXT:     <key>kind</key><string>event</string>
487 // CHECK-NEXT:     <key>location</key>
488 // CHECK-NEXT:     <dict>
489 // CHECK-NEXT:      <key>line</key><integer>31</integer>
490 // CHECK-NEXT:      <key>col</key><integer>10</integer>
491 // CHECK-NEXT:      <key>file</key><integer>1</integer>
492 // CHECK-NEXT:     </dict>
493 // CHECK-NEXT:     <key>ranges</key>
494 // CHECK-NEXT:     <array>
495 // CHECK-NEXT:       <array>
496 // CHECK-NEXT:        <dict>
497 // CHECK-NEXT:         <key>line</key><integer>31</integer>
498 // CHECK-NEXT:         <key>col</key><integer>8</integer>
499 // CHECK-NEXT:         <key>file</key><integer>1</integer>
500 // CHECK-NEXT:        </dict>
501 // CHECK-NEXT:        <dict>
502 // CHECK-NEXT:         <key>line</key><integer>31</integer>
503 // CHECK-NEXT:         <key>col</key><integer>12</integer>
504 // CHECK-NEXT:         <key>file</key><integer>1</integer>
505 // CHECK-NEXT:        </dict>
506 // CHECK-NEXT:       </array>
507 // CHECK-NEXT:     </array>
508 // CHECK-NEXT:     <key>depth</key><integer>2</integer>
509 // CHECK-NEXT:     <key>extended_message</key>
510 // CHECK-NEXT:     <string>Division by zero</string>
511 // CHECK-NEXT:     <key>message</key>
512 // CHECK-NEXT:     <string>Division by zero</string>
513 // CHECK-NEXT:    </dict>
514 // CHECK-NEXT:   </array>
515 // CHECK-NEXT:   <key>description</key><string>Division by zero</string>
516 // CHECK-NEXT:   <key>category</key><string>Logic error</string>
517 // CHECK-NEXT:   <key>type</key><string>Division by zero</string>
518 // CHECK-NEXT:   <key>check_name</key><string>core.DivideZero</string>
519 // CHECK-NEXT:   <!-- This hash is experimental and going to change! -->
520 // CHECK-NEXT:   <key>issue_hash_content_of_line_in_context</key><string>a4f425d2b2715e682b08a754fc88d2c8</string>
521 // CHECK-NEXT:  <key>issue_context_kind</key><string>function</string>
522 // CHECK-NEXT:  <key>issue_context</key><string>cause_div_by_zero_in_header3</string>
523 // CHECK-NEXT:  <key>issue_hash_function_offset</key><string>2</string>
524 // CHECK-NEXT:  <key>location</key>
525 // CHECK-NEXT:  <dict>
526 // CHECK-NEXT:   <key>line</key><integer>31</integer>
527 // CHECK-NEXT:   <key>col</key><integer>10</integer>
528 // CHECK-NEXT:   <key>file</key><integer>1</integer>
529 // CHECK-NEXT:  </dict>
530 // CHECK-NEXT:  </dict>
531 // CHECK-NEXT:  <dict>
532 // CHECK-NEXT:   <key>path</key>
533 // CHECK-NEXT:   <array>
534 // CHECK-NEXT:    <dict>
535 // CHECK-NEXT:     <key>kind</key><string>event</string>
536 // CHECK-NEXT:     <key>location</key>
537 // CHECK-NEXT:     <dict>
538 // CHECK-NEXT:      <key>line</key><integer>69</integer>
539 // CHECK-NEXT:      <key>col</key><integer>3</integer>
540 // CHECK-NEXT:      <key>file</key><integer>0</integer>
541 // CHECK-NEXT:     </dict>
542 // CHECK-NEXT:     <key>ranges</key>
543 // CHECK-NEXT:     <array>
544 // CHECK-NEXT:       <array>
545 // CHECK-NEXT:        <dict>
546 // CHECK-NEXT:         <key>line</key><integer>69</integer>
547 // CHECK-NEXT:         <key>col</key><integer>3</integer>
548 // CHECK-NEXT:         <key>file</key><integer>0</integer>
549 // CHECK-NEXT:        </dict>
550 // CHECK-NEXT:        <dict>
551 // CHECK-NEXT:         <key>line</key><integer>69</integer>
552 // CHECK-NEXT:         <key>col</key><integer>51</integer>
553 // CHECK-NEXT:         <key>file</key><integer>0</integer>
554 // CHECK-NEXT:        </dict>
555 // CHECK-NEXT:       </array>
556 // CHECK-NEXT:     </array>
557 // CHECK-NEXT:     <key>depth</key><integer>0</integer>
558 // CHECK-NEXT:     <key>extended_message</key>
559 // CHECK-NEXT:     <string>Calling &apos;cause_div_by_zero_in_header4&apos;</string>
560 // CHECK-NEXT:     <key>message</key>
561 // CHECK-NEXT:     <string>Calling &apos;cause_div_by_zero_in_header4&apos;</string>
562 // CHECK-NEXT:    </dict>
563 // CHECK-NEXT:    <dict>
564 // CHECK-NEXT:     <key>kind</key><string>event</string>
565 // CHECK-NEXT:     <key>location</key>
566 // CHECK-NEXT:     <dict>
567 // CHECK-NEXT:      <key>line</key><integer>37</integer>
568 // CHECK-NEXT:      <key>col</key><integer>1</integer>
569 // CHECK-NEXT:      <key>file</key><integer>1</integer>
570 // CHECK-NEXT:     </dict>
571 // CHECK-NEXT:     <key>depth</key><integer>1</integer>
572 // CHECK-NEXT:     <key>extended_message</key>
573 // CHECK-NEXT:     <string>Entered call from &apos;callInMacroArg&apos;</string>
574 // CHECK-NEXT:     <key>message</key>
575 // CHECK-NEXT:     <string>Entered call from &apos;callInMacroArg&apos;</string>
576 // CHECK-NEXT:    </dict>
577 // CHECK-NEXT:    <dict>
578 // CHECK-NEXT:     <key>kind</key><string>control</string>
579 // CHECK-NEXT:     <key>edges</key>
580 // CHECK-NEXT:      <array>
581 // CHECK-NEXT:       <dict>
582 // CHECK-NEXT:        <key>start</key>
583 // CHECK-NEXT:         <array>
584 // CHECK-NEXT:          <dict>
585 // CHECK-NEXT:           <key>line</key><integer>37</integer>
586 // CHECK-NEXT:           <key>col</key><integer>1</integer>
587 // CHECK-NEXT:           <key>file</key><integer>1</integer>
588 // CHECK-NEXT:          </dict>
589 // CHECK-NEXT:          <dict>
590 // CHECK-NEXT:           <key>line</key><integer>37</integer>
591 // CHECK-NEXT:           <key>col</key><integer>4</integer>
592 // CHECK-NEXT:           <key>file</key><integer>1</integer>
593 // CHECK-NEXT:          </dict>
594 // CHECK-NEXT:         </array>
595 // CHECK-NEXT:        <key>end</key>
596 // CHECK-NEXT:         <array>
597 // CHECK-NEXT:          <dict>
598 // CHECK-NEXT:           <key>line</key><integer>38</integer>
599 // CHECK-NEXT:           <key>col</key><integer>3</integer>
600 // CHECK-NEXT:           <key>file</key><integer>1</integer>
601 // CHECK-NEXT:          </dict>
602 // CHECK-NEXT:          <dict>
603 // CHECK-NEXT:           <key>line</key><integer>38</integer>
604 // CHECK-NEXT:           <key>col</key><integer>5</integer>
605 // CHECK-NEXT:           <key>file</key><integer>1</integer>
606 // CHECK-NEXT:          </dict>
607 // CHECK-NEXT:         </array>
608 // CHECK-NEXT:       </dict>
609 // CHECK-NEXT:      </array>
610 // CHECK-NEXT:    </dict>
611 // CHECK-NEXT:    <dict>
612 // CHECK-NEXT:     <key>kind</key><string>event</string>
613 // CHECK-NEXT:     <key>location</key>
614 // CHECK-NEXT:     <dict>
615 // CHECK-NEXT:      <key>line</key><integer>38</integer>
616 // CHECK-NEXT:      <key>col</key><integer>3</integer>
617 // CHECK-NEXT:      <key>file</key><integer>1</integer>
618 // CHECK-NEXT:     </dict>
619 // CHECK-NEXT:     <key>ranges</key>
620 // CHECK-NEXT:     <array>
621 // CHECK-NEXT:       <array>
622 // CHECK-NEXT:        <dict>
623 // CHECK-NEXT:         <key>line</key><integer>38</integer>
624 // CHECK-NEXT:         <key>col</key><integer>3</integer>
625 // CHECK-NEXT:         <key>file</key><integer>1</integer>
626 // CHECK-NEXT:        </dict>
627 // CHECK-NEXT:        <dict>
628 // CHECK-NEXT:         <key>line</key><integer>38</integer>
629 // CHECK-NEXT:         <key>col</key><integer>8</integer>
630 // CHECK-NEXT:         <key>file</key><integer>1</integer>
631 // CHECK-NEXT:        </dict>
632 // CHECK-NEXT:       </array>
633 // CHECK-NEXT:     </array>
634 // CHECK-NEXT:     <key>depth</key><integer>1</integer>
635 // CHECK-NEXT:     <key>extended_message</key>
636 // CHECK-NEXT:     <string>&apos;h4&apos; initialized to 0</string>
637 // CHECK-NEXT:     <key>message</key>
638 // CHECK-NEXT:     <string>&apos;h4&apos; initialized to 0</string>
639 // CHECK-NEXT:    </dict>
640 // CHECK-NEXT:    <dict>
641 // CHECK-NEXT:     <key>kind</key><string>control</string>
642 // CHECK-NEXT:     <key>edges</key>
643 // CHECK-NEXT:      <array>
644 // CHECK-NEXT:       <dict>
645 // CHECK-NEXT:        <key>start</key>
646 // CHECK-NEXT:         <array>
647 // CHECK-NEXT:          <dict>
648 // CHECK-NEXT:           <key>line</key><integer>38</integer>
649 // CHECK-NEXT:           <key>col</key><integer>3</integer>
650 // CHECK-NEXT:           <key>file</key><integer>1</integer>
651 // CHECK-NEXT:          </dict>
652 // CHECK-NEXT:          <dict>
653 // CHECK-NEXT:           <key>line</key><integer>38</integer>
654 // CHECK-NEXT:           <key>col</key><integer>5</integer>
655 // CHECK-NEXT:           <key>file</key><integer>1</integer>
656 // CHECK-NEXT:          </dict>
657 // CHECK-NEXT:         </array>
658 // CHECK-NEXT:        <key>end</key>
659 // CHECK-NEXT:         <array>
660 // CHECK-NEXT:          <dict>
661 // CHECK-NEXT:           <key>line</key><integer>39</integer>
662 // CHECK-NEXT:           <key>col</key><integer>10</integer>
663 // CHECK-NEXT:           <key>file</key><integer>1</integer>
664 // CHECK-NEXT:          </dict>
665 // CHECK-NEXT:          <dict>
666 // CHECK-NEXT:           <key>line</key><integer>39</integer>
667 // CHECK-NEXT:           <key>col</key><integer>10</integer>
668 // CHECK-NEXT:           <key>file</key><integer>1</integer>
669 // CHECK-NEXT:          </dict>
670 // CHECK-NEXT:         </array>
671 // CHECK-NEXT:       </dict>
672 // CHECK-NEXT:      </array>
673 // CHECK-NEXT:    </dict>
674 // CHECK-NEXT:    <dict>
675 // CHECK-NEXT:     <key>kind</key><string>event</string>
676 // CHECK-NEXT:     <key>location</key>
677 // CHECK-NEXT:     <dict>
678 // CHECK-NEXT:      <key>line</key><integer>39</integer>
679 // CHECK-NEXT:      <key>col</key><integer>10</integer>
680 // CHECK-NEXT:      <key>file</key><integer>1</integer>
681 // CHECK-NEXT:     </dict>
682 // CHECK-NEXT:     <key>ranges</key>
683 // CHECK-NEXT:     <array>
684 // CHECK-NEXT:       <array>
685 // CHECK-NEXT:        <dict>
686 // CHECK-NEXT:         <key>line</key><integer>39</integer>
687 // CHECK-NEXT:         <key>col</key><integer>8</integer>
688 // CHECK-NEXT:         <key>file</key><integer>1</integer>
689 // CHECK-NEXT:        </dict>
690 // CHECK-NEXT:        <dict>
691 // CHECK-NEXT:         <key>line</key><integer>39</integer>
692 // CHECK-NEXT:         <key>col</key><integer>12</integer>
693 // CHECK-NEXT:         <key>file</key><integer>1</integer>
694 // CHECK-NEXT:        </dict>
695 // CHECK-NEXT:       </array>
696 // CHECK-NEXT:     </array>
697 // CHECK-NEXT:     <key>depth</key><integer>1</integer>
698 // CHECK-NEXT:     <key>extended_message</key>
699 // CHECK-NEXT:     <string>Division by zero</string>
700 // CHECK-NEXT:     <key>message</key>
701 // CHECK-NEXT:     <string>Division by zero</string>
702 // CHECK-NEXT:    </dict>
703 // CHECK-NEXT:   </array>
704 // CHECK-NEXT:   <key>description</key><string>Division by zero</string>
705 // CHECK-NEXT:   <key>category</key><string>Logic error</string>
706 // CHECK-NEXT:   <key>type</key><string>Division by zero</string>
707 // CHECK-NEXT:   <key>check_name</key><string>core.DivideZero</string>
708 // CHECK-NEXT:   <!-- This hash is experimental and going to change! -->
709 // CHECK-NEXT:   <key>issue_hash_content_of_line_in_context</key><string>35f2ebe7ff6b3b34233a5465a6eaf661</string>
710 // CHECK-NEXT:  <key>issue_context_kind</key><string>function</string>
711 // CHECK-NEXT:  <key>issue_context</key><string>cause_div_by_zero_in_header4</string>
712 // CHECK-NEXT:  <key>issue_hash_function_offset</key><string>2</string>
713 // CHECK-NEXT:  <key>location</key>
714 // CHECK-NEXT:  <dict>
715 // CHECK-NEXT:   <key>line</key><integer>39</integer>
716 // CHECK-NEXT:   <key>col</key><integer>10</integer>
717 // CHECK-NEXT:   <key>file</key><integer>1</integer>
718 // CHECK-NEXT:  </dict>
719 // CHECK-NEXT:  </dict>
720 // CHECK-NEXT:  <dict>
721 // CHECK-NEXT:   <key>path</key>
722 // CHECK-NEXT:   <array>
723 // CHECK-NEXT:    <dict>
724 // CHECK-NEXT:     <key>kind</key><string>control</string>
725 // CHECK-NEXT:     <key>edges</key>
726 // CHECK-NEXT:      <array>
727 // CHECK-NEXT:       <dict>
728 // CHECK-NEXT:        <key>start</key>
729 // CHECK-NEXT:         <array>
730 // CHECK-NEXT:          <dict>
731 // CHECK-NEXT:           <key>line</key><integer>6</integer>
732 // CHECK-NEXT:           <key>col</key><integer>3</integer>
733 // CHECK-NEXT:           <key>file</key><integer>0</integer>
734 // CHECK-NEXT:          </dict>
735 // CHECK-NEXT:          <dict>
736 // CHECK-NEXT:           <key>line</key><integer>6</integer>
737 // CHECK-NEXT:           <key>col</key><integer>10</integer>
738 // CHECK-NEXT:           <key>file</key><integer>0</integer>
739 // CHECK-NEXT:          </dict>
740 // CHECK-NEXT:         </array>
741 // CHECK-NEXT:        <key>end</key>
742 // CHECK-NEXT:         <array>
743 // CHECK-NEXT:          <dict>
744 // CHECK-NEXT:           <key>line</key><integer>6</integer>
745 // CHECK-NEXT:           <key>col</key><integer>20</integer>
746 // CHECK-NEXT:           <key>file</key><integer>0</integer>
747 // CHECK-NEXT:          </dict>
748 // CHECK-NEXT:          <dict>
749 // CHECK-NEXT:           <key>line</key><integer>6</integer>
750 // CHECK-NEXT:           <key>col</key><integer>22</integer>
751 // CHECK-NEXT:           <key>file</key><integer>0</integer>
752 // CHECK-NEXT:          </dict>
753 // CHECK-NEXT:         </array>
754 // CHECK-NEXT:       </dict>
755 // CHECK-NEXT:      </array>
756 // CHECK-NEXT:    </dict>
757 // CHECK-NEXT:    <dict>
758 // CHECK-NEXT:     <key>kind</key><string>event</string>
759 // CHECK-NEXT:     <key>location</key>
760 // CHECK-NEXT:     <dict>
761 // CHECK-NEXT:      <key>line</key><integer>6</integer>
762 // CHECK-NEXT:      <key>col</key><integer>20</integer>
763 // CHECK-NEXT:      <key>file</key><integer>0</integer>
764 // CHECK-NEXT:     </dict>
765 // CHECK-NEXT:     <key>ranges</key>
766 // CHECK-NEXT:     <array>
767 // CHECK-NEXT:       <array>
768 // CHECK-NEXT:        <dict>
769 // CHECK-NEXT:         <key>line</key><integer>6</integer>
770 // CHECK-NEXT:         <key>col</key><integer>20</integer>
771 // CHECK-NEXT:         <key>file</key><integer>0</integer>
772 // CHECK-NEXT:        </dict>
773 // CHECK-NEXT:        <dict>
774 // CHECK-NEXT:         <key>line</key><integer>6</integer>
775 // CHECK-NEXT:         <key>col</key><integer>29</integer>
776 // CHECK-NEXT:         <key>file</key><integer>0</integer>
777 // CHECK-NEXT:        </dict>
778 // CHECK-NEXT:       </array>
779 // CHECK-NEXT:     </array>
780 // CHECK-NEXT:     <key>depth</key><integer>0</integer>
781 // CHECK-NEXT:     <key>extended_message</key>
782 // CHECK-NEXT:     <string>Memory is allocated</string>
783 // CHECK-NEXT:     <key>message</key>
784 // CHECK-NEXT:     <string>Memory is allocated</string>
785 // CHECK-NEXT:    </dict>
786 // CHECK-NEXT:    <dict>
787 // CHECK-NEXT:     <key>kind</key><string>control</string>
788 // CHECK-NEXT:     <key>edges</key>
789 // CHECK-NEXT:      <array>
790 // CHECK-NEXT:       <dict>
791 // CHECK-NEXT:        <key>start</key>
792 // CHECK-NEXT:         <array>
793 // CHECK-NEXT:          <dict>
794 // CHECK-NEXT:           <key>line</key><integer>6</integer>
795 // CHECK-NEXT:           <key>col</key><integer>20</integer>
796 // CHECK-NEXT:           <key>file</key><integer>0</integer>
797 // CHECK-NEXT:          </dict>
798 // CHECK-NEXT:          <dict>
799 // CHECK-NEXT:           <key>line</key><integer>6</integer>
800 // CHECK-NEXT:           <key>col</key><integer>22</integer>
801 // CHECK-NEXT:           <key>file</key><integer>0</integer>
802 // CHECK-NEXT:          </dict>
803 // CHECK-NEXT:         </array>
804 // CHECK-NEXT:        <key>end</key>
805 // CHECK-NEXT:         <array>
806 // CHECK-NEXT:          <dict>
807 // CHECK-NEXT:           <key>line</key><integer>6</integer>
808 // CHECK-NEXT:           <key>col</key><integer>17</integer>
809 // CHECK-NEXT:           <key>file</key><integer>0</integer>
810 // CHECK-NEXT:          </dict>
811 // CHECK-NEXT:          <dict>
812 // CHECK-NEXT:           <key>line</key><integer>6</integer>
813 // CHECK-NEXT:           <key>col</key><integer>17</integer>
814 // CHECK-NEXT:           <key>file</key><integer>0</integer>
815 // CHECK-NEXT:          </dict>
816 // CHECK-NEXT:         </array>
817 // CHECK-NEXT:       </dict>
818 // CHECK-NEXT:      </array>
819 // CHECK-NEXT:    </dict>
820 // CHECK-NEXT:    <dict>
821 // CHECK-NEXT:     <key>kind</key><string>control</string>
822 // CHECK-NEXT:     <key>edges</key>
823 // CHECK-NEXT:      <array>
824 // CHECK-NEXT:       <dict>
825 // CHECK-NEXT:        <key>start</key>
826 // CHECK-NEXT:         <array>
827 // CHECK-NEXT:          <dict>
828 // CHECK-NEXT:           <key>line</key><integer>6</integer>
829 // CHECK-NEXT:           <key>col</key><integer>17</integer>
830 // CHECK-NEXT:           <key>file</key><integer>0</integer>
831 // CHECK-NEXT:          </dict>
832 // CHECK-NEXT:          <dict>
833 // CHECK-NEXT:           <key>line</key><integer>6</integer>
834 // CHECK-NEXT:           <key>col</key><integer>17</integer>
835 // CHECK-NEXT:           <key>file</key><integer>0</integer>
836 // CHECK-NEXT:          </dict>
837 // CHECK-NEXT:         </array>
838 // CHECK-NEXT:        <key>end</key>
839 // CHECK-NEXT:         <array>
840 // CHECK-NEXT:          <dict>
841 // CHECK-NEXT:           <key>line</key><integer>7</integer>
842 // CHECK-NEXT:           <key>col</key><integer>1</integer>
843 // CHECK-NEXT:           <key>file</key><integer>0</integer>
844 // CHECK-NEXT:          </dict>
845 // CHECK-NEXT:          <dict>
846 // CHECK-NEXT:           <key>line</key><integer>7</integer>
847 // CHECK-NEXT:           <key>col</key><integer>1</integer>
848 // CHECK-NEXT:           <key>file</key><integer>0</integer>
849 // CHECK-NEXT:          </dict>
850 // CHECK-NEXT:         </array>
851 // CHECK-NEXT:       </dict>
852 // CHECK-NEXT:      </array>
853 // CHECK-NEXT:    </dict>
854 // CHECK-NEXT:    <dict>
855 // CHECK-NEXT:     <key>kind</key><string>event</string>
856 // CHECK-NEXT:     <key>key_event</key><true/>
857 // CHECK-NEXT:     <key>location</key>
858 // CHECK-NEXT:     <dict>
859 // CHECK-NEXT:      <key>line</key><integer>7</integer>
860 // CHECK-NEXT:      <key>col</key><integer>1</integer>
861 // CHECK-NEXT:      <key>file</key><integer>0</integer>
862 // CHECK-NEXT:     </dict>
863 // CHECK-NEXT:     <key>depth</key><integer>0</integer>
864 // CHECK-NEXT:     <key>extended_message</key>
865 // CHECK-NEXT:     <string>Calling &apos;~auto_ptr&apos;</string>
866 // CHECK-NEXT:     <key>message</key>
867 // CHECK-NEXT:     <string>Calling &apos;~auto_ptr&apos;</string>
868 // CHECK-NEXT:    </dict>
869 // CHECK-NEXT:    <dict>
870 // CHECK-NEXT:     <key>kind</key><string>event</string>
871 // CHECK-NEXT:     <key>location</key>
872 // CHECK-NEXT:     <dict>
873 // CHECK-NEXT:      <key>line</key><integer>7</integer>
874 // CHECK-NEXT:      <key>col</key><integer>3</integer>
875 // CHECK-NEXT:      <key>file</key><integer>1</integer>
876 // CHECK-NEXT:     </dict>
877 // CHECK-NEXT:     <key>depth</key><integer>1</integer>
878 // CHECK-NEXT:     <key>extended_message</key>
879 // CHECK-NEXT:     <string>Entered call from &apos;mainPlusHeader&apos;</string>
880 // CHECK-NEXT:     <key>message</key>
881 // CHECK-NEXT:     <string>Entered call from &apos;mainPlusHeader&apos;</string>
882 // CHECK-NEXT:    </dict>
883 // CHECK-NEXT:    <dict>
884 // CHECK-NEXT:     <key>kind</key><string>control</string>
885 // CHECK-NEXT:     <key>edges</key>
886 // CHECK-NEXT:      <array>
887 // CHECK-NEXT:       <dict>
888 // CHECK-NEXT:        <key>start</key>
889 // CHECK-NEXT:         <array>
890 // CHECK-NEXT:          <dict>
891 // CHECK-NEXT:           <key>line</key><integer>7</integer>
892 // CHECK-NEXT:           <key>col</key><integer>3</integer>
893 // CHECK-NEXT:           <key>file</key><integer>1</integer>
894 // CHECK-NEXT:          </dict>
895 // CHECK-NEXT:          <dict>
896 // CHECK-NEXT:           <key>line</key><integer>7</integer>
897 // CHECK-NEXT:           <key>col</key><integer>3</integer>
898 // CHECK-NEXT:           <key>file</key><integer>1</integer>
899 // CHECK-NEXT:          </dict>
900 // CHECK-NEXT:         </array>
901 // CHECK-NEXT:        <key>end</key>
902 // CHECK-NEXT:         <array>
903 // CHECK-NEXT:          <dict>
904 // CHECK-NEXT:           <key>line</key><integer>7</integer>
905 // CHECK-NEXT:           <key>col</key><integer>17</integer>
906 // CHECK-NEXT:           <key>file</key><integer>1</integer>
907 // CHECK-NEXT:          </dict>
908 // CHECK-NEXT:          <dict>
909 // CHECK-NEXT:           <key>line</key><integer>7</integer>
910 // CHECK-NEXT:           <key>col</key><integer>22</integer>
911 // CHECK-NEXT:           <key>file</key><integer>1</integer>
912 // CHECK-NEXT:          </dict>
913 // CHECK-NEXT:         </array>
914 // CHECK-NEXT:       </dict>
915 // CHECK-NEXT:      </array>
916 // CHECK-NEXT:    </dict>
917 // CHECK-NEXT:    <dict>
918 // CHECK-NEXT:     <key>kind</key><string>event</string>
919 // CHECK-NEXT:     <key>location</key>
920 // CHECK-NEXT:     <dict>
921 // CHECK-NEXT:      <key>line</key><integer>7</integer>
922 // CHECK-NEXT:      <key>col</key><integer>17</integer>
923 // CHECK-NEXT:      <key>file</key><integer>1</integer>
924 // CHECK-NEXT:     </dict>
925 // CHECK-NEXT:     <key>ranges</key>
926 // CHECK-NEXT:     <array>
927 // CHECK-NEXT:       <array>
928 // CHECK-NEXT:        <dict>
929 // CHECK-NEXT:         <key>line</key><integer>7</integer>
930 // CHECK-NEXT:         <key>col</key><integer>24</integer>
931 // CHECK-NEXT:         <key>file</key><integer>1</integer>
932 // CHECK-NEXT:        </dict>
933 // CHECK-NEXT:        <dict>
934 // CHECK-NEXT:         <key>line</key><integer>7</integer>
935 // CHECK-NEXT:         <key>col</key><integer>29</integer>
936 // CHECK-NEXT:         <key>file</key><integer>1</integer>
937 // CHECK-NEXT:        </dict>
938 // CHECK-NEXT:       </array>
939 // CHECK-NEXT:     </array>
940 // CHECK-NEXT:     <key>depth</key><integer>1</integer>
941 // CHECK-NEXT:     <key>extended_message</key>
942 // CHECK-NEXT:     <string>Memory allocated by &apos;new[]&apos; should be deallocated by &apos;delete[]&apos;, not &apos;delete&apos;</string>
943 // CHECK-NEXT:     <key>message</key>
944 // CHECK-NEXT:     <string>Memory allocated by &apos;new[]&apos; should be deallocated by &apos;delete[]&apos;, not &apos;delete&apos;</string>
945 // CHECK-NEXT:    </dict>
946 // CHECK-NEXT:   </array>
947 // CHECK-NEXT:   <key>description</key><string>Memory allocated by &apos;new[]&apos; should be deallocated by &apos;delete[]&apos;, not &apos;delete&apos; (within a call to &apos;~auto_ptr&apos;)</string>
948 // CHECK-NEXT:   <key>category</key><string>Memory Error</string>
949 // CHECK-NEXT:   <key>type</key><string>Bad deallocator</string>
950 // CHECK-NEXT:   <key>check_name</key><string>unix.MismatchedDeallocator</string>
951 // CHECK-NEXT:   <!-- This hash is experimental and going to change! -->
952 // CHECK-NEXT:   <key>issue_hash_content_of_line_in_context</key><string>f689fbd54138491e228f0f89bb02bfb2</string>
953 // CHECK-NEXT:  <key>issue_context_kind</key><string>function</string>
954 // CHECK-NEXT:  <key>issue_context</key><string>mainPlusHeader</string>
955 // CHECK-NEXT:  <key>issue_hash_function_offset</key><string>2</string>
956 // CHECK-NEXT:  <key>location</key>
957 // CHECK-NEXT:  <dict>
958 // CHECK-NEXT:   <key>line</key><integer>7</integer>
959 // CHECK-NEXT:   <key>col</key><integer>1</integer>
960 // CHECK-NEXT:   <key>file</key><integer>0</integer>
961 // CHECK-NEXT:  </dict>
962 // CHECK-NEXT:  </dict>
963 // CHECK-NEXT:  <dict>
964 // CHECK-NEXT:   <key>path</key>
965 // CHECK-NEXT:   <array>
966 // CHECK-NEXT:    <dict>
967 // CHECK-NEXT:     <key>kind</key><string>control</string>
968 // CHECK-NEXT:     <key>edges</key>
969 // CHECK-NEXT:      <array>
970 // CHECK-NEXT:       <dict>
971 // CHECK-NEXT:        <key>start</key>
972 // CHECK-NEXT:         <array>
973 // CHECK-NEXT:          <dict>
974 // CHECK-NEXT:           <key>line</key><integer>16</integer>
975 // CHECK-NEXT:           <key>col</key><integer>3</integer>
976 // CHECK-NEXT:           <key>file</key><integer>0</integer>
977 // CHECK-NEXT:          </dict>
978 // CHECK-NEXT:          <dict>
979 // CHECK-NEXT:           <key>line</key><integer>16</integer>
980 // CHECK-NEXT:           <key>col</key><integer>5</integer>
981 // CHECK-NEXT:           <key>file</key><integer>0</integer>
982 // CHECK-NEXT:          </dict>
983 // CHECK-NEXT:         </array>
984 // CHECK-NEXT:        <key>end</key>
985 // CHECK-NEXT:         <array>
986 // CHECK-NEXT:          <dict>
987 // CHECK-NEXT:           <key>line</key><integer>18</integer>
988 // CHECK-NEXT:           <key>col</key><integer>3</integer>
989 // CHECK-NEXT:           <key>file</key><integer>0</integer>
990 // CHECK-NEXT:          </dict>
991 // CHECK-NEXT:          <dict>
992 // CHECK-NEXT:           <key>line</key><integer>18</integer>
993 // CHECK-NEXT:           <key>col</key><integer>11</integer>
994 // CHECK-NEXT:           <key>file</key><integer>0</integer>
995 // CHECK-NEXT:          </dict>
996 // CHECK-NEXT:         </array>
997 // CHECK-NEXT:       </dict>
998 // CHECK-NEXT:      </array>
999 // CHECK-NEXT:    </dict>
1000 // CHECK-NEXT:    <dict>
1001 // CHECK-NEXT:     <key>kind</key><string>event</string>
1002 // CHECK-NEXT:     <key>location</key>
1003 // CHECK-NEXT:     <dict>
1004 // CHECK-NEXT:      <key>line</key><integer>18</integer>
1005 // CHECK-NEXT:      <key>col</key><integer>3</integer>
1006 // CHECK-NEXT:      <key>file</key><integer>0</integer>
1007 // CHECK-NEXT:     </dict>
1008 // CHECK-NEXT:     <key>ranges</key>
1009 // CHECK-NEXT:     <array>
1010 // CHECK-NEXT:       <array>
1011 // CHECK-NEXT:        <dict>
1012 // CHECK-NEXT:         <key>line</key><integer>18</integer>
1013 // CHECK-NEXT:         <key>col</key><integer>3</integer>
1014 // CHECK-NEXT:         <key>file</key><integer>0</integer>
1015 // CHECK-NEXT:        </dict>
1016 // CHECK-NEXT:        <dict>
1017 // CHECK-NEXT:         <key>line</key><integer>18</integer>
1018 // CHECK-NEXT:         <key>col</key><integer>13</integer>
1019 // CHECK-NEXT:         <key>file</key><integer>0</integer>
1020 // CHECK-NEXT:        </dict>
1021 // CHECK-NEXT:       </array>
1022 // CHECK-NEXT:     </array>
1023 // CHECK-NEXT:     <key>depth</key><integer>0</integer>
1024 // CHECK-NEXT:     <key>extended_message</key>
1025 // CHECK-NEXT:     <string>Calling &apos;auxInMain&apos;</string>
1026 // CHECK-NEXT:     <key>message</key>
1027 // CHECK-NEXT:     <string>Calling &apos;auxInMain&apos;</string>
1028 // CHECK-NEXT:    </dict>
1029 // CHECK-NEXT:    <dict>
1030 // CHECK-NEXT:     <key>kind</key><string>event</string>
1031 // CHECK-NEXT:     <key>location</key>
1032 // CHECK-NEXT:     <dict>
1033 // CHECK-NEXT:      <key>line</key><integer>9</integer>
1034 // CHECK-NEXT:      <key>col</key><integer>1</integer>
1035 // CHECK-NEXT:      <key>file</key><integer>0</integer>
1036 // CHECK-NEXT:     </dict>
1037 // CHECK-NEXT:     <key>depth</key><integer>1</integer>
1038 // CHECK-NEXT:     <key>extended_message</key>
1039 // CHECK-NEXT:     <string>Entered call from &apos;mainPlusMainPlusHeader&apos;</string>
1040 // CHECK-NEXT:     <key>message</key>
1041 // CHECK-NEXT:     <string>Entered call from &apos;mainPlusMainPlusHeader&apos;</string>
1042 // CHECK-NEXT:    </dict>
1043 // CHECK-NEXT:    <dict>
1044 // CHECK-NEXT:     <key>kind</key><string>control</string>
1045 // CHECK-NEXT:     <key>edges</key>
1046 // CHECK-NEXT:      <array>
1047 // CHECK-NEXT:       <dict>
1048 // CHECK-NEXT:        <key>start</key>
1049 // CHECK-NEXT:         <array>
1050 // CHECK-NEXT:          <dict>
1051 // CHECK-NEXT:           <key>line</key><integer>9</integer>
1052 // CHECK-NEXT:           <key>col</key><integer>1</integer>
1053 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1054 // CHECK-NEXT:          </dict>
1055 // CHECK-NEXT:          <dict>
1056 // CHECK-NEXT:           <key>line</key><integer>9</integer>
1057 // CHECK-NEXT:           <key>col</key><integer>4</integer>
1058 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1059 // CHECK-NEXT:          </dict>
1060 // CHECK-NEXT:         </array>
1061 // CHECK-NEXT:        <key>end</key>
1062 // CHECK-NEXT:         <array>
1063 // CHECK-NEXT:          <dict>
1064 // CHECK-NEXT:           <key>line</key><integer>10</integer>
1065 // CHECK-NEXT:           <key>col</key><integer>3</integer>
1066 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1067 // CHECK-NEXT:          </dict>
1068 // CHECK-NEXT:          <dict>
1069 // CHECK-NEXT:           <key>line</key><integer>10</integer>
1070 // CHECK-NEXT:           <key>col</key><integer>5</integer>
1071 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1072 // CHECK-NEXT:          </dict>
1073 // CHECK-NEXT:         </array>
1074 // CHECK-NEXT:       </dict>
1075 // CHECK-NEXT:      </array>
1076 // CHECK-NEXT:    </dict>
1077 // CHECK-NEXT:    <dict>
1078 // CHECK-NEXT:     <key>kind</key><string>control</string>
1079 // CHECK-NEXT:     <key>edges</key>
1080 // CHECK-NEXT:      <array>
1081 // CHECK-NEXT:       <dict>
1082 // CHECK-NEXT:        <key>start</key>
1083 // CHECK-NEXT:         <array>
1084 // CHECK-NEXT:          <dict>
1085 // CHECK-NEXT:           <key>line</key><integer>10</integer>
1086 // CHECK-NEXT:           <key>col</key><integer>3</integer>
1087 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1088 // CHECK-NEXT:          </dict>
1089 // CHECK-NEXT:          <dict>
1090 // CHECK-NEXT:           <key>line</key><integer>10</integer>
1091 // CHECK-NEXT:           <key>col</key><integer>5</integer>
1092 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1093 // CHECK-NEXT:          </dict>
1094 // CHECK-NEXT:         </array>
1095 // CHECK-NEXT:        <key>end</key>
1096 // CHECK-NEXT:         <array>
1097 // CHECK-NEXT:          <dict>
1098 // CHECK-NEXT:           <key>line</key><integer>12</integer>
1099 // CHECK-NEXT:           <key>col</key><integer>3</integer>
1100 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1101 // CHECK-NEXT:          </dict>
1102 // CHECK-NEXT:          <dict>
1103 // CHECK-NEXT:           <key>line</key><integer>12</integer>
1104 // CHECK-NEXT:           <key>col</key><integer>29</integer>
1105 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1106 // CHECK-NEXT:          </dict>
1107 // CHECK-NEXT:         </array>
1108 // CHECK-NEXT:       </dict>
1109 // CHECK-NEXT:      </array>
1110 // CHECK-NEXT:    </dict>
1111 // CHECK-NEXT:    <dict>
1112 // CHECK-NEXT:     <key>kind</key><string>event</string>
1113 // CHECK-NEXT:     <key>key_event</key><true/>
1114 // CHECK-NEXT:     <key>location</key>
1115 // CHECK-NEXT:     <dict>
1116 // CHECK-NEXT:      <key>line</key><integer>12</integer>
1117 // CHECK-NEXT:      <key>col</key><integer>3</integer>
1118 // CHECK-NEXT:      <key>file</key><integer>0</integer>
1119 // CHECK-NEXT:     </dict>
1120 // CHECK-NEXT:     <key>ranges</key>
1121 // CHECK-NEXT:     <array>
1122 // CHECK-NEXT:       <array>
1123 // CHECK-NEXT:        <dict>
1124 // CHECK-NEXT:         <key>line</key><integer>12</integer>
1125 // CHECK-NEXT:         <key>col</key><integer>3</integer>
1126 // CHECK-NEXT:         <key>file</key><integer>0</integer>
1127 // CHECK-NEXT:        </dict>
1128 // CHECK-NEXT:        <dict>
1129 // CHECK-NEXT:         <key>line</key><integer>12</integer>
1130 // CHECK-NEXT:         <key>col</key><integer>32</integer>
1131 // CHECK-NEXT:         <key>file</key><integer>0</integer>
1132 // CHECK-NEXT:        </dict>
1133 // CHECK-NEXT:       </array>
1134 // CHECK-NEXT:     </array>
1135 // CHECK-NEXT:     <key>depth</key><integer>1</integer>
1136 // CHECK-NEXT:     <key>extended_message</key>
1137 // CHECK-NEXT:     <string>Calling &apos;cause_div_by_zero_in_header&apos;</string>
1138 // CHECK-NEXT:     <key>message</key>
1139 // CHECK-NEXT:     <string>Calling &apos;cause_div_by_zero_in_header&apos;</string>
1140 // CHECK-NEXT:    </dict>
1141 // CHECK-NEXT:    <dict>
1142 // CHECK-NEXT:     <key>kind</key><string>event</string>
1143 // CHECK-NEXT:     <key>location</key>
1144 // CHECK-NEXT:     <dict>
1145 // CHECK-NEXT:      <key>line</key><integer>10</integer>
1146 // CHECK-NEXT:      <key>col</key><integer>1</integer>
1147 // CHECK-NEXT:      <key>file</key><integer>1</integer>
1148 // CHECK-NEXT:     </dict>
1149 // CHECK-NEXT:     <key>depth</key><integer>2</integer>
1150 // CHECK-NEXT:     <key>extended_message</key>
1151 // CHECK-NEXT:     <string>Entered call from &apos;auxInMain&apos;</string>
1152 // CHECK-NEXT:     <key>message</key>
1153 // CHECK-NEXT:     <string>Entered call from &apos;auxInMain&apos;</string>
1154 // CHECK-NEXT:    </dict>
1155 // CHECK-NEXT:    <dict>
1156 // CHECK-NEXT:     <key>kind</key><string>control</string>
1157 // CHECK-NEXT:     <key>edges</key>
1158 // CHECK-NEXT:      <array>
1159 // CHECK-NEXT:       <dict>
1160 // CHECK-NEXT:        <key>start</key>
1161 // CHECK-NEXT:         <array>
1162 // CHECK-NEXT:          <dict>
1163 // CHECK-NEXT:           <key>line</key><integer>10</integer>
1164 // CHECK-NEXT:           <key>col</key><integer>1</integer>
1165 // CHECK-NEXT:           <key>file</key><integer>1</integer>
1166 // CHECK-NEXT:          </dict>
1167 // CHECK-NEXT:          <dict>
1168 // CHECK-NEXT:           <key>line</key><integer>10</integer>
1169 // CHECK-NEXT:           <key>col</key><integer>4</integer>
1170 // CHECK-NEXT:           <key>file</key><integer>1</integer>
1171 // CHECK-NEXT:          </dict>
1172 // CHECK-NEXT:         </array>
1173 // CHECK-NEXT:        <key>end</key>
1174 // CHECK-NEXT:         <array>
1175 // CHECK-NEXT:          <dict>
1176 // CHECK-NEXT:           <key>line</key><integer>11</integer>
1177 // CHECK-NEXT:           <key>col</key><integer>3</integer>
1178 // CHECK-NEXT:           <key>file</key><integer>1</integer>
1179 // CHECK-NEXT:          </dict>
1180 // CHECK-NEXT:          <dict>
1181 // CHECK-NEXT:           <key>line</key><integer>11</integer>
1182 // CHECK-NEXT:           <key>col</key><integer>5</integer>
1183 // CHECK-NEXT:           <key>file</key><integer>1</integer>
1184 // CHECK-NEXT:          </dict>
1185 // CHECK-NEXT:         </array>
1186 // CHECK-NEXT:       </dict>
1187 // CHECK-NEXT:      </array>
1188 // CHECK-NEXT:    </dict>
1189 // CHECK-NEXT:    <dict>
1190 // CHECK-NEXT:     <key>kind</key><string>event</string>
1191 // CHECK-NEXT:     <key>location</key>
1192 // CHECK-NEXT:     <dict>
1193 // CHECK-NEXT:      <key>line</key><integer>11</integer>
1194 // CHECK-NEXT:      <key>col</key><integer>3</integer>
1195 // CHECK-NEXT:      <key>file</key><integer>1</integer>
1196 // CHECK-NEXT:     </dict>
1197 // CHECK-NEXT:     <key>ranges</key>
1198 // CHECK-NEXT:     <array>
1199 // CHECK-NEXT:       <array>
1200 // CHECK-NEXT:        <dict>
1201 // CHECK-NEXT:         <key>line</key><integer>11</integer>
1202 // CHECK-NEXT:         <key>col</key><integer>3</integer>
1203 // CHECK-NEXT:         <key>file</key><integer>1</integer>
1204 // CHECK-NEXT:        </dict>
1205 // CHECK-NEXT:        <dict>
1206 // CHECK-NEXT:         <key>line</key><integer>11</integer>
1207 // CHECK-NEXT:         <key>col</key><integer>7</integer>
1208 // CHECK-NEXT:         <key>file</key><integer>1</integer>
1209 // CHECK-NEXT:        </dict>
1210 // CHECK-NEXT:       </array>
1211 // CHECK-NEXT:     </array>
1212 // CHECK-NEXT:     <key>depth</key><integer>2</integer>
1213 // CHECK-NEXT:     <key>extended_message</key>
1214 // CHECK-NEXT:     <string>&apos;h&apos; initialized to 0</string>
1215 // CHECK-NEXT:     <key>message</key>
1216 // CHECK-NEXT:     <string>&apos;h&apos; initialized to 0</string>
1217 // CHECK-NEXT:    </dict>
1218 // CHECK-NEXT:    <dict>
1219 // CHECK-NEXT:     <key>kind</key><string>control</string>
1220 // CHECK-NEXT:     <key>edges</key>
1221 // CHECK-NEXT:      <array>
1222 // CHECK-NEXT:       <dict>
1223 // CHECK-NEXT:        <key>start</key>
1224 // CHECK-NEXT:         <array>
1225 // CHECK-NEXT:          <dict>
1226 // CHECK-NEXT:           <key>line</key><integer>11</integer>
1227 // CHECK-NEXT:           <key>col</key><integer>3</integer>
1228 // CHECK-NEXT:           <key>file</key><integer>1</integer>
1229 // CHECK-NEXT:          </dict>
1230 // CHECK-NEXT:          <dict>
1231 // CHECK-NEXT:           <key>line</key><integer>11</integer>
1232 // CHECK-NEXT:           <key>col</key><integer>5</integer>
1233 // CHECK-NEXT:           <key>file</key><integer>1</integer>
1234 // CHECK-NEXT:          </dict>
1235 // CHECK-NEXT:         </array>
1236 // CHECK-NEXT:        <key>end</key>
1237 // CHECK-NEXT:         <array>
1238 // CHECK-NEXT:          <dict>
1239 // CHECK-NEXT:           <key>line</key><integer>12</integer>
1240 // CHECK-NEXT:           <key>col</key><integer>9</integer>
1241 // CHECK-NEXT:           <key>file</key><integer>1</integer>
1242 // CHECK-NEXT:          </dict>
1243 // CHECK-NEXT:          <dict>
1244 // CHECK-NEXT:           <key>line</key><integer>12</integer>
1245 // CHECK-NEXT:           <key>col</key><integer>9</integer>
1246 // CHECK-NEXT:           <key>file</key><integer>1</integer>
1247 // CHECK-NEXT:          </dict>
1248 // CHECK-NEXT:         </array>
1249 // CHECK-NEXT:       </dict>
1250 // CHECK-NEXT:      </array>
1251 // CHECK-NEXT:    </dict>
1252 // CHECK-NEXT:    <dict>
1253 // CHECK-NEXT:     <key>kind</key><string>event</string>
1254 // CHECK-NEXT:     <key>location</key>
1255 // CHECK-NEXT:     <dict>
1256 // CHECK-NEXT:      <key>line</key><integer>12</integer>
1257 // CHECK-NEXT:      <key>col</key><integer>9</integer>
1258 // CHECK-NEXT:      <key>file</key><integer>1</integer>
1259 // CHECK-NEXT:     </dict>
1260 // CHECK-NEXT:     <key>ranges</key>
1261 // CHECK-NEXT:     <array>
1262 // CHECK-NEXT:       <array>
1263 // CHECK-NEXT:        <dict>
1264 // CHECK-NEXT:         <key>line</key><integer>12</integer>
1265 // CHECK-NEXT:         <key>col</key><integer>7</integer>
1266 // CHECK-NEXT:         <key>file</key><integer>1</integer>
1267 // CHECK-NEXT:        </dict>
1268 // CHECK-NEXT:        <dict>
1269 // CHECK-NEXT:         <key>line</key><integer>12</integer>
1270 // CHECK-NEXT:         <key>col</key><integer>10</integer>
1271 // CHECK-NEXT:         <key>file</key><integer>1</integer>
1272 // CHECK-NEXT:        </dict>
1273 // CHECK-NEXT:       </array>
1274 // CHECK-NEXT:     </array>
1275 // CHECK-NEXT:     <key>depth</key><integer>2</integer>
1276 // CHECK-NEXT:     <key>extended_message</key>
1277 // CHECK-NEXT:     <string>Division by zero</string>
1278 // CHECK-NEXT:     <key>message</key>
1279 // CHECK-NEXT:     <string>Division by zero</string>
1280 // CHECK-NEXT:    </dict>
1281 // CHECK-NEXT:   </array>
1282 // CHECK-NEXT:   <key>description</key><string>Division by zero (within a call to &apos;cause_div_by_zero_in_header&apos;)</string>
1283 // CHECK-NEXT:   <key>category</key><string>Logic error</string>
1284 // CHECK-NEXT:   <key>type</key><string>Division by zero</string>
1285 // CHECK-NEXT:   <key>check_name</key><string>core.DivideZero</string>
1286 // CHECK-NEXT:   <!-- This hash is experimental and going to change! -->
1287 // CHECK-NEXT:   <key>issue_hash_content_of_line_in_context</key><string>dceba279187ce4f6514f4a4c43a51063</string>
1288 // CHECK-NEXT:  <key>issue_context_kind</key><string>function</string>
1289 // CHECK-NEXT:  <key>issue_context</key><string>auxInMain</string>
1290 // CHECK-NEXT:  <key>issue_hash_function_offset</key><string>3</string>
1291 // CHECK-NEXT:  <key>location</key>
1292 // CHECK-NEXT:  <dict>
1293 // CHECK-NEXT:   <key>line</key><integer>12</integer>
1294 // CHECK-NEXT:   <key>col</key><integer>3</integer>
1295 // CHECK-NEXT:   <key>file</key><integer>0</integer>
1296 // CHECK-NEXT:  </dict>
1297 // CHECK-NEXT:  </dict>
1298 // CHECK-NEXT:  <dict>
1299 // CHECK-NEXT:   <key>path</key>
1300 // CHECK-NEXT:   <array>
1301 // CHECK-NEXT:    <dict>
1302 // CHECK-NEXT:     <key>kind</key><string>control</string>
1303 // CHECK-NEXT:     <key>edges</key>
1304 // CHECK-NEXT:      <array>
1305 // CHECK-NEXT:       <dict>
1306 // CHECK-NEXT:        <key>start</key>
1307 // CHECK-NEXT:         <array>
1308 // CHECK-NEXT:          <dict>
1309 // CHECK-NEXT:           <key>line</key><integer>28</integer>
1310 // CHECK-NEXT:           <key>col</key><integer>3</integer>
1311 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1312 // CHECK-NEXT:          </dict>
1313 // CHECK-NEXT:          <dict>
1314 // CHECK-NEXT:           <key>line</key><integer>28</integer>
1315 // CHECK-NEXT:           <key>col</key><integer>5</integer>
1316 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1317 // CHECK-NEXT:          </dict>
1318 // CHECK-NEXT:         </array>
1319 // CHECK-NEXT:        <key>end</key>
1320 // CHECK-NEXT:         <array>
1321 // CHECK-NEXT:          <dict>
1322 // CHECK-NEXT:           <key>line</key><integer>30</integer>
1323 // CHECK-NEXT:           <key>col</key><integer>3</integer>
1324 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1325 // CHECK-NEXT:          </dict>
1326 // CHECK-NEXT:          <dict>
1327 // CHECK-NEXT:           <key>line</key><integer>30</integer>
1328 // CHECK-NEXT:           <key>col</key><integer>22</integer>
1329 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1330 // CHECK-NEXT:          </dict>
1331 // CHECK-NEXT:         </array>
1332 // CHECK-NEXT:       </dict>
1333 // CHECK-NEXT:      </array>
1334 // CHECK-NEXT:    </dict>
1335 // CHECK-NEXT:    <dict>
1336 // CHECK-NEXT:     <key>kind</key><string>event</string>
1337 // CHECK-NEXT:     <key>location</key>
1338 // CHECK-NEXT:     <dict>
1339 // CHECK-NEXT:      <key>line</key><integer>30</integer>
1340 // CHECK-NEXT:      <key>col</key><integer>3</integer>
1341 // CHECK-NEXT:      <key>file</key><integer>0</integer>
1342 // CHECK-NEXT:     </dict>
1343 // CHECK-NEXT:     <key>ranges</key>
1344 // CHECK-NEXT:     <array>
1345 // CHECK-NEXT:       <array>
1346 // CHECK-NEXT:        <dict>
1347 // CHECK-NEXT:         <key>line</key><integer>30</integer>
1348 // CHECK-NEXT:         <key>col</key><integer>3</integer>
1349 // CHECK-NEXT:         <key>file</key><integer>0</integer>
1350 // CHECK-NEXT:        </dict>
1351 // CHECK-NEXT:        <dict>
1352 // CHECK-NEXT:         <key>line</key><integer>30</integer>
1353 // CHECK-NEXT:         <key>col</key><integer>25</integer>
1354 // CHECK-NEXT:         <key>file</key><integer>0</integer>
1355 // CHECK-NEXT:        </dict>
1356 // CHECK-NEXT:       </array>
1357 // CHECK-NEXT:     </array>
1358 // CHECK-NEXT:     <key>depth</key><integer>0</integer>
1359 // CHECK-NEXT:     <key>extended_message</key>
1360 // CHECK-NEXT:     <string>Calling &apos;causeDivByZeroInMain&apos;</string>
1361 // CHECK-NEXT:     <key>message</key>
1362 // CHECK-NEXT:     <string>Calling &apos;causeDivByZeroInMain&apos;</string>
1363 // CHECK-NEXT:    </dict>
1364 // CHECK-NEXT:    <dict>
1365 // CHECK-NEXT:     <key>kind</key><string>event</string>
1366 // CHECK-NEXT:     <key>location</key>
1367 // CHECK-NEXT:     <dict>
1368 // CHECK-NEXT:      <key>line</key><integer>22</integer>
1369 // CHECK-NEXT:      <key>col</key><integer>1</integer>
1370 // CHECK-NEXT:      <key>file</key><integer>0</integer>
1371 // CHECK-NEXT:     </dict>
1372 // CHECK-NEXT:     <key>depth</key><integer>1</integer>
1373 // CHECK-NEXT:     <key>extended_message</key>
1374 // CHECK-NEXT:     <string>Entered call from &apos;mainPlusMain&apos;</string>
1375 // CHECK-NEXT:     <key>message</key>
1376 // CHECK-NEXT:     <string>Entered call from &apos;mainPlusMain&apos;</string>
1377 // CHECK-NEXT:    </dict>
1378 // CHECK-NEXT:    <dict>
1379 // CHECK-NEXT:     <key>kind</key><string>control</string>
1380 // CHECK-NEXT:     <key>edges</key>
1381 // CHECK-NEXT:      <array>
1382 // CHECK-NEXT:       <dict>
1383 // CHECK-NEXT:        <key>start</key>
1384 // CHECK-NEXT:         <array>
1385 // CHECK-NEXT:          <dict>
1386 // CHECK-NEXT:           <key>line</key><integer>22</integer>
1387 // CHECK-NEXT:           <key>col</key><integer>1</integer>
1388 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1389 // CHECK-NEXT:          </dict>
1390 // CHECK-NEXT:          <dict>
1391 // CHECK-NEXT:           <key>line</key><integer>22</integer>
1392 // CHECK-NEXT:           <key>col</key><integer>4</integer>
1393 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1394 // CHECK-NEXT:          </dict>
1395 // CHECK-NEXT:         </array>
1396 // CHECK-NEXT:        <key>end</key>
1397 // CHECK-NEXT:         <array>
1398 // CHECK-NEXT:          <dict>
1399 // CHECK-NEXT:           <key>line</key><integer>23</integer>
1400 // CHECK-NEXT:           <key>col</key><integer>3</integer>
1401 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1402 // CHECK-NEXT:          </dict>
1403 // CHECK-NEXT:          <dict>
1404 // CHECK-NEXT:           <key>line</key><integer>23</integer>
1405 // CHECK-NEXT:           <key>col</key><integer>5</integer>
1406 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1407 // CHECK-NEXT:          </dict>
1408 // CHECK-NEXT:         </array>
1409 // CHECK-NEXT:       </dict>
1410 // CHECK-NEXT:      </array>
1411 // CHECK-NEXT:    </dict>
1412 // CHECK-NEXT:    <dict>
1413 // CHECK-NEXT:     <key>kind</key><string>event</string>
1414 // CHECK-NEXT:     <key>location</key>
1415 // CHECK-NEXT:     <dict>
1416 // CHECK-NEXT:      <key>line</key><integer>23</integer>
1417 // CHECK-NEXT:      <key>col</key><integer>3</integer>
1418 // CHECK-NEXT:      <key>file</key><integer>0</integer>
1419 // CHECK-NEXT:     </dict>
1420 // CHECK-NEXT:     <key>ranges</key>
1421 // CHECK-NEXT:     <array>
1422 // CHECK-NEXT:       <array>
1423 // CHECK-NEXT:        <dict>
1424 // CHECK-NEXT:         <key>line</key><integer>23</integer>
1425 // CHECK-NEXT:         <key>col</key><integer>3</integer>
1426 // CHECK-NEXT:         <key>file</key><integer>0</integer>
1427 // CHECK-NEXT:        </dict>
1428 // CHECK-NEXT:        <dict>
1429 // CHECK-NEXT:         <key>line</key><integer>23</integer>
1430 // CHECK-NEXT:         <key>col</key><integer>7</integer>
1431 // CHECK-NEXT:         <key>file</key><integer>0</integer>
1432 // CHECK-NEXT:        </dict>
1433 // CHECK-NEXT:       </array>
1434 // CHECK-NEXT:     </array>
1435 // CHECK-NEXT:     <key>depth</key><integer>1</integer>
1436 // CHECK-NEXT:     <key>extended_message</key>
1437 // CHECK-NEXT:     <string>&apos;m&apos; initialized to 0</string>
1438 // CHECK-NEXT:     <key>message</key>
1439 // CHECK-NEXT:     <string>&apos;m&apos; initialized to 0</string>
1440 // CHECK-NEXT:    </dict>
1441 // CHECK-NEXT:    <dict>
1442 // CHECK-NEXT:     <key>kind</key><string>control</string>
1443 // CHECK-NEXT:     <key>edges</key>
1444 // CHECK-NEXT:      <array>
1445 // CHECK-NEXT:       <dict>
1446 // CHECK-NEXT:        <key>start</key>
1447 // CHECK-NEXT:         <array>
1448 // CHECK-NEXT:          <dict>
1449 // CHECK-NEXT:           <key>line</key><integer>23</integer>
1450 // CHECK-NEXT:           <key>col</key><integer>3</integer>
1451 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1452 // CHECK-NEXT:          </dict>
1453 // CHECK-NEXT:          <dict>
1454 // CHECK-NEXT:           <key>line</key><integer>23</integer>
1455 // CHECK-NEXT:           <key>col</key><integer>5</integer>
1456 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1457 // CHECK-NEXT:          </dict>
1458 // CHECK-NEXT:         </array>
1459 // CHECK-NEXT:        <key>end</key>
1460 // CHECK-NEXT:         <array>
1461 // CHECK-NEXT:          <dict>
1462 // CHECK-NEXT:           <key>line</key><integer>24</integer>
1463 // CHECK-NEXT:           <key>col</key><integer>9</integer>
1464 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1465 // CHECK-NEXT:          </dict>
1466 // CHECK-NEXT:          <dict>
1467 // CHECK-NEXT:           <key>line</key><integer>24</integer>
1468 // CHECK-NEXT:           <key>col</key><integer>9</integer>
1469 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1470 // CHECK-NEXT:          </dict>
1471 // CHECK-NEXT:         </array>
1472 // CHECK-NEXT:       </dict>
1473 // CHECK-NEXT:      </array>
1474 // CHECK-NEXT:    </dict>
1475 // CHECK-NEXT:    <dict>
1476 // CHECK-NEXT:     <key>kind</key><string>event</string>
1477 // CHECK-NEXT:     <key>location</key>
1478 // CHECK-NEXT:     <dict>
1479 // CHECK-NEXT:      <key>line</key><integer>24</integer>
1480 // CHECK-NEXT:      <key>col</key><integer>9</integer>
1481 // CHECK-NEXT:      <key>file</key><integer>0</integer>
1482 // CHECK-NEXT:     </dict>
1483 // CHECK-NEXT:     <key>ranges</key>
1484 // CHECK-NEXT:     <array>
1485 // CHECK-NEXT:       <array>
1486 // CHECK-NEXT:        <dict>
1487 // CHECK-NEXT:         <key>line</key><integer>24</integer>
1488 // CHECK-NEXT:         <key>col</key><integer>7</integer>
1489 // CHECK-NEXT:         <key>file</key><integer>0</integer>
1490 // CHECK-NEXT:        </dict>
1491 // CHECK-NEXT:        <dict>
1492 // CHECK-NEXT:         <key>line</key><integer>24</integer>
1493 // CHECK-NEXT:         <key>col</key><integer>10</integer>
1494 // CHECK-NEXT:         <key>file</key><integer>0</integer>
1495 // CHECK-NEXT:        </dict>
1496 // CHECK-NEXT:       </array>
1497 // CHECK-NEXT:     </array>
1498 // CHECK-NEXT:     <key>depth</key><integer>1</integer>
1499 // CHECK-NEXT:     <key>extended_message</key>
1500 // CHECK-NEXT:     <string>Division by zero</string>
1501 // CHECK-NEXT:     <key>message</key>
1502 // CHECK-NEXT:     <string>Division by zero</string>
1503 // CHECK-NEXT:    </dict>
1504 // CHECK-NEXT:   </array>
1505 // CHECK-NEXT:   <key>description</key><string>Division by zero</string>
1506 // CHECK-NEXT:   <key>category</key><string>Logic error</string>
1507 // CHECK-NEXT:   <key>type</key><string>Division by zero</string>
1508 // CHECK-NEXT:   <key>check_name</key><string>core.DivideZero</string>
1509 // CHECK-NEXT:   <!-- This hash is experimental and going to change! -->
1510 // CHECK-NEXT:   <key>issue_hash_content_of_line_in_context</key><string>d0d513aa4710781c2b56c44226354403</string>
1511 // CHECK-NEXT:  <key>issue_context_kind</key><string>function</string>
1512 // CHECK-NEXT:  <key>issue_context</key><string>causeDivByZeroInMain</string>
1513 // CHECK-NEXT:  <key>issue_hash_function_offset</key><string>2</string>
1514 // CHECK-NEXT:  <key>location</key>
1515 // CHECK-NEXT:  <dict>
1516 // CHECK-NEXT:   <key>line</key><integer>24</integer>
1517 // CHECK-NEXT:   <key>col</key><integer>9</integer>
1518 // CHECK-NEXT:   <key>file</key><integer>0</integer>
1519 // CHECK-NEXT:  </dict>
1520 // CHECK-NEXT:  </dict>
1521 // CHECK-NEXT:  <dict>
1522 // CHECK-NEXT:   <key>path</key>
1523 // CHECK-NEXT:   <array>
1524 // CHECK-NEXT:    <dict>
1525 // CHECK-NEXT:     <key>kind</key><string>control</string>
1526 // CHECK-NEXT:     <key>edges</key>
1527 // CHECK-NEXT:      <array>
1528 // CHECK-NEXT:       <dict>
1529 // CHECK-NEXT:        <key>start</key>
1530 // CHECK-NEXT:         <array>
1531 // CHECK-NEXT:          <dict>
1532 // CHECK-NEXT:           <key>line</key><integer>41</integer>
1533 // CHECK-NEXT:           <key>col</key><integer>3</integer>
1534 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1535 // CHECK-NEXT:          </dict>
1536 // CHECK-NEXT:          <dict>
1537 // CHECK-NEXT:           <key>line</key><integer>41</integer>
1538 // CHECK-NEXT:           <key>col</key><integer>5</integer>
1539 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1540 // CHECK-NEXT:          </dict>
1541 // CHECK-NEXT:         </array>
1542 // CHECK-NEXT:        <key>end</key>
1543 // CHECK-NEXT:         <array>
1544 // CHECK-NEXT:          <dict>
1545 // CHECK-NEXT:           <key>line</key><integer>43</integer>
1546 // CHECK-NEXT:           <key>col</key><integer>3</integer>
1547 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1548 // CHECK-NEXT:          </dict>
1549 // CHECK-NEXT:          <dict>
1550 // CHECK-NEXT:           <key>line</key><integer>43</integer>
1551 // CHECK-NEXT:           <key>col</key><integer>14</integer>
1552 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1553 // CHECK-NEXT:          </dict>
1554 // CHECK-NEXT:         </array>
1555 // CHECK-NEXT:       </dict>
1556 // CHECK-NEXT:      </array>
1557 // CHECK-NEXT:    </dict>
1558 // CHECK-NEXT:    <dict>
1559 // CHECK-NEXT:     <key>kind</key><string>control</string>
1560 // CHECK-NEXT:     <key>edges</key>
1561 // CHECK-NEXT:      <array>
1562 // CHECK-NEXT:       <dict>
1563 // CHECK-NEXT:        <key>start</key>
1564 // CHECK-NEXT:         <array>
1565 // CHECK-NEXT:          <dict>
1566 // CHECK-NEXT:           <key>line</key><integer>43</integer>
1567 // CHECK-NEXT:           <key>col</key><integer>3</integer>
1568 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1569 // CHECK-NEXT:          </dict>
1570 // CHECK-NEXT:          <dict>
1571 // CHECK-NEXT:           <key>line</key><integer>43</integer>
1572 // CHECK-NEXT:           <key>col</key><integer>14</integer>
1573 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1574 // CHECK-NEXT:          </dict>
1575 // CHECK-NEXT:         </array>
1576 // CHECK-NEXT:        <key>end</key>
1577 // CHECK-NEXT:         <array>
1578 // CHECK-NEXT:          <dict>
1579 // CHECK-NEXT:           <key>line</key><integer>44</integer>
1580 // CHECK-NEXT:           <key>col</key><integer>3</integer>
1581 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1582 // CHECK-NEXT:          </dict>
1583 // CHECK-NEXT:          <dict>
1584 // CHECK-NEXT:           <key>line</key><integer>44</integer>
1585 // CHECK-NEXT:           <key>col</key><integer>23</integer>
1586 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1587 // CHECK-NEXT:          </dict>
1588 // CHECK-NEXT:         </array>
1589 // CHECK-NEXT:       </dict>
1590 // CHECK-NEXT:      </array>
1591 // CHECK-NEXT:    </dict>
1592 // CHECK-NEXT:    <dict>
1593 // CHECK-NEXT:     <key>kind</key><string>event</string>
1594 // CHECK-NEXT:     <key>location</key>
1595 // CHECK-NEXT:     <dict>
1596 // CHECK-NEXT:      <key>line</key><integer>44</integer>
1597 // CHECK-NEXT:      <key>col</key><integer>3</integer>
1598 // CHECK-NEXT:      <key>file</key><integer>0</integer>
1599 // CHECK-NEXT:     </dict>
1600 // CHECK-NEXT:     <key>ranges</key>
1601 // CHECK-NEXT:     <array>
1602 // CHECK-NEXT:       <array>
1603 // CHECK-NEXT:        <dict>
1604 // CHECK-NEXT:         <key>line</key><integer>44</integer>
1605 // CHECK-NEXT:         <key>col</key><integer>3</integer>
1606 // CHECK-NEXT:         <key>file</key><integer>0</integer>
1607 // CHECK-NEXT:        </dict>
1608 // CHECK-NEXT:        <dict>
1609 // CHECK-NEXT:         <key>line</key><integer>44</integer>
1610 // CHECK-NEXT:         <key>col</key><integer>26</integer>
1611 // CHECK-NEXT:         <key>file</key><integer>0</integer>
1612 // CHECK-NEXT:        </dict>
1613 // CHECK-NEXT:       </array>
1614 // CHECK-NEXT:     </array>
1615 // CHECK-NEXT:     <key>depth</key><integer>0</integer>
1616 // CHECK-NEXT:     <key>extended_message</key>
1617 // CHECK-NEXT:     <string>Calling &apos;causeDivByZeroInMain2&apos;</string>
1618 // CHECK-NEXT:     <key>message</key>
1619 // CHECK-NEXT:     <string>Calling &apos;causeDivByZeroInMain2&apos;</string>
1620 // CHECK-NEXT:    </dict>
1621 // CHECK-NEXT:    <dict>
1622 // CHECK-NEXT:     <key>kind</key><string>event</string>
1623 // CHECK-NEXT:     <key>location</key>
1624 // CHECK-NEXT:     <dict>
1625 // CHECK-NEXT:      <key>line</key><integer>34</integer>
1626 // CHECK-NEXT:      <key>col</key><integer>1</integer>
1627 // CHECK-NEXT:      <key>file</key><integer>0</integer>
1628 // CHECK-NEXT:     </dict>
1629 // CHECK-NEXT:     <key>depth</key><integer>1</integer>
1630 // CHECK-NEXT:     <key>extended_message</key>
1631 // CHECK-NEXT:     <string>Entered call from &apos;mainPlustHeaderCallAndReturnPlusMain&apos;</string>
1632 // CHECK-NEXT:     <key>message</key>
1633 // CHECK-NEXT:     <string>Entered call from &apos;mainPlustHeaderCallAndReturnPlusMain&apos;</string>
1634 // CHECK-NEXT:    </dict>
1635 // CHECK-NEXT:    <dict>
1636 // CHECK-NEXT:     <key>kind</key><string>control</string>
1637 // CHECK-NEXT:     <key>edges</key>
1638 // CHECK-NEXT:      <array>
1639 // CHECK-NEXT:       <dict>
1640 // CHECK-NEXT:        <key>start</key>
1641 // CHECK-NEXT:         <array>
1642 // CHECK-NEXT:          <dict>
1643 // CHECK-NEXT:           <key>line</key><integer>34</integer>
1644 // CHECK-NEXT:           <key>col</key><integer>1</integer>
1645 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1646 // CHECK-NEXT:          </dict>
1647 // CHECK-NEXT:          <dict>
1648 // CHECK-NEXT:           <key>line</key><integer>34</integer>
1649 // CHECK-NEXT:           <key>col</key><integer>4</integer>
1650 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1651 // CHECK-NEXT:          </dict>
1652 // CHECK-NEXT:         </array>
1653 // CHECK-NEXT:        <key>end</key>
1654 // CHECK-NEXT:         <array>
1655 // CHECK-NEXT:          <dict>
1656 // CHECK-NEXT:           <key>line</key><integer>35</integer>
1657 // CHECK-NEXT:           <key>col</key><integer>3</integer>
1658 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1659 // CHECK-NEXT:          </dict>
1660 // CHECK-NEXT:          <dict>
1661 // CHECK-NEXT:           <key>line</key><integer>35</integer>
1662 // CHECK-NEXT:           <key>col</key><integer>5</integer>
1663 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1664 // CHECK-NEXT:          </dict>
1665 // CHECK-NEXT:         </array>
1666 // CHECK-NEXT:       </dict>
1667 // CHECK-NEXT:      </array>
1668 // CHECK-NEXT:    </dict>
1669 // CHECK-NEXT:    <dict>
1670 // CHECK-NEXT:     <key>kind</key><string>event</string>
1671 // CHECK-NEXT:     <key>location</key>
1672 // CHECK-NEXT:     <dict>
1673 // CHECK-NEXT:      <key>line</key><integer>35</integer>
1674 // CHECK-NEXT:      <key>col</key><integer>3</integer>
1675 // CHECK-NEXT:      <key>file</key><integer>0</integer>
1676 // CHECK-NEXT:     </dict>
1677 // CHECK-NEXT:     <key>ranges</key>
1678 // CHECK-NEXT:     <array>
1679 // CHECK-NEXT:       <array>
1680 // CHECK-NEXT:        <dict>
1681 // CHECK-NEXT:         <key>line</key><integer>35</integer>
1682 // CHECK-NEXT:         <key>col</key><integer>3</integer>
1683 // CHECK-NEXT:         <key>file</key><integer>0</integer>
1684 // CHECK-NEXT:        </dict>
1685 // CHECK-NEXT:        <dict>
1686 // CHECK-NEXT:         <key>line</key><integer>35</integer>
1687 // CHECK-NEXT:         <key>col</key><integer>8</integer>
1688 // CHECK-NEXT:         <key>file</key><integer>0</integer>
1689 // CHECK-NEXT:        </dict>
1690 // CHECK-NEXT:       </array>
1691 // CHECK-NEXT:     </array>
1692 // CHECK-NEXT:     <key>depth</key><integer>1</integer>
1693 // CHECK-NEXT:     <key>extended_message</key>
1694 // CHECK-NEXT:     <string>&apos;m2&apos; initialized to 0</string>
1695 // CHECK-NEXT:     <key>message</key>
1696 // CHECK-NEXT:     <string>&apos;m2&apos; initialized to 0</string>
1697 // CHECK-NEXT:    </dict>
1698 // CHECK-NEXT:    <dict>
1699 // CHECK-NEXT:     <key>kind</key><string>control</string>
1700 // CHECK-NEXT:     <key>edges</key>
1701 // CHECK-NEXT:      <array>
1702 // CHECK-NEXT:       <dict>
1703 // CHECK-NEXT:        <key>start</key>
1704 // CHECK-NEXT:         <array>
1705 // CHECK-NEXT:          <dict>
1706 // CHECK-NEXT:           <key>line</key><integer>35</integer>
1707 // CHECK-NEXT:           <key>col</key><integer>3</integer>
1708 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1709 // CHECK-NEXT:          </dict>
1710 // CHECK-NEXT:          <dict>
1711 // CHECK-NEXT:           <key>line</key><integer>35</integer>
1712 // CHECK-NEXT:           <key>col</key><integer>5</integer>
1713 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1714 // CHECK-NEXT:          </dict>
1715 // CHECK-NEXT:         </array>
1716 // CHECK-NEXT:        <key>end</key>
1717 // CHECK-NEXT:         <array>
1718 // CHECK-NEXT:          <dict>
1719 // CHECK-NEXT:           <key>line</key><integer>36</integer>
1720 // CHECK-NEXT:           <key>col</key><integer>10</integer>
1721 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1722 // CHECK-NEXT:          </dict>
1723 // CHECK-NEXT:          <dict>
1724 // CHECK-NEXT:           <key>line</key><integer>36</integer>
1725 // CHECK-NEXT:           <key>col</key><integer>10</integer>
1726 // CHECK-NEXT:           <key>file</key><integer>0</integer>
1727 // CHECK-NEXT:          </dict>
1728 // CHECK-NEXT:         </array>
1729 // CHECK-NEXT:       </dict>
1730 // CHECK-NEXT:      </array>
1731 // CHECK-NEXT:    </dict>
1732 // CHECK-NEXT:    <dict>
1733 // CHECK-NEXT:     <key>kind</key><string>event</string>
1734 // CHECK-NEXT:     <key>location</key>
1735 // CHECK-NEXT:     <dict>
1736 // CHECK-NEXT:      <key>line</key><integer>36</integer>
1737 // CHECK-NEXT:      <key>col</key><integer>10</integer>
1738 // CHECK-NEXT:      <key>file</key><integer>0</integer>
1739 // CHECK-NEXT:     </dict>
1740 // CHECK-NEXT:     <key>ranges</key>
1741 // CHECK-NEXT:     <array>
1742 // CHECK-NEXT:       <array>
1743 // CHECK-NEXT:        <dict>
1744 // CHECK-NEXT:         <key>line</key><integer>36</integer>
1745 // CHECK-NEXT:         <key>col</key><integer>8</integer>
1746 // CHECK-NEXT:         <key>file</key><integer>0</integer>
1747 // CHECK-NEXT:        </dict>
1748 // CHECK-NEXT:        <dict>
1749 // CHECK-NEXT:         <key>line</key><integer>36</integer>
1750 // CHECK-NEXT:         <key>col</key><integer>12</integer>
1751 // CHECK-NEXT:         <key>file</key><integer>0</integer>
1752 // CHECK-NEXT:        </dict>
1753 // CHECK-NEXT:       </array>
1754 // CHECK-NEXT:     </array>
1755 // CHECK-NEXT:     <key>depth</key><integer>1</integer>
1756 // CHECK-NEXT:     <key>extended_message</key>
1757 // CHECK-NEXT:     <string>Division by zero</string>
1758 // CHECK-NEXT:     <key>message</key>
1759 // CHECK-NEXT:     <string>Division by zero</string>
1760 // CHECK-NEXT:    </dict>
1761 // CHECK-NEXT:   </array>
1762 // CHECK-NEXT:   <key>description</key><string>Division by zero</string>
1763 // CHECK-NEXT:   <key>category</key><string>Logic error</string>
1764 // CHECK-NEXT:   <key>type</key><string>Division by zero</string>
1765 // CHECK-NEXT:   <key>check_name</key><string>core.DivideZero</string>
1766 // CHECK-NEXT:   <!-- This hash is experimental and going to change! -->
1767 // CHECK-NEXT:   <key>issue_hash_content_of_line_in_context</key><string>577ddcf4482f18dec120e21890ed234a</string>
1768 // CHECK-NEXT:  <key>issue_context_kind</key><string>function</string>
1769 // CHECK-NEXT:  <key>issue_context</key><string>causeDivByZeroInMain2</string>
1770 // CHECK-NEXT:  <key>issue_hash_function_offset</key><string>2</string>
1771 // CHECK-NEXT:  <key>location</key>
1772 // CHECK-NEXT:  <dict>
1773 // CHECK-NEXT:   <key>line</key><integer>36</integer>
1774 // CHECK-NEXT:   <key>col</key><integer>10</integer>
1775 // CHECK-NEXT:   <key>file</key><integer>0</integer>
1776 // CHECK-NEXT:  </dict>
1777 // CHECK-NEXT:  </dict>
1778 // CHECK-NEXT: </array>
1779