1048eeea6852043990c87e52938b53b5337bd098eJordan Rose// 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
2d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// RUN: FileCheck --input-file=%t.plist %s
3d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks#include "Inputs/include/report-issues-within-main-file.h"
4d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks
5d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaksvoid mainPlusHeader() {
6d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks  auto_ptr<int> B (new int[5]);
7d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks}
8d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks
9d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaksvoid auxInMain() {
10d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks  int j = 0;
11d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks  j++;
12d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks  cause_div_by_zero_in_header(j);
13d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks  j--;
14d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks}
15d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaksvoid mainPlusMainPlusHeader() {
16d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks  int i = 0;
17d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks  i++;
18d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks  auxInMain();
19d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks  i++;
20d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks}
21d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks
22d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaksvoid causeDivByZeroInMain(int in) {
23d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks  int m = 0;
24d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks  m = in/m;
25d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks  m++;
26d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks}
27d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaksvoid mainPlusMain() {
28d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks  int i = 0;
29d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks  i++;
30d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks  causeDivByZeroInMain(i);
31d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks  i++;
32d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks}
33d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks
34d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaksvoid causeDivByZeroInMain2(int in) {
35d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks  int m2 = 0;
36d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks  m2 = in/m2;
37d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks  m2++;
38d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks}
3961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks
40d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaksvoid mainPlustHeaderCallAndReturnPlusMain() {
41d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks  int i = 0;
42d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks  i++;
43d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks  do_something(i);
44d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks  causeDivByZeroInMain2(i);
45d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks  i++;
46d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks}
4761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks
4861dfd6f160f7501e140704990db9c449d29f8649Anna Zaksvoid callInMacro() {
4961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks  int j = 0;
5061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks  j++;
5161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks  CALLS_BUGGY_FUNCTION2;
5261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks  j--;
5361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks}
5461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks
5561dfd6f160f7501e140704990db9c449d29f8649Anna Zaksvoid callInMacro3() {
5661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks  int j = 0;
5761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks  j++;
5861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks  CALLS_BUGGY_FUNCTION3;
5961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks  j--;
6061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks}
6161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks
6261dfd6f160f7501e140704990db9c449d29f8649Anna Zaksvoid callCallInMacro3() {
6361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks  callInMacro3();
6461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks}
6561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks
6661dfd6f160f7501e140704990db9c449d29f8649Anna Zaksvoid callInMacroArg() {
6761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks  int j = 0;
6861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks  j++;
6961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks  TAKE_CALL_AS_ARG(cause_div_by_zero_in_header4(5));
7061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks  j--;
7161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks}
7261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks
73d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK:  <key>diagnostics</key>
74d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:  <array>
75d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   <dict>
76d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <key>path</key>
77d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <array>
78d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
7961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
8061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>location</key>
8161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <dict>
8261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>line</key><integer>51</integer>
8361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>col</key><integer>3</integer>
8461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>file</key><integer>0</integer>
8561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      </dict>
8661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>ranges</key>
8761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <array>
8861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        <array>
8961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <dict>
9061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>line</key><integer>51</integer>
9161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>col</key><integer>3</integer>
9261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>file</key><integer>0</integer>
9361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         </dict>
9461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <dict>
9561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>line</key><integer>51</integer>
9661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>col</key><integer>23</integer>
9761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>file</key><integer>0</integer>
9861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         </dict>
9961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        </array>
10061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      </array>
10161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>depth</key><integer>0</integer>
10261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>extended_message</key>
10361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>Calling &apos;cause_div_by_zero_in_header2&apos;</string>
10461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>message</key>
10561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>Calling &apos;cause_div_by_zero_in_header2&apos;</string>
10661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     </dict>
10761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     <dict>
10861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
10961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>location</key>
11061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <dict>
11161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>line</key><integer>21</integer>
11261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>col</key><integer>1</integer>
11361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>file</key><integer>1</integer>
11461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      </dict>
11561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>depth</key><integer>1</integer>
11661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>extended_message</key>
11761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>Entered call from &apos;callInMacro&apos;</string>
11861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>message</key>
11961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>Entered call from &apos;callInMacro&apos;</string>
12061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     </dict>
12161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     <dict>
12261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>kind</key><string>control</string>
12361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>edges</key>
12461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <array>
12561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        <dict>
12661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <key>start</key>
12761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <array>
12861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
12961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>21</integer>
13061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>1</integer>
13161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
13261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
13361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
13461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>21</integer>
13561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>4</integer>
13661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
13761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
13861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          </array>
13961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <key>end</key>
14061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <array>
14161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
14261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>22</integer>
14361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>3</integer>
14461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
14561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
14661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
14761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>22</integer>
14861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>5</integer>
14961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
15061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
15161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          </array>
15261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        </dict>
15361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       </array>
15461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     </dict>
15561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     <dict>
15661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
15761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>location</key>
15861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <dict>
15961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>line</key><integer>22</integer>
16061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>col</key><integer>3</integer>
16161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>file</key><integer>1</integer>
16261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      </dict>
16361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>ranges</key>
16461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <array>
16561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        <array>
16661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <dict>
16761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>line</key><integer>22</integer>
16861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>col</key><integer>3</integer>
16961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>file</key><integer>1</integer>
17061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         </dict>
17161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <dict>
17261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>line</key><integer>22</integer>
17361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>col</key><integer>8</integer>
17461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>file</key><integer>1</integer>
17561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         </dict>
17661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        </array>
17761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      </array>
17861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>depth</key><integer>1</integer>
17961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>extended_message</key>
18061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>&apos;h2&apos; initialized to 0</string>
18161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>message</key>
18261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>&apos;h2&apos; initialized to 0</string>
18361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     </dict>
18461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     <dict>
18561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>kind</key><string>control</string>
18661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>edges</key>
18761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <array>
18861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        <dict>
18961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <key>start</key>
19061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <array>
19161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
19261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>22</integer>
19361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>3</integer>
19461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
19561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
19661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
19761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>22</integer>
19861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>5</integer>
19961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
20061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
20161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          </array>
20261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <key>end</key>
20361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <array>
20461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
20561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>23</integer>
20661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>10</integer>
20761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
20861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
20961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
21061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>23</integer>
21161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>10</integer>
21261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
21361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
21461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          </array>
21561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        </dict>
21661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       </array>
21761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     </dict>
21861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     <dict>
21961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
22061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>location</key>
22161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <dict>
22261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>line</key><integer>23</integer>
22361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>col</key><integer>10</integer>
22461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>file</key><integer>1</integer>
22561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      </dict>
22661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>ranges</key>
22761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <array>
22861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        <array>
22961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <dict>
23061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>line</key><integer>23</integer>
23161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>col</key><integer>8</integer>
23261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>file</key><integer>1</integer>
23361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         </dict>
23461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <dict>
23561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>line</key><integer>23</integer>
23661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>col</key><integer>12</integer>
23761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>file</key><integer>1</integer>
23861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         </dict>
23961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        </array>
24061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      </array>
24161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>depth</key><integer>1</integer>
24261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>extended_message</key>
24361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>Division by zero</string>
24461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>message</key>
24561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>Division by zero</string>
24661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     </dict>
24761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:    </array>
24861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:    <key>description</key><string>Division by zero</string>
24961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:    <key>category</key><string>Logic error</string>
25061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:    <key>type</key><string>Division by zero</string>
25161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
25261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:   <key>issue_context</key><string>cause_div_by_zero_in_header2</string>
25361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:   <key>issue_hash</key><string>2</string>
25461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:   <key>location</key>
25561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:   <dict>
25661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:    <key>line</key><integer>23</integer>
25761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:    <key>col</key><integer>10</integer>
25861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:    <key>file</key><integer>1</integer>
25961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:   </dict>
26061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:   </dict>
26161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:   <dict>
26261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:    <key>path</key>
26361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:    <array>
26461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     <dict>
26561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
26661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>location</key>
26761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <dict>
26861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>line</key><integer>63</integer>
26961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>col</key><integer>3</integer>
27061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>file</key><integer>0</integer>
27161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      </dict>
27261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>ranges</key>
27361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <array>
27461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        <array>
27561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <dict>
27661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>line</key><integer>63</integer>
27761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>col</key><integer>3</integer>
27861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>file</key><integer>0</integer>
27961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         </dict>
28061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <dict>
28161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>line</key><integer>63</integer>
28261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>col</key><integer>16</integer>
28361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>file</key><integer>0</integer>
28461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         </dict>
28561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        </array>
28661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      </array>
28761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>depth</key><integer>0</integer>
28861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>extended_message</key>
28961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>Calling &apos;callInMacro3&apos;</string>
29061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>message</key>
29161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>Calling &apos;callInMacro3&apos;</string>
29261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     </dict>
29361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     <dict>
29461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
29561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>location</key>
29661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <dict>
29761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>line</key><integer>55</integer>
29861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>col</key><integer>1</integer>
29961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>file</key><integer>0</integer>
30061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      </dict>
30161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>depth</key><integer>1</integer>
30261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>extended_message</key>
30361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>Entered call from &apos;callCallInMacro3&apos;</string>
30461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>message</key>
30561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>Entered call from &apos;callCallInMacro3&apos;</string>
30661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     </dict>
30761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     <dict>
30861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>kind</key><string>control</string>
30961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>edges</key>
31061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <array>
31161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        <dict>
31261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <key>start</key>
31361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <array>
31461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
31561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>55</integer>
31661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>1</integer>
31761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
31861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
31961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
32061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>55</integer>
32161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>4</integer>
32261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
32361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
32461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          </array>
32561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <key>end</key>
32661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <array>
32761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
32861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>56</integer>
32961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>3</integer>
33061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
33161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
33261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
33361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>56</integer>
33461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>5</integer>
33561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
33661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
33761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          </array>
33861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        </dict>
33961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       </array>
34061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     </dict>
34161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     <dict>
34261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
34361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>location</key>
34461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <dict>
34561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>line</key><integer>58</integer>
34661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>col</key><integer>3</integer>
34761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>file</key><integer>0</integer>
34861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      </dict>
34961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>ranges</key>
35061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <array>
35161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        <array>
35261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <dict>
35361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>line</key><integer>58</integer>
35461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>col</key><integer>3</integer>
35561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>file</key><integer>0</integer>
35661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         </dict>
35761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <dict>
35861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>line</key><integer>58</integer>
35961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>col</key><integer>23</integer>
36061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>file</key><integer>0</integer>
36161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         </dict>
36261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        </array>
36361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      </array>
36461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>depth</key><integer>1</integer>
36561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>extended_message</key>
36661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>Calling &apos;cause_div_by_zero_in_header3&apos;</string>
36761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>message</key>
36861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>Calling &apos;cause_div_by_zero_in_header3&apos;</string>
36961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     </dict>
37061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     <dict>
37161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
37261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>location</key>
37361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <dict>
37461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>line</key><integer>29</integer>
37561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>col</key><integer>1</integer>
37661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>file</key><integer>1</integer>
37761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      </dict>
37861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>depth</key><integer>2</integer>
37961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>extended_message</key>
38061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>Entered call from &apos;callInMacro3&apos;</string>
38161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>message</key>
38261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>Entered call from &apos;callInMacro3&apos;</string>
38361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     </dict>
38461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     <dict>
38561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>kind</key><string>control</string>
38661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>edges</key>
38761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <array>
38861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        <dict>
38961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <key>start</key>
39061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <array>
39161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
39261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>29</integer>
39361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>1</integer>
39461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
39561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
39661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
39761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>29</integer>
39861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>4</integer>
39961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
40061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
40161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          </array>
40261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <key>end</key>
40361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <array>
40461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
40561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>30</integer>
40661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>3</integer>
40761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
40861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
40961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
41061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>30</integer>
41161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>5</integer>
41261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
41361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
41461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          </array>
41561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        </dict>
41661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       </array>
41761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     </dict>
41861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     <dict>
41961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
42061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>location</key>
42161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <dict>
42261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>line</key><integer>30</integer>
42361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>col</key><integer>3</integer>
42461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>file</key><integer>1</integer>
42561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      </dict>
42661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>ranges</key>
42761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <array>
42861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        <array>
42961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <dict>
43061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>line</key><integer>30</integer>
43161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>col</key><integer>3</integer>
43261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>file</key><integer>1</integer>
43361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         </dict>
43461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <dict>
43561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>line</key><integer>30</integer>
43661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>col</key><integer>8</integer>
43761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>file</key><integer>1</integer>
43861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         </dict>
43961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        </array>
44061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      </array>
44161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>depth</key><integer>2</integer>
44261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>extended_message</key>
44361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>&apos;h3&apos; initialized to 0</string>
44461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>message</key>
44561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>&apos;h3&apos; initialized to 0</string>
44661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     </dict>
44761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     <dict>
44861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>kind</key><string>control</string>
44961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>edges</key>
45061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <array>
45161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        <dict>
45261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <key>start</key>
45361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <array>
45461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
45561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>30</integer>
45661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>3</integer>
45761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
45861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
45961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
46061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>30</integer>
46161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>5</integer>
46261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
46361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
46461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          </array>
46561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <key>end</key>
46661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <array>
46761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
46861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>31</integer>
46961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>10</integer>
47061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
47161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
47261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
47361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>31</integer>
47461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>10</integer>
47561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
47661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
47761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          </array>
47861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        </dict>
47961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       </array>
48061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     </dict>
48161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     <dict>
48261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
48361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>location</key>
48461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <dict>
48561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>line</key><integer>31</integer>
48661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>col</key><integer>10</integer>
48761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>file</key><integer>1</integer>
48861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      </dict>
48961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>ranges</key>
49061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <array>
49161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        <array>
49261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <dict>
49361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>line</key><integer>31</integer>
49461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>col</key><integer>8</integer>
49561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>file</key><integer>1</integer>
49661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         </dict>
49761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <dict>
49861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>line</key><integer>31</integer>
49961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>col</key><integer>12</integer>
50061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>file</key><integer>1</integer>
50161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         </dict>
50261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        </array>
50361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      </array>
50461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>depth</key><integer>2</integer>
50561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>extended_message</key>
50661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>Division by zero</string>
50761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>message</key>
50861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>Division by zero</string>
50961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     </dict>
51061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:    </array>
51161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:    <key>description</key><string>Division by zero</string>
51261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:    <key>category</key><string>Logic error</string>
51361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:    <key>type</key><string>Division by zero</string>
51461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
51561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:   <key>issue_context</key><string>cause_div_by_zero_in_header3</string>
51661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:   <key>issue_hash</key><string>2</string>
51761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:   <key>location</key>
51861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:   <dict>
51961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:    <key>line</key><integer>31</integer>
52061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:    <key>col</key><integer>10</integer>
52161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:    <key>file</key><integer>1</integer>
52261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:   </dict>
52361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:   </dict>
52461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:   <dict>
52561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:    <key>path</key>
52661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:    <array>
52761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     <dict>
52861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
52961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>location</key>
53061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <dict>
53161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>line</key><integer>69</integer>
53261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>col</key><integer>3</integer>
53361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>file</key><integer>0</integer>
53461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      </dict>
53561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>ranges</key>
53661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <array>
53761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        <array>
53861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <dict>
53961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>line</key><integer>69</integer>
54061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>col</key><integer>3</integer>
54161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>file</key><integer>0</integer>
54261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         </dict>
54361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <dict>
54461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>line</key><integer>69</integer>
54561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>col</key><integer>18</integer>
54661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>file</key><integer>0</integer>
54761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         </dict>
54861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        </array>
54961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      </array>
55061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>depth</key><integer>0</integer>
55161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>extended_message</key>
55261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>Calling &apos;cause_div_by_zero_in_header4&apos;</string>
55361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>message</key>
55461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>Calling &apos;cause_div_by_zero_in_header4&apos;</string>
55561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     </dict>
55661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     <dict>
55761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
55861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>location</key>
55961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <dict>
56061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>line</key><integer>37</integer>
56161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>col</key><integer>1</integer>
56261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>file</key><integer>1</integer>
56361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      </dict>
56461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>depth</key><integer>1</integer>
56561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>extended_message</key>
56661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>Entered call from &apos;callInMacroArg&apos;</string>
56761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>message</key>
56861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>Entered call from &apos;callInMacroArg&apos;</string>
56961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     </dict>
57061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     <dict>
57161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>kind</key><string>control</string>
57261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>edges</key>
57361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <array>
57461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        <dict>
57561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <key>start</key>
57661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <array>
57761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
57861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>37</integer>
57961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>1</integer>
58061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
58161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
58261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
58361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>37</integer>
58461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>4</integer>
58561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
58661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
58761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          </array>
58861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <key>end</key>
58961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <array>
59061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
59161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>38</integer>
59261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>3</integer>
59361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
59461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
59561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
59661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>38</integer>
59761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>5</integer>
59861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
59961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
60061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          </array>
60161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        </dict>
60261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       </array>
60361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     </dict>
60461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     <dict>
60561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
60661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>location</key>
60761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <dict>
60861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>line</key><integer>38</integer>
60961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>col</key><integer>3</integer>
61061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>file</key><integer>1</integer>
61161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      </dict>
61261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>ranges</key>
61361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <array>
61461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        <array>
61561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <dict>
61661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>line</key><integer>38</integer>
61761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>col</key><integer>3</integer>
61861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>file</key><integer>1</integer>
61961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         </dict>
62061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <dict>
62161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>line</key><integer>38</integer>
62261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>col</key><integer>8</integer>
62361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>file</key><integer>1</integer>
62461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         </dict>
62561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        </array>
62661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      </array>
62761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>depth</key><integer>1</integer>
62861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>extended_message</key>
62961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>&apos;h4&apos; initialized to 0</string>
63061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>message</key>
63161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>&apos;h4&apos; initialized to 0</string>
63261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     </dict>
63361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     <dict>
63461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>kind</key><string>control</string>
63561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>edges</key>
63661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <array>
63761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        <dict>
63861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <key>start</key>
63961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <array>
64061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
64161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>38</integer>
64261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>3</integer>
64361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
64461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
64561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
64661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>38</integer>
64761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>5</integer>
64861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
64961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
65061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          </array>
65161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <key>end</key>
65261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <array>
65361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
65461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>39</integer>
65561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>10</integer>
65661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
65761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
65861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           <dict>
65961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>39</integer>
66061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>col</key><integer>10</integer>
66161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
66261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:           </dict>
66361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          </array>
66461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        </dict>
66561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       </array>
66661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     </dict>
66761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     <dict>
66861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
66961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>location</key>
67061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <dict>
67161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>line</key><integer>39</integer>
67261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>col</key><integer>10</integer>
67361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>file</key><integer>1</integer>
67461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      </dict>
67561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>ranges</key>
67661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <array>
67761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        <array>
67861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <dict>
67961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>line</key><integer>39</integer>
68061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>col</key><integer>8</integer>
68161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>file</key><integer>1</integer>
68261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         </dict>
68361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         <dict>
68461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>line</key><integer>39</integer>
68561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>col</key><integer>12</integer>
68661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>file</key><integer>1</integer>
68761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:         </dict>
68861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:        </array>
68961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      </array>
69061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>depth</key><integer>1</integer>
69161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>extended_message</key>
69261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>Division by zero</string>
69361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <key>message</key>
69461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:      <string>Division by zero</string>
69561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     </dict>
69661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:    </array>
69761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:    <key>description</key><string>Division by zero</string>
69861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:    <key>category</key><string>Logic error</string>
69961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:    <key>type</key><string>Division by zero</string>
70061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
70161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:   <key>issue_context</key><string>cause_div_by_zero_in_header4</string>
70261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:   <key>issue_hash</key><string>2</string>
70361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:   <key>location</key>
70461dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:   <dict>
70561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:    <key>line</key><integer>39</integer>
70661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:    <key>col</key><integer>10</integer>
70761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:    <key>file</key><integer>1</integer>
70861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:   </dict>
70961dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:   </dict>
71061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:   <dict>
71161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:    <key>path</key>
71261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:    <array>
71361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:     <dict>
714d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>control</string>
715d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>edges</key>
716d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <array>
717d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <dict>
718d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>start</key>
719d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
720d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
721d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>6</integer>
722d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>3</integer>
723d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
724d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
725d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
726d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>6</integer>
727d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>10</integer>
728d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
729d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
730d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
731d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>end</key>
732d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
733d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
734d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>6</integer>
735d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>20</integer>
736d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
737d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
738d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
739d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>6</integer>
740d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>22</integer>
741d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
742d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
743d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
744d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </dict>
745d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       </array>
746d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
747d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
748d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
749d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>location</key>
750d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <dict>
751d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>line</key><integer>6</integer>
752d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>col</key><integer>20</integer>
753d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>file</key><integer>0</integer>
754d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </dict>
755d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>ranges</key>
756d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <array>
757d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <array>
758d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <dict>
759d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>line</key><integer>6</integer>
760d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>col</key><integer>20</integer>
761d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>file</key><integer>0</integer>
762d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         </dict>
763d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <dict>
764d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>line</key><integer>6</integer>
765d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>col</key><integer>29</integer>
766d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>file</key><integer>0</integer>
767d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         </dict>
768d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </array>
769d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </array>
770d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>depth</key><integer>0</integer>
771d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>extended_message</key>
772d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Memory is allocated</string>
773d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>message</key>
774d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Memory is allocated</string>
775d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
776d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
777d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>control</string>
778d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>edges</key>
779d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <array>
780d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <dict>
781d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>start</key>
782d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
783d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
784d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>6</integer>
785d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>20</integer>
786d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
787d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
788d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
789d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>6</integer>
790d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>22</integer>
791d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
792d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
793d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
794d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>end</key>
795d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
796d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
797d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>6</integer>
798d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>17</integer>
799d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
800d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
801d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
802d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>6</integer>
803d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>17</integer>
804d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
805d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
806d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
807d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </dict>
808d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       </array>
809d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
810d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
811d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>control</string>
812d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>edges</key>
813d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <array>
814d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <dict>
815d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>start</key>
816d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
817d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
818d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>6</integer>
819d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>17</integer>
820d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
821d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
822d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
823d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>6</integer>
824d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>17</integer>
825d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
826d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
827d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
828d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>end</key>
829d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
830d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
831d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>7</integer>
832d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>1</integer>
833d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
834d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
835d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
836d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>7</integer>
837d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>1</integer>
838d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
839d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
840d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
841d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </dict>
842d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       </array>
843d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
844d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
845d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
8465a8e1ad062420ef74707bf093889403d07664b17Anna Zaks// CHECK-NEXT:      <key>key_event</key><true/>
847d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>location</key>
848d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <dict>
849d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>line</key><integer>7</integer>
850d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>col</key><integer>1</integer>
851d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>file</key><integer>0</integer>
852d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </dict>
853d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>depth</key><integer>0</integer>
854d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>extended_message</key>
855d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Calling &apos;~auto_ptr&apos;</string>
856d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>message</key>
857d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Calling &apos;~auto_ptr&apos;</string>
858d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
859d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
860d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
861d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>location</key>
862d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <dict>
863d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>line</key><integer>7</integer>
864d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>col</key><integer>3</integer>
865d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>file</key><integer>1</integer>
866d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </dict>
867d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>depth</key><integer>1</integer>
868d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>extended_message</key>
869d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Entered call from &apos;mainPlusHeader&apos;</string>
870d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>message</key>
871d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Entered call from &apos;mainPlusHeader&apos;</string>
872d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
873d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
874d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>control</string>
875d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>edges</key>
876d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <array>
877d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <dict>
878d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>start</key>
879d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
880d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
881d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>7</integer>
882d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>3</integer>
883d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
884d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
885d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
886d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>7</integer>
887d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>3</integer>
888d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
889d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
890d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
891d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>end</key>
892d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
893d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
894d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>7</integer>
895d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>17</integer>
896d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
897d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
898d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
899d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>7</integer>
900d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>22</integer>
901d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
902d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
903d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
904d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </dict>
905d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       </array>
906d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
907d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
908d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
909d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>location</key>
910d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <dict>
911d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>line</key><integer>7</integer>
912d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>col</key><integer>17</integer>
913d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>file</key><integer>1</integer>
914d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </dict>
915d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>ranges</key>
916d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <array>
917d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <array>
918d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <dict>
919d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>line</key><integer>7</integer>
920d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>col</key><integer>24</integer>
921d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>file</key><integer>1</integer>
922d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         </dict>
923d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <dict>
924d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>line</key><integer>7</integer>
925d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>col</key><integer>29</integer>
926d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>file</key><integer>1</integer>
927d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         </dict>
928d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </array>
929d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </array>
930d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>depth</key><integer>1</integer>
931d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>extended_message</key>
932d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Memory allocated by &apos;new[]&apos; should be deallocated by &apos;delete[]&apos;, not &apos;delete&apos;</string>
933d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>message</key>
934d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Memory allocated by &apos;new[]&apos; should be deallocated by &apos;delete[]&apos;, not &apos;delete&apos;</string>
935d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
936d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    </array>
9375a8e1ad062420ef74707bf093889403d07664b17Anna Zaks// 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>
938d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <key>category</key><string>Memory Error</string>
939d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <key>type</key><string>Bad deallocator</string>
940d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
941d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   <key>issue_context</key><string>mainPlusHeader</string>
942d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   <key>issue_hash</key><string>2</string>
943d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   <key>location</key>
944d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   <dict>
945d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <key>line</key><integer>7</integer>
946d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <key>col</key><integer>1</integer>
947d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <key>file</key><integer>0</integer>
948d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   </dict>
949d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   </dict>
950d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   <dict>
951d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <key>path</key>
952d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <array>
953d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
954d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>control</string>
955d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>edges</key>
956d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <array>
957d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <dict>
958d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>start</key>
959d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
960d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
961d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>16</integer>
962d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>3</integer>
963d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
964d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
965d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
966d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>16</integer>
967d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>5</integer>
968d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
969d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
970d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
971d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>end</key>
972d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
973d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
974d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>18</integer>
975d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>3</integer>
976d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
977d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
978d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
979d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>18</integer>
980d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>11</integer>
981d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
982d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
983d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
984d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </dict>
985d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       </array>
986d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
987d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
988d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
989d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>location</key>
990d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <dict>
991d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>line</key><integer>18</integer>
992d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>col</key><integer>3</integer>
993d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>file</key><integer>0</integer>
994d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </dict>
995d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>ranges</key>
996d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <array>
997d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <array>
998d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <dict>
999d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>line</key><integer>18</integer>
1000d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>col</key><integer>3</integer>
1001d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>file</key><integer>0</integer>
1002d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         </dict>
1003d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <dict>
1004d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>line</key><integer>18</integer>
1005d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>col</key><integer>13</integer>
1006d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>file</key><integer>0</integer>
1007d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         </dict>
1008d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </array>
1009d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </array>
1010d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>depth</key><integer>0</integer>
1011d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>extended_message</key>
1012d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Calling &apos;auxInMain&apos;</string>
1013d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>message</key>
1014d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Calling &apos;auxInMain&apos;</string>
1015d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
1016d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
1017d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
1018d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>location</key>
1019d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <dict>
1020d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>line</key><integer>9</integer>
1021d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>col</key><integer>1</integer>
1022d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>file</key><integer>0</integer>
1023d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </dict>
1024d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>depth</key><integer>1</integer>
1025d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>extended_message</key>
1026d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Entered call from &apos;mainPlusMainPlusHeader&apos;</string>
1027d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>message</key>
1028d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Entered call from &apos;mainPlusMainPlusHeader&apos;</string>
1029d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
1030d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
1031d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>control</string>
1032d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>edges</key>
1033d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <array>
1034d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <dict>
1035d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>start</key>
1036d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
1037d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1038d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>9</integer>
1039d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>1</integer>
1040d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1041d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1042d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1043d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>9</integer>
1044d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>4</integer>
1045d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1046d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1047d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
1048d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>end</key>
1049d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
1050d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1051d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>10</integer>
1052d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>3</integer>
1053d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1054d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1055d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1056d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>10</integer>
1057d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>5</integer>
1058d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1059d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1060d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
1061d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </dict>
1062d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       </array>
1063d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
1064d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
1065d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>control</string>
1066d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>edges</key>
1067d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <array>
1068d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <dict>
1069d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>start</key>
1070d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
1071d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1072d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>10</integer>
1073d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>3</integer>
1074d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1075d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1076d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1077d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>10</integer>
1078d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>5</integer>
1079d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1080d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1081d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
1082d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>end</key>
1083d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
1084d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1085d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>12</integer>
1086d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>3</integer>
1087d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1088d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1089d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1090d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>12</integer>
1091d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>29</integer>
1092d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1093d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1094d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
1095d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </dict>
1096d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       </array>
1097d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
1098d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
1099d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
11005a8e1ad062420ef74707bf093889403d07664b17Anna Zaks// CHECK-NEXT:      <key>key_event</key><true/>
1101d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>location</key>
1102d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <dict>
1103d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>line</key><integer>12</integer>
1104d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>col</key><integer>3</integer>
1105d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>file</key><integer>0</integer>
1106d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </dict>
1107d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>ranges</key>
1108d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <array>
1109d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <array>
1110d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <dict>
1111d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>line</key><integer>12</integer>
1112d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>col</key><integer>3</integer>
1113d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>file</key><integer>0</integer>
1114d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         </dict>
1115d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <dict>
1116d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>line</key><integer>12</integer>
1117d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>col</key><integer>32</integer>
1118d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>file</key><integer>0</integer>
1119d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         </dict>
1120d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </array>
1121d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </array>
1122d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>depth</key><integer>1</integer>
1123d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>extended_message</key>
1124d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Calling &apos;cause_div_by_zero_in_header&apos;</string>
1125d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>message</key>
1126d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Calling &apos;cause_div_by_zero_in_header&apos;</string>
1127d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
1128d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
1129d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
1130d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>location</key>
1131d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <dict>
1132d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>line</key><integer>10</integer>
1133d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>col</key><integer>1</integer>
1134d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>file</key><integer>1</integer>
1135d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </dict>
1136d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>depth</key><integer>2</integer>
1137d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>extended_message</key>
1138d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Entered call from &apos;auxInMain&apos;</string>
1139d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>message</key>
1140d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Entered call from &apos;auxInMain&apos;</string>
1141d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
1142d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
1143d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>control</string>
1144d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>edges</key>
1145d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <array>
1146d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <dict>
1147d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>start</key>
1148d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
1149d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1150d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>10</integer>
1151d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>1</integer>
1152d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
1153d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1154d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1155d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>10</integer>
1156d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>4</integer>
1157d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
1158d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1159d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
1160d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>end</key>
1161d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
1162d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1163d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>11</integer>
1164d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>3</integer>
1165d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
1166d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1167d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1168d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>11</integer>
1169d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>5</integer>
1170d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
1171d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1172d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
1173d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </dict>
1174d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       </array>
1175d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
1176d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
1177d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
1178d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>location</key>
1179d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <dict>
1180d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>line</key><integer>11</integer>
1181d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>col</key><integer>3</integer>
1182d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>file</key><integer>1</integer>
1183d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </dict>
1184d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>ranges</key>
1185d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <array>
1186d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <array>
1187d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <dict>
1188d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>line</key><integer>11</integer>
1189d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>col</key><integer>3</integer>
1190d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>file</key><integer>1</integer>
1191d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         </dict>
1192d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <dict>
1193d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>line</key><integer>11</integer>
1194d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>col</key><integer>7</integer>
1195d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>file</key><integer>1</integer>
1196d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         </dict>
1197d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </array>
1198d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </array>
1199d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>depth</key><integer>2</integer>
1200d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>extended_message</key>
1201d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>&apos;h&apos; initialized to 0</string>
1202d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>message</key>
1203d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>&apos;h&apos; initialized to 0</string>
1204d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
1205d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
1206d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>control</string>
1207d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>edges</key>
1208d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <array>
1209d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <dict>
1210d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>start</key>
1211d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
1212d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1213d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>11</integer>
1214d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>3</integer>
1215d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
1216d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1217d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1218d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>11</integer>
1219d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>5</integer>
1220d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
1221d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1222d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
1223d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>end</key>
1224d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
1225d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1226d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>12</integer>
1227d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>9</integer>
1228d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
1229d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1230d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1231d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>12</integer>
1232d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>9</integer>
1233d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>1</integer>
1234d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1235d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
1236d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </dict>
1237d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       </array>
1238d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
1239d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
1240d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
1241d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>location</key>
1242d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <dict>
1243d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>line</key><integer>12</integer>
1244d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>col</key><integer>9</integer>
1245d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>file</key><integer>1</integer>
1246d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </dict>
1247d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>ranges</key>
1248d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <array>
1249d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <array>
1250d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <dict>
1251d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>line</key><integer>12</integer>
1252d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>col</key><integer>7</integer>
1253d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>file</key><integer>1</integer>
1254d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         </dict>
1255d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <dict>
1256d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>line</key><integer>12</integer>
1257d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>col</key><integer>10</integer>
1258d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>file</key><integer>1</integer>
1259d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         </dict>
1260d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </array>
1261d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </array>
1262d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>depth</key><integer>2</integer>
1263d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>extended_message</key>
1264d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Division by zero</string>
1265d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>message</key>
1266d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Division by zero</string>
1267d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
1268d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    </array>
12695a8e1ad062420ef74707bf093889403d07664b17Anna Zaks// CHECK-NEXT:    <key>description</key><string>Division by zero (within a call to &apos;cause_div_by_zero_in_header&apos;)</string>
1270d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <key>category</key><string>Logic error</string>
1271d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <key>type</key><string>Division by zero</string>
1272d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
1273d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   <key>issue_context</key><string>auxInMain</string>
1274d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   <key>issue_hash</key><string>3</string>
1275d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   <key>location</key>
1276d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   <dict>
1277d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <key>line</key><integer>12</integer>
1278d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <key>col</key><integer>3</integer>
1279d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <key>file</key><integer>0</integer>
1280d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   </dict>
1281d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   </dict>
1282d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   <dict>
1283d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <key>path</key>
1284d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <array>
1285d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
1286d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>control</string>
1287d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>edges</key>
1288d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <array>
1289d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <dict>
1290d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>start</key>
1291d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
1292d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1293d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>28</integer>
1294d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>3</integer>
1295d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1296d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1297d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1298d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>28</integer>
1299d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>5</integer>
1300d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1301d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1302d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
1303d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>end</key>
1304d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
1305d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1306d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>30</integer>
1307d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>3</integer>
1308d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1309d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1310d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1311d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>30</integer>
1312d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>22</integer>
1313d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1314d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1315d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
1316d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </dict>
1317d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       </array>
1318d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
1319d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
1320d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
1321d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>location</key>
1322d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <dict>
1323d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>line</key><integer>30</integer>
1324d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>col</key><integer>3</integer>
1325d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>file</key><integer>0</integer>
1326d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </dict>
1327d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>ranges</key>
1328d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <array>
1329d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <array>
1330d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <dict>
1331d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>line</key><integer>30</integer>
1332d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>col</key><integer>3</integer>
1333d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>file</key><integer>0</integer>
1334d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         </dict>
1335d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <dict>
1336d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>line</key><integer>30</integer>
1337d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>col</key><integer>25</integer>
1338d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>file</key><integer>0</integer>
1339d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         </dict>
1340d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </array>
1341d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </array>
1342d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>depth</key><integer>0</integer>
1343d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>extended_message</key>
1344d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Calling &apos;causeDivByZeroInMain&apos;</string>
1345d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>message</key>
1346d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Calling &apos;causeDivByZeroInMain&apos;</string>
1347d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
1348d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
1349d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
1350d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>location</key>
1351d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <dict>
1352d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>line</key><integer>22</integer>
1353d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>col</key><integer>1</integer>
1354d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>file</key><integer>0</integer>
1355d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </dict>
1356d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>depth</key><integer>1</integer>
1357d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>extended_message</key>
1358d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Entered call from &apos;mainPlusMain&apos;</string>
1359d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>message</key>
1360d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Entered call from &apos;mainPlusMain&apos;</string>
1361d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
1362d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
1363d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>control</string>
1364d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>edges</key>
1365d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <array>
1366d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <dict>
1367d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>start</key>
1368d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
1369d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1370d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>22</integer>
1371d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>1</integer>
1372d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1373d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1374d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1375d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>22</integer>
1376d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>4</integer>
1377d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1378d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1379d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
1380d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>end</key>
1381d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
1382d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1383d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>23</integer>
1384d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>3</integer>
1385d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1386d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1387d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1388d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>23</integer>
1389d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>5</integer>
1390d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1391d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1392d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
1393d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </dict>
1394d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       </array>
1395d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
1396d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
1397d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
1398d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>location</key>
1399d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <dict>
1400d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>line</key><integer>23</integer>
1401d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>col</key><integer>3</integer>
1402d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>file</key><integer>0</integer>
1403d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </dict>
1404d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>ranges</key>
1405d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <array>
1406d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <array>
1407d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <dict>
1408d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>line</key><integer>23</integer>
1409d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>col</key><integer>3</integer>
1410d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>file</key><integer>0</integer>
1411d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         </dict>
1412d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <dict>
1413d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>line</key><integer>23</integer>
1414d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>col</key><integer>7</integer>
1415d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>file</key><integer>0</integer>
1416d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         </dict>
1417d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </array>
1418d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </array>
1419d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>depth</key><integer>1</integer>
1420d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>extended_message</key>
1421d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>&apos;m&apos; initialized to 0</string>
1422d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>message</key>
1423d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>&apos;m&apos; initialized to 0</string>
1424d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
1425d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
1426d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>control</string>
1427d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>edges</key>
1428d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <array>
1429d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <dict>
1430d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>start</key>
1431d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
1432d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1433d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>23</integer>
1434d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>3</integer>
1435d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1436d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1437d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1438d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>23</integer>
1439d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>5</integer>
1440d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1441d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1442d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
1443d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>end</key>
1444d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
1445d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1446d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>24</integer>
1447d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>9</integer>
1448d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1449d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1450d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1451d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>24</integer>
1452d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>9</integer>
1453d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1454d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1455d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
1456d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </dict>
1457d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       </array>
1458d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
1459d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
1460d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
1461d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>location</key>
1462d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <dict>
1463d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>line</key><integer>24</integer>
1464d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>col</key><integer>9</integer>
1465d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>file</key><integer>0</integer>
1466d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </dict>
1467d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>ranges</key>
1468d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <array>
1469d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <array>
1470d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <dict>
1471d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>line</key><integer>24</integer>
1472d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>col</key><integer>7</integer>
1473d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>file</key><integer>0</integer>
1474d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         </dict>
1475d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <dict>
1476d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>line</key><integer>24</integer>
1477d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>col</key><integer>10</integer>
1478d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>file</key><integer>0</integer>
1479d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         </dict>
1480d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </array>
1481d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </array>
1482d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>depth</key><integer>1</integer>
1483d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>extended_message</key>
1484d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Division by zero</string>
1485d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>message</key>
1486d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Division by zero</string>
1487d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
1488d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    </array>
1489d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <key>description</key><string>Division by zero</string>
1490d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <key>category</key><string>Logic error</string>
1491d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <key>type</key><string>Division by zero</string>
1492d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
1493d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   <key>issue_context</key><string>causeDivByZeroInMain</string>
1494d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   <key>issue_hash</key><string>2</string>
1495d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   <key>location</key>
1496d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   <dict>
1497d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <key>line</key><integer>24</integer>
1498d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <key>col</key><integer>9</integer>
1499d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <key>file</key><integer>0</integer>
1500d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   </dict>
1501d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   </dict>
1502d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   <dict>
1503d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <key>path</key>
1504d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <array>
1505d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
1506d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>control</string>
1507d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>edges</key>
1508d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <array>
1509d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <dict>
1510d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>start</key>
1511d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
1512d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
151361dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>41</integer>
1514d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>3</integer>
1515d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1516d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1517d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
151861dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>41</integer>
1519d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>5</integer>
1520d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1521d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1522d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
1523d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>end</key>
1524d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
1525d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
152661dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>43</integer>
1527d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>3</integer>
1528d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1529d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1530d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
153161dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>43</integer>
1532d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>14</integer>
1533d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1534d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1535d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
1536d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </dict>
1537d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       </array>
1538d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
1539d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
1540d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>control</string>
1541d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>edges</key>
1542d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <array>
1543d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <dict>
1544d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>start</key>
1545d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
1546d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
154761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>43</integer>
1548d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>3</integer>
1549d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1550d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1551d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
155261dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>43</integer>
1553d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>14</integer>
1554d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1555d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1556d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
1557d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>end</key>
1558d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
1559d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
156061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>44</integer>
1561d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>3</integer>
1562d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1563d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1564d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
156561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:            <key>line</key><integer>44</integer>
1566d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>23</integer>
1567d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1568d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1569d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
1570d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </dict>
1571d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       </array>
1572d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
1573d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
1574d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
1575d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>location</key>
1576d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <dict>
157761dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:       <key>line</key><integer>44</integer>
1578d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>col</key><integer>3</integer>
1579d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>file</key><integer>0</integer>
1580d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </dict>
1581d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>ranges</key>
1582d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <array>
1583d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <array>
1584d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <dict>
158561dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>line</key><integer>44</integer>
1586d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>col</key><integer>3</integer>
1587d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>file</key><integer>0</integer>
1588d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         </dict>
1589d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <dict>
159061dfd6f160f7501e140704990db9c449d29f8649Anna Zaks// CHECK-NEXT:          <key>line</key><integer>44</integer>
1591d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>col</key><integer>26</integer>
1592d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>file</key><integer>0</integer>
1593d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         </dict>
1594d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </array>
1595d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </array>
1596d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>depth</key><integer>0</integer>
1597d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>extended_message</key>
1598d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Calling &apos;causeDivByZeroInMain2&apos;</string>
1599d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>message</key>
1600d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Calling &apos;causeDivByZeroInMain2&apos;</string>
1601d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
1602d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
1603d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
1604d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>location</key>
1605d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <dict>
1606d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>line</key><integer>34</integer>
1607d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>col</key><integer>1</integer>
1608d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>file</key><integer>0</integer>
1609d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </dict>
1610d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>depth</key><integer>1</integer>
1611d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>extended_message</key>
1612d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Entered call from &apos;mainPlustHeaderCallAndReturnPlusMain&apos;</string>
1613d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>message</key>
1614d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Entered call from &apos;mainPlustHeaderCallAndReturnPlusMain&apos;</string>
1615d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
1616d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
1617d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>control</string>
1618d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>edges</key>
1619d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <array>
1620d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <dict>
1621d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>start</key>
1622d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
1623d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1624d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>34</integer>
1625d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>1</integer>
1626d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1627d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1628d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1629d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>34</integer>
1630d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>4</integer>
1631d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1632d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1633d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
1634d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>end</key>
1635d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
1636d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1637d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>35</integer>
1638d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>3</integer>
1639d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1640d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1641d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1642d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>35</integer>
1643d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>5</integer>
1644d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1645d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1646d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
1647d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </dict>
1648d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       </array>
1649d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
1650d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
1651d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
1652d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>location</key>
1653d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <dict>
1654d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>line</key><integer>35</integer>
1655d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>col</key><integer>3</integer>
1656d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>file</key><integer>0</integer>
1657d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </dict>
1658d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>ranges</key>
1659d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <array>
1660d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <array>
1661d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <dict>
1662d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>line</key><integer>35</integer>
1663d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>col</key><integer>3</integer>
1664d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>file</key><integer>0</integer>
1665d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         </dict>
1666d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <dict>
1667d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>line</key><integer>35</integer>
1668d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>col</key><integer>8</integer>
1669d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>file</key><integer>0</integer>
1670d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         </dict>
1671d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </array>
1672d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </array>
1673d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>depth</key><integer>1</integer>
1674d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>extended_message</key>
1675d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>&apos;m2&apos; initialized to 0</string>
1676d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>message</key>
1677d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>&apos;m2&apos; initialized to 0</string>
1678d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
1679d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
1680d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>control</string>
1681d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>edges</key>
1682d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <array>
1683d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <dict>
1684d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>start</key>
1685d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
1686d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1687d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>35</integer>
1688d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>3</integer>
1689d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1690d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1691d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1692d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>35</integer>
1693d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>5</integer>
1694d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1695d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1696d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
1697d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <key>end</key>
1698d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <array>
1699d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1700d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>36</integer>
1701d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>10</integer>
1702d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1703d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1704d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           <dict>
1705d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>line</key><integer>36</integer>
1706d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>col</key><integer>10</integer>
1707d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:            <key>file</key><integer>0</integer>
1708d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:           </dict>
1709d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          </array>
1710d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </dict>
1711d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       </array>
1712d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
1713d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     <dict>
1714d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>kind</key><string>event</string>
1715d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>location</key>
1716d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <dict>
1717d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>line</key><integer>36</integer>
1718d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>col</key><integer>10</integer>
1719d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:       <key>file</key><integer>0</integer>
1720d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </dict>
1721d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>ranges</key>
1722d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <array>
1723d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        <array>
1724d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <dict>
1725d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>line</key><integer>36</integer>
1726d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>col</key><integer>8</integer>
1727d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>file</key><integer>0</integer>
1728d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         </dict>
1729d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         <dict>
1730d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>line</key><integer>36</integer>
1731d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>col</key><integer>12</integer>
1732d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:          <key>file</key><integer>0</integer>
1733d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:         </dict>
1734d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:        </array>
1735d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      </array>
1736d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>depth</key><integer>1</integer>
1737d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>extended_message</key>
1738d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Division by zero</string>
1739d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <key>message</key>
1740d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:      <string>Division by zero</string>
1741d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:     </dict>
1742d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    </array>
1743d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <key>description</key><string>Division by zero</string>
1744d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <key>category</key><string>Logic error</string>
1745d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <key>type</key><string>Division by zero</string>
1746d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
1747d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   <key>issue_context</key><string>causeDivByZeroInMain2</string>
1748d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   <key>issue_hash</key><string>2</string>
1749d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   <key>location</key>
1750d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   <dict>
1751d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <key>line</key><integer>36</integer>
1752d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <key>col</key><integer>10</integer>
1753d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:    <key>file</key><integer>0</integer>
1754d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   </dict>
1755d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:   </dict>
1756d95b70175646829c26344d5f0bda1ec3009f2a5bAnna Zaks// CHECK-NEXT:  </array>
1757