test/Analysis/inlining/path-notes.cpp

   1 // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-output=text -analyzer-config c++-inlining=destructors -std=c++11 -verify %s
   2 // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-output=plist-multi-file -analyzer-config c++-inlining=destructors -std=c++11 -analyzer-config path-diagnostics-alternate=false %s -o %t.plist
   3 // RUN: FileCheck --input-file=%t.plist %s
   4
   5 class Foo {
   6 public:
   7   static void use(int *p) {
   8     *p = 1; // expected-warning {{Dereference of null pointer (loaded from variable 'p')}}
   9     // expected-note@-1 {{Dereference of null pointer (loaded from variable 'p')}}
  10   }
  11
  12   Foo(int *p) {
  13     use(p);
  14     // expected-note@-1 {{Passing null pointer value via 1st parameter 'p'}}
  15     // expected-note@-2 {{Calling 'Foo::use'}}
  16   }
  17 };
  18
  19 static int *globalPtr;
  20
  21 class Bar {
  22 public:
  23   ~Bar() {
  24     Foo f(globalPtr);
  25     // expected-note@-1 {{Passing null pointer value via 1st parameter 'p'}}
  26     // expected-note@-2 {{Calling constructor for 'Foo'}}
  27   }
  28 };
  29
  30 void test() {
  31   Bar b;
  32   globalPtr = 0;
  33   // expected-note@-1 {{Null pointer value stored to 'globalPtr'}}
  34 } // expected-note {{Calling '~Bar'}}
  35
  36
  37 void testAnonymous() {
  38   class {
  39   public:
  40     void method(int *p) {
  41       *p = 1; // expected-warning {{Dereference of null pointer (loaded from variable 'p')}}
  42       // expected-note@-1 {{Dereference of null pointer (loaded from variable 'p')}}
  43     }
  44   } anonymous;
  45
  46   anonymous.method(0);
  47   // expected-note@-1 {{Passing null pointer value via 1st parameter 'p'}}
  48   // expected-note@-2 {{Calling 'method'}}
  49 }
  50
  51
  52 // A simplified version of std::move.
  53 template <typename T>
  54 T &&move(T &obj) {
  55   return static_cast<T &&>(obj);
  56 }
  57
  58
  59 namespace defaulted {
  60   class Dereferencer {
  61   public:
  62     Dereferencer() {
  63       *globalPtr = 1; // expected-warning {{Dereference of null pointer (loaded from variable 'globalPtr')}}
  64       // expected-note@-1 {{Dereference of null pointer (loaded from variable 'globalPtr')}}
  65     }
  66
  67     Dereferencer(const Dereferencer &Other) {
  68       *globalPtr = 1; // expected-warning {{Dereference of null pointer (loaded from variable 'globalPtr')}}
  69       // expected-note@-1 {{Dereference of null pointer (loaded from variable 'globalPtr')}}
  70     }
  71
  72     Dereferencer(Dereferencer &&Other) {
  73       *globalPtr = 1; // expected-warning {{Dereference of null pointer (loaded from variable 'globalPtr')}}
  74       // expected-note@-1 {{Dereference of null pointer (loaded from variable 'globalPtr')}}
  75     }
  76
  77     void operator=(const Dereferencer &Other) {
  78       *globalPtr = 1; // expected-warning {{Dereference of null pointer (loaded from variable 'globalPtr')}}
  79       // expected-note@-1 {{Dereference of null pointer (loaded from variable 'globalPtr')}}
  80     }
  81
  82     void operator=(Dereferencer &&Other) {
  83       *globalPtr = 1; // expected-warning {{Dereference of null pointer (loaded from variable 'globalPtr')}}
  84       // expected-note@-1 {{Dereference of null pointer (loaded from variable 'globalPtr')}}
  85     }
  86
  87     ~Dereferencer() {
  88       *globalPtr = 1; // expected-warning {{Dereference of null pointer (loaded from variable 'globalPtr')}}
  89       // expected-note@-1 {{Dereference of null pointer (loaded from variable 'globalPtr')}}
  90     }
  91   };
  92
  93   class Wrapper {
  94     Dereferencer d;
  95   };
  96
  97   class MovableWrapper {
  98     Dereferencer d;
  99   public:
 100     MovableWrapper() = default;
 101
 102     MovableWrapper(MovableWrapper &&Other) = default;
 103     // expected-note@-1 {{Calling move constructor for 'Dereferencer'}}
 104
 105     MovableWrapper &operator=(MovableWrapper &&Other) = default;
 106     // expected-note@-1 {{Calling move assignment operator for 'Dereferencer'}}
 107   };
 108
 109   void testDefaultConstruction() {
 110     globalPtr = 0;
 111     // expected-note@-1 {{Null pointer value stored to 'globalPtr'}}
 112     Wrapper w;
 113     // expected-note@-1 {{Calling implicit default constructor for 'Wrapper'}}
 114     // expected-note@-2 {{Calling default constructor for 'Dereferencer'}}
 115   }
 116
 117   void testCopyConstruction(const Wrapper &input) {
 118     globalPtr = 0;
 119     // expected-note@-1 {{Null pointer value stored to 'globalPtr'}}
 120     Wrapper w{input};
 121     // expected-note@-1 {{Calling implicit copy constructor for 'Wrapper'}}
 122     // expected-note@-2 {{Calling copy constructor for 'Dereferencer'}}
 123   }
 124
 125   void testMoveConstruction(MovableWrapper &&input) {
 126     globalPtr = 0;
 127     // expected-note@-1 {{Null pointer value stored to 'globalPtr'}}
 128     MovableWrapper w{move(input)};
 129     // expected-note@-1 {{Calling defaulted move constructor for 'MovableWrapper'}}
 130   }
 131
 132   void testCopyAssignment(const Wrapper &input) {
 133     Wrapper w;
 134     globalPtr = 0;
 135     // expected-note@-1 {{Null pointer value stored to 'globalPtr'}}
 136     w = input;
 137     // expected-note@-1 {{Calling implicit copy assignment operator for 'Wrapper'}}
 138     // expected-note@-2 {{Calling copy assignment operator for 'Dereferencer'}}
 139   }
 140
 141   void testMoveAssignment(MovableWrapper &&input) {
 142     MovableWrapper w;
 143     globalPtr = 0;
 144     // expected-note@-1 {{Null pointer value stored to 'globalPtr'}}
 145     w = move(input);
 146     // expected-note@-1 {{Calling defaulted move assignment operator for 'MovableWrapper'}}
 147   }
 148
 149   void testDestruction() {
 150     Wrapper w;
 151     globalPtr = 0;
 152     // expected-note@-1 {{Null pointer value stored to 'globalPtr'}}
 153   }
 154   // expected-note@-1 {{Calling implicit destructor for 'Wrapper'}}
 155   // expected-note@-2 {{Calling '~Dereferencer'}}
 156 }
 157
 158 namespace ReturnZeroNote {
 159   int getZero() {
 160     return 0;
 161     // expected-note@-1 {{Returning zero}}
 162   }
 163
 164   const int &getZeroByRef() {
 165     static int zeroVar;
 166     zeroVar = 0;
 167     // expected-note@-1 {{The value 0 is assigned to 'zeroVar'}}
 168     return zeroVar;
 169     // expected-note@-1 {{Returning zero (reference to 'zeroVar')}}
 170   }
 171
 172   void test() {
 173     int problem = 1 / getZero(); // expected-warning {{Division by zero}}
 174     // expected-note@-1 {{Calling 'getZero'}}
 175     // expected-note@-2 {{Returning from 'getZero'}}
 176     // expected-note@-3 {{Division by zero}}
 177   }
 178
 179   void testRef() {
 180     int problem = 1 / getZeroByRef(); // expected-warning {{Division by zero}}
 181     // expected-note@-1 {{Calling 'getZeroByRef'}}
 182     // expected-note@-2 {{Returning from 'getZeroByRef'}}
 183     // expected-note@-3 {{Division by zero}}
 184   }
 185 }
 186
 187 int &returnNullReference() {
 188   int *x = 0;
 189   // expected-note@-1 {{'x' initialized to a null pointer value}}
 190   return *x; // expected-warning{{Returning null reference}}
 191   // expected-note@-1 {{Returning null reference}}
 192 }
 193
 194 struct FooWithInitializer {
 195         int *ptr;
 196         FooWithInitializer(int *p) : ptr(p) { // expected-note {{Null pointer value stored to 'f.ptr'}}
 197                 *ptr = 1; // expected-note {{Dereference of null pointer (loaded from field 'ptr')}}
 198     // expected-warning@-1 {{Dereference of null pointer (loaded from field 'ptr')}}
 199         }
 200 };
 201
 202 void testPathNoteOnInitializer() {
 203         int *p = 0; // expected-note {{'p' initialized to a null pointer value}}
 204
 205         FooWithInitializer f(p); // expected-note {{Passing null pointer value via 1st parameter 'p'}}
 206   // expected-note@-1 {{Calling constructor for 'FooWithInitializer'}}
 207 }
 208
 209 int testNonPrintableAssignment(int **p) {
 210   int *&y = *p; // expected-note {{'y' initialized here}}
 211   y = 0;        // expected-note {{Storing null pointer value}}
 212   return *y; // expected-warning {{Dereference of null pointer (loaded from variable 'y')}}
 213              // expected-note@-1 {{Dereference of null pointer (loaded from variable 'y')}}
 214 }
 215
 216 struct Base { int *x; };
 217 struct Derived : public Base {};
 218
 219 void test(Derived d) {
 220   d.x = 0; //expected-note {{Null pointer value stored to 'd.x'}}
 221   *d.x = 1; // expected-warning {{Dereference of null pointer (loaded from field 'x')}}
 222             // expected-note@-1 {{Dereference of null pointer (loaded from field 'x')}}
 223 }
 224
 225 struct Owner {
 226         struct Wrapper {
 227                 int x;
 228         };
 229         Wrapper *arr;
 230         void testGetDerefExprOnMemberExprWithADot();
 231 };
 232
 233 void Owner::testGetDerefExprOnMemberExprWithADot() {
 234         if (arr)  // expected-note {{Assuming pointer value is null}}
 235             // expected-note@-1 {{Taking false branch}}
 236           ;
 237         arr[1].x = 1; //expected-warning {{Dereference of null pointer}}
 238                 //expected-note@-1 {{Dereference of null pointer}}
 239 }
 240
 241 void testGetDerefExprOnMemberExprWithADot() {
 242   Owner::Wrapper *arr; // expected-note {{'arr' declared without an initial value}}
 243         arr[2].x = 1; // expected-warning {{Dereference of undefined pointer value}}
 244                 // expected-note@-1 {{Dereference of undefined pointer value}}
 245 }
 246
 247
 248
 249 class A {
 250 public:
 251   void bar() const {}
 252 };
 253 const A& testDeclRefExprToReferenceInGetDerefExpr(const A *ptr) {
 254   const A& val = *ptr; //expected-note {{'val' initialized here}}
 255
 256   // This is not valid C++; if 'ptr' were null, creating 'ref' would be illegal.
 257   // However, this is not checked at runtime, so this branch is actually
 258   // possible.
 259   if (&val == 0) { //expected-note {{Assuming pointer value is null}}
 260                    // expected-note@-1 {{Taking true branch}}
 261     val.bar(); // expected-warning {{Called C++ object pointer is null}}
 262                // expected-note@-1 {{Called C++ object pointer is null}}
 263   }
 264
 265   return val;
 266 }
 267
 268 int generateNoteOnDefaultArgument(int one, int two = 0) {
 269   return one/two; // expected-warning {{Division by zero}}
 270                   // expected-note@-1 {{Division by zero}}
 271 }
 272 int callGenerateNoteOnDefaultArgument(int o) {
 273   return generateNoteOnDefaultArgument(o); //expected-note{{Calling 'generateNoteOnDefaultArgument'}}
 274                                            //expected-note@-1 {{Passing the value 0 via 2nd parameter 'two'}}
 275 }
 276
 277 namespace PR17746 {
 278   class Inner {
 279   public:
 280     ~Inner() {
 281       *(volatile int *)0 = 1; // expected-warning {{Dereference of null pointer}}
 282       // expected-note@-1 {{Dereference of null pointer}}
 283     }
 284   };
 285
 286   class Outer {
 287   public:
 288     Inner *inner;
 289     ~Outer() {
 290       delete inner;
 291       // expected-note@-1 {{Calling '~Inner'}}
 292     }
 293   };
 294
 295   void test(Outer *outer) {
 296     delete outer;
 297     // expected-note@-1 {{Calling '~Outer'}}
 298   }
 299 }
 300
 301 // CHECK:  <key>diagnostics</key>
 302 // CHECK-NEXT:  <array>
 303 // CHECK-NEXT:   <dict>
 304 // CHECK-NEXT:    <key>path</key>
 305 // CHECK-NEXT:    <array>
 306 // CHECK-NEXT:     <dict>
 307 // CHECK-NEXT:      <key>kind</key><string>control</string>
 308 // CHECK-NEXT:      <key>edges</key>
 309 // CHECK-NEXT:       <array>
 310 // CHECK-NEXT:        <dict>
 311 // CHECK-NEXT:         <key>start</key>
 312 // CHECK-NEXT:          <array>
 313 // CHECK-NEXT:           <dict>
 314 // CHECK-NEXT:            <key>line</key><integer>31</integer>
 315 // CHECK-NEXT:            <key>col</key><integer>3</integer>
 316 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 317 // CHECK-NEXT:           </dict>
 318 // CHECK-NEXT:           <dict>
 319 // CHECK-NEXT:            <key>line</key><integer>31</integer>
 320 // CHECK-NEXT:            <key>col</key><integer>5</integer>
 321 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 322 // CHECK-NEXT:           </dict>
 323 // CHECK-NEXT:          </array>
 324 // CHECK-NEXT:         <key>end</key>
 325 // CHECK-NEXT:          <array>
 326 // CHECK-NEXT:           <dict>
 327 // CHECK-NEXT:            <key>line</key><integer>31</integer>
 328 // CHECK-NEXT:            <key>col</key><integer>7</integer>
 329 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 330 // CHECK-NEXT:           </dict>
 331 // CHECK-NEXT:           <dict>
 332 // CHECK-NEXT:            <key>line</key><integer>31</integer>
 333 // CHECK-NEXT:            <key>col</key><integer>7</integer>
 334 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 335 // CHECK-NEXT:           </dict>
 336 // CHECK-NEXT:          </array>
 337 // CHECK-NEXT:        </dict>
 338 // CHECK-NEXT:       </array>
 339 // CHECK-NEXT:     </dict>
 340 // CHECK-NEXT:     <dict>
 341 // CHECK-NEXT:      <key>kind</key><string>control</string>
 342 // CHECK-NEXT:      <key>edges</key>
 343 // CHECK-NEXT:       <array>
 344 // CHECK-NEXT:        <dict>
 345 // CHECK-NEXT:         <key>start</key>
 346 // CHECK-NEXT:          <array>
 347 // CHECK-NEXT:           <dict>
 348 // CHECK-NEXT:            <key>line</key><integer>31</integer>
 349 // CHECK-NEXT:            <key>col</key><integer>7</integer>
 350 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 351 // CHECK-NEXT:           </dict>
 352 // CHECK-NEXT:           <dict>
 353 // CHECK-NEXT:            <key>line</key><integer>31</integer>
 354 // CHECK-NEXT:            <key>col</key><integer>7</integer>
 355 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 356 // CHECK-NEXT:           </dict>
 357 // CHECK-NEXT:          </array>
 358 // CHECK-NEXT:         <key>end</key>
 359 // CHECK-NEXT:          <array>
 360 // CHECK-NEXT:           <dict>
 361 // CHECK-NEXT:            <key>line</key><integer>32</integer>
 362 // CHECK-NEXT:            <key>col</key><integer>3</integer>
 363 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 364 // CHECK-NEXT:           </dict>
 365 // CHECK-NEXT:           <dict>
 366 // CHECK-NEXT:            <key>line</key><integer>32</integer>
 367 // CHECK-NEXT:            <key>col</key><integer>11</integer>
 368 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 369 // CHECK-NEXT:           </dict>
 370 // CHECK-NEXT:          </array>
 371 // CHECK-NEXT:        </dict>
 372 // CHECK-NEXT:       </array>
 373 // CHECK-NEXT:     </dict>
 374 // CHECK-NEXT:     <dict>
 375 // CHECK-NEXT:      <key>kind</key><string>event</string>
 376 // CHECK-NEXT:      <key>location</key>
 377 // CHECK-NEXT:      <dict>
 378 // CHECK-NEXT:       <key>line</key><integer>32</integer>
 379 // CHECK-NEXT:       <key>col</key><integer>3</integer>
 380 // CHECK-NEXT:       <key>file</key><integer>0</integer>
 381 // CHECK-NEXT:      </dict>
 382 // CHECK-NEXT:      <key>ranges</key>
 383 // CHECK-NEXT:      <array>
 384 // CHECK-NEXT:        <array>
 385 // CHECK-NEXT:         <dict>
 386 // CHECK-NEXT:          <key>line</key><integer>32</integer>
 387 // CHECK-NEXT:          <key>col</key><integer>3</integer>
 388 // CHECK-NEXT:          <key>file</key><integer>0</integer>
 389 // CHECK-NEXT:         </dict>
 390 // CHECK-NEXT:         <dict>
 391 // CHECK-NEXT:          <key>line</key><integer>32</integer>
 392 // CHECK-NEXT:          <key>col</key><integer>15</integer>
 393 // CHECK-NEXT:          <key>file</key><integer>0</integer>
 394 // CHECK-NEXT:         </dict>
 395 // CHECK-NEXT:        </array>
 396 // CHECK-NEXT:      </array>
 397 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
 398 // CHECK-NEXT:      <key>extended_message</key>
 399 // CHECK-NEXT:      <string>Null pointer value stored to &apos;globalPtr&apos;</string>
 400 // CHECK-NEXT:      <key>message</key>
 401 // CHECK-NEXT:      <string>Null pointer value stored to &apos;globalPtr&apos;</string>
 402 // CHECK-NEXT:     </dict>
 403 // CHECK-NEXT:     <dict>
 404 // CHECK-NEXT:      <key>kind</key><string>control</string>
 405 // CHECK-NEXT:      <key>edges</key>
 406 // CHECK-NEXT:       <array>
 407 // CHECK-NEXT:        <dict>
 408 // CHECK-NEXT:         <key>start</key>
 409 // CHECK-NEXT:          <array>
 410 // CHECK-NEXT:           <dict>
 411 // CHECK-NEXT:            <key>line</key><integer>32</integer>
 412 // CHECK-NEXT:            <key>col</key><integer>3</integer>
 413 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 414 // CHECK-NEXT:           </dict>
 415 // CHECK-NEXT:           <dict>
 416 // CHECK-NEXT:            <key>line</key><integer>32</integer>
 417 // CHECK-NEXT:            <key>col</key><integer>11</integer>
 418 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 419 // CHECK-NEXT:           </dict>
 420 // CHECK-NEXT:          </array>
 421 // CHECK-NEXT:         <key>end</key>
 422 // CHECK-NEXT:          <array>
 423 // CHECK-NEXT:           <dict>
 424 // CHECK-NEXT:            <key>line</key><integer>34</integer>
 425 // CHECK-NEXT:            <key>col</key><integer>1</integer>
 426 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 427 // CHECK-NEXT:           </dict>
 428 // CHECK-NEXT:           <dict>
 429 // CHECK-NEXT:            <key>line</key><integer>34</integer>
 430 // CHECK-NEXT:            <key>col</key><integer>1</integer>
 431 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 432 // CHECK-NEXT:           </dict>
 433 // CHECK-NEXT:          </array>
 434 // CHECK-NEXT:        </dict>
 435 // CHECK-NEXT:       </array>
 436 // CHECK-NEXT:     </dict>
 437 // CHECK-NEXT:     <dict>
 438 // CHECK-NEXT:      <key>kind</key><string>event</string>
 439 // CHECK-NEXT:      <key>location</key>
 440 // CHECK-NEXT:      <dict>
 441 // CHECK-NEXT:       <key>line</key><integer>34</integer>
 442 // CHECK-NEXT:       <key>col</key><integer>1</integer>
 443 // CHECK-NEXT:       <key>file</key><integer>0</integer>
 444 // CHECK-NEXT:      </dict>
 445 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
 446 // CHECK-NEXT:      <key>extended_message</key>
 447 // CHECK-NEXT:      <string>Calling &apos;~Bar&apos;</string>
 448 // CHECK-NEXT:      <key>message</key>
 449 // CHECK-NEXT:      <string>Calling &apos;~Bar&apos;</string>
 450 // CHECK-NEXT:     </dict>
 451 // CHECK-NEXT:     <dict>
 452 // CHECK-NEXT:      <key>kind</key><string>event</string>
 453 // CHECK-NEXT:      <key>location</key>
 454 // CHECK-NEXT:      <dict>
 455 // CHECK-NEXT:       <key>line</key><integer>23</integer>
 456 // CHECK-NEXT:       <key>col</key><integer>3</integer>
 457 // CHECK-NEXT:       <key>file</key><integer>0</integer>
 458 // CHECK-NEXT:      </dict>
 459 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
 460 // CHECK-NEXT:      <key>extended_message</key>
 461 // CHECK-NEXT:      <string>Entered call from &apos;test&apos;</string>
 462 // CHECK-NEXT:      <key>message</key>
 463 // CHECK-NEXT:      <string>Entered call from &apos;test&apos;</string>
 464 // CHECK-NEXT:     </dict>
 465 // CHECK-NEXT:     <dict>
 466 // CHECK-NEXT:      <key>kind</key><string>control</string>
 467 // CHECK-NEXT:      <key>edges</key>
 468 // CHECK-NEXT:       <array>
 469 // CHECK-NEXT:        <dict>
 470 // CHECK-NEXT:         <key>start</key>
 471 // CHECK-NEXT:          <array>
 472 // CHECK-NEXT:           <dict>
 473 // CHECK-NEXT:            <key>line</key><integer>23</integer>
 474 // CHECK-NEXT:            <key>col</key><integer>3</integer>
 475 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 476 // CHECK-NEXT:           </dict>
 477 // CHECK-NEXT:           <dict>
 478 // CHECK-NEXT:            <key>line</key><integer>23</integer>
 479 // CHECK-NEXT:            <key>col</key><integer>3</integer>
 480 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 481 // CHECK-NEXT:           </dict>
 482 // CHECK-NEXT:          </array>
 483 // CHECK-NEXT:         <key>end</key>
 484 // CHECK-NEXT:          <array>
 485 // CHECK-NEXT:           <dict>
 486 // CHECK-NEXT:            <key>line</key><integer>24</integer>
 487 // CHECK-NEXT:            <key>col</key><integer>5</integer>
 488 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 489 // CHECK-NEXT:           </dict>
 490 // CHECK-NEXT:           <dict>
 491 // CHECK-NEXT:            <key>line</key><integer>24</integer>
 492 // CHECK-NEXT:            <key>col</key><integer>7</integer>
 493 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 494 // CHECK-NEXT:           </dict>
 495 // CHECK-NEXT:          </array>
 496 // CHECK-NEXT:        </dict>
 497 // CHECK-NEXT:       </array>
 498 // CHECK-NEXT:     </dict>
 499 // CHECK-NEXT:     <dict>
 500 // CHECK-NEXT:      <key>kind</key><string>control</string>
 501 // CHECK-NEXT:      <key>edges</key>
 502 // CHECK-NEXT:       <array>
 503 // CHECK-NEXT:        <dict>
 504 // CHECK-NEXT:         <key>start</key>
 505 // CHECK-NEXT:          <array>
 506 // CHECK-NEXT:           <dict>
 507 // CHECK-NEXT:            <key>line</key><integer>24</integer>
 508 // CHECK-NEXT:            <key>col</key><integer>5</integer>
 509 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 510 // CHECK-NEXT:           </dict>
 511 // CHECK-NEXT:           <dict>
 512 // CHECK-NEXT:            <key>line</key><integer>24</integer>
 513 // CHECK-NEXT:            <key>col</key><integer>7</integer>
 514 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 515 // CHECK-NEXT:           </dict>
 516 // CHECK-NEXT:          </array>
 517 // CHECK-NEXT:         <key>end</key>
 518 // CHECK-NEXT:          <array>
 519 // CHECK-NEXT:           <dict>
 520 // CHECK-NEXT:            <key>line</key><integer>24</integer>
 521 // CHECK-NEXT:            <key>col</key><integer>11</integer>
 522 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 523 // CHECK-NEXT:           </dict>
 524 // CHECK-NEXT:           <dict>
 525 // CHECK-NEXT:            <key>line</key><integer>24</integer>
 526 // CHECK-NEXT:            <key>col</key><integer>19</integer>
 527 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 528 // CHECK-NEXT:           </dict>
 529 // CHECK-NEXT:          </array>
 530 // CHECK-NEXT:        </dict>
 531 // CHECK-NEXT:       </array>
 532 // CHECK-NEXT:     </dict>
 533 // CHECK-NEXT:     <dict>
 534 // CHECK-NEXT:      <key>kind</key><string>event</string>
 535 // CHECK-NEXT:      <key>location</key>
 536 // CHECK-NEXT:      <dict>
 537 // CHECK-NEXT:       <key>line</key><integer>24</integer>
 538 // CHECK-NEXT:       <key>col</key><integer>11</integer>
 539 // CHECK-NEXT:       <key>file</key><integer>0</integer>
 540 // CHECK-NEXT:      </dict>
 541 // CHECK-NEXT:      <key>ranges</key>
 542 // CHECK-NEXT:      <array>
 543 // CHECK-NEXT:        <array>
 544 // CHECK-NEXT:         <dict>
 545 // CHECK-NEXT:          <key>line</key><integer>24</integer>
 546 // CHECK-NEXT:          <key>col</key><integer>11</integer>
 547 // CHECK-NEXT:          <key>file</key><integer>0</integer>
 548 // CHECK-NEXT:         </dict>
 549 // CHECK-NEXT:         <dict>
 550 // CHECK-NEXT:          <key>line</key><integer>24</integer>
 551 // CHECK-NEXT:          <key>col</key><integer>19</integer>
 552 // CHECK-NEXT:          <key>file</key><integer>0</integer>
 553 // CHECK-NEXT:         </dict>
 554 // CHECK-NEXT:        </array>
 555 // CHECK-NEXT:      </array>
 556 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
 557 // CHECK-NEXT:      <key>extended_message</key>
 558 // CHECK-NEXT:      <string>Passing null pointer value via 1st parameter &apos;p&apos;</string>
 559 // CHECK-NEXT:      <key>message</key>
 560 // CHECK-NEXT:      <string>Passing null pointer value via 1st parameter &apos;p&apos;</string>
 561 // CHECK-NEXT:     </dict>
 562 // CHECK-NEXT:     <dict>
 563 // CHECK-NEXT:      <key>kind</key><string>control</string>
 564 // CHECK-NEXT:      <key>edges</key>
 565 // CHECK-NEXT:       <array>
 566 // CHECK-NEXT:        <dict>
 567 // CHECK-NEXT:         <key>start</key>
 568 // CHECK-NEXT:          <array>
 569 // CHECK-NEXT:           <dict>
 570 // CHECK-NEXT:            <key>line</key><integer>24</integer>
 571 // CHECK-NEXT:            <key>col</key><integer>11</integer>
 572 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 573 // CHECK-NEXT:           </dict>
 574 // CHECK-NEXT:           <dict>
 575 // CHECK-NEXT:            <key>line</key><integer>24</integer>
 576 // CHECK-NEXT:            <key>col</key><integer>19</integer>
 577 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 578 // CHECK-NEXT:           </dict>
 579 // CHECK-NEXT:          </array>
 580 // CHECK-NEXT:         <key>end</key>
 581 // CHECK-NEXT:          <array>
 582 // CHECK-NEXT:           <dict>
 583 // CHECK-NEXT:            <key>line</key><integer>24</integer>
 584 // CHECK-NEXT:            <key>col</key><integer>9</integer>
 585 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 586 // CHECK-NEXT:           </dict>
 587 // CHECK-NEXT:           <dict>
 588 // CHECK-NEXT:            <key>line</key><integer>24</integer>
 589 // CHECK-NEXT:            <key>col</key><integer>9</integer>
 590 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 591 // CHECK-NEXT:           </dict>
 592 // CHECK-NEXT:          </array>
 593 // CHECK-NEXT:        </dict>
 594 // CHECK-NEXT:       </array>
 595 // CHECK-NEXT:     </dict>
 596 // CHECK-NEXT:     <dict>
 597 // CHECK-NEXT:      <key>kind</key><string>event</string>
 598 // CHECK-NEXT:      <key>location</key>
 599 // CHECK-NEXT:      <dict>
 600 // CHECK-NEXT:       <key>line</key><integer>24</integer>
 601 // CHECK-NEXT:       <key>col</key><integer>9</integer>
 602 // CHECK-NEXT:       <key>file</key><integer>0</integer>
 603 // CHECK-NEXT:      </dict>
 604 // CHECK-NEXT:      <key>ranges</key>
 605 // CHECK-NEXT:      <array>
 606 // CHECK-NEXT:        <array>
 607 // CHECK-NEXT:         <dict>
 608 // CHECK-NEXT:          <key>line</key><integer>24</integer>
 609 // CHECK-NEXT:          <key>col</key><integer>9</integer>
 610 // CHECK-NEXT:          <key>file</key><integer>0</integer>
 611 // CHECK-NEXT:         </dict>
 612 // CHECK-NEXT:         <dict>
 613 // CHECK-NEXT:          <key>line</key><integer>24</integer>
 614 // CHECK-NEXT:          <key>col</key><integer>20</integer>
 615 // CHECK-NEXT:          <key>file</key><integer>0</integer>
 616 // CHECK-NEXT:         </dict>
 617 // CHECK-NEXT:        </array>
 618 // CHECK-NEXT:      </array>
 619 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
 620 // CHECK-NEXT:      <key>extended_message</key>
 621 // CHECK-NEXT:      <string>Calling constructor for &apos;Foo&apos;</string>
 622 // CHECK-NEXT:      <key>message</key>
 623 // CHECK-NEXT:      <string>Calling constructor for &apos;Foo&apos;</string>
 624 // CHECK-NEXT:     </dict>
 625 // CHECK-NEXT:     <dict>
 626 // CHECK-NEXT:      <key>kind</key><string>event</string>
 627 // CHECK-NEXT:      <key>location</key>
 628 // CHECK-NEXT:      <dict>
 629 // CHECK-NEXT:       <key>line</key><integer>12</integer>
 630 // CHECK-NEXT:       <key>col</key><integer>3</integer>
 631 // CHECK-NEXT:       <key>file</key><integer>0</integer>
 632 // CHECK-NEXT:      </dict>
 633 // CHECK-NEXT:      <key>depth</key><integer>2</integer>
 634 // CHECK-NEXT:      <key>extended_message</key>
 635 // CHECK-NEXT:      <string>Entered call from &apos;~Bar&apos;</string>
 636 // CHECK-NEXT:      <key>message</key>
 637 // CHECK-NEXT:      <string>Entered call from &apos;~Bar&apos;</string>
 638 // CHECK-NEXT:     </dict>
 639 // CHECK-NEXT:     <dict>
 640 // CHECK-NEXT:      <key>kind</key><string>control</string>
 641 // CHECK-NEXT:      <key>edges</key>
 642 // CHECK-NEXT:       <array>
 643 // CHECK-NEXT:        <dict>
 644 // CHECK-NEXT:         <key>start</key>
 645 // CHECK-NEXT:          <array>
 646 // CHECK-NEXT:           <dict>
 647 // CHECK-NEXT:            <key>line</key><integer>12</integer>
 648 // CHECK-NEXT:            <key>col</key><integer>3</integer>
 649 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 650 // CHECK-NEXT:           </dict>
 651 // CHECK-NEXT:           <dict>
 652 // CHECK-NEXT:            <key>line</key><integer>12</integer>
 653 // CHECK-NEXT:            <key>col</key><integer>5</integer>
 654 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 655 // CHECK-NEXT:           </dict>
 656 // CHECK-NEXT:          </array>
 657 // CHECK-NEXT:         <key>end</key>
 658 // CHECK-NEXT:          <array>
 659 // CHECK-NEXT:           <dict>
 660 // CHECK-NEXT:            <key>line</key><integer>13</integer>
 661 // CHECK-NEXT:            <key>col</key><integer>5</integer>
 662 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 663 // CHECK-NEXT:           </dict>
 664 // CHECK-NEXT:           <dict>
 665 // CHECK-NEXT:            <key>line</key><integer>13</integer>
 666 // CHECK-NEXT:            <key>col</key><integer>7</integer>
 667 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 668 // CHECK-NEXT:           </dict>
 669 // CHECK-NEXT:          </array>
 670 // CHECK-NEXT:        </dict>
 671 // CHECK-NEXT:       </array>
 672 // CHECK-NEXT:     </dict>
 673 // CHECK-NEXT:     <dict>
 674 // CHECK-NEXT:      <key>kind</key><string>control</string>
 675 // CHECK-NEXT:      <key>edges</key>
 676 // CHECK-NEXT:       <array>
 677 // CHECK-NEXT:        <dict>
 678 // CHECK-NEXT:         <key>start</key>
 679 // CHECK-NEXT:          <array>
 680 // CHECK-NEXT:           <dict>
 681 // CHECK-NEXT:            <key>line</key><integer>13</integer>
 682 // CHECK-NEXT:            <key>col</key><integer>5</integer>
 683 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 684 // CHECK-NEXT:           </dict>
 685 // CHECK-NEXT:           <dict>
 686 // CHECK-NEXT:            <key>line</key><integer>13</integer>
 687 // CHECK-NEXT:            <key>col</key><integer>7</integer>
 688 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 689 // CHECK-NEXT:           </dict>
 690 // CHECK-NEXT:          </array>
 691 // CHECK-NEXT:         <key>end</key>
 692 // CHECK-NEXT:          <array>
 693 // CHECK-NEXT:           <dict>
 694 // CHECK-NEXT:            <key>line</key><integer>13</integer>
 695 // CHECK-NEXT:            <key>col</key><integer>9</integer>
 696 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 697 // CHECK-NEXT:           </dict>
 698 // CHECK-NEXT:           <dict>
 699 // CHECK-NEXT:            <key>line</key><integer>13</integer>
 700 // CHECK-NEXT:            <key>col</key><integer>9</integer>
 701 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 702 // CHECK-NEXT:           </dict>
 703 // CHECK-NEXT:          </array>
 704 // CHECK-NEXT:        </dict>
 705 // CHECK-NEXT:       </array>
 706 // CHECK-NEXT:     </dict>
 707 // CHECK-NEXT:     <dict>
 708 // CHECK-NEXT:      <key>kind</key><string>event</string>
 709 // CHECK-NEXT:      <key>location</key>
 710 // CHECK-NEXT:      <dict>
 711 // CHECK-NEXT:       <key>line</key><integer>13</integer>
 712 // CHECK-NEXT:       <key>col</key><integer>9</integer>
 713 // CHECK-NEXT:       <key>file</key><integer>0</integer>
 714 // CHECK-NEXT:      </dict>
 715 // CHECK-NEXT:      <key>ranges</key>
 716 // CHECK-NEXT:      <array>
 717 // CHECK-NEXT:        <array>
 718 // CHECK-NEXT:         <dict>
 719 // CHECK-NEXT:          <key>line</key><integer>13</integer>
 720 // CHECK-NEXT:          <key>col</key><integer>9</integer>
 721 // CHECK-NEXT:          <key>file</key><integer>0</integer>
 722 // CHECK-NEXT:         </dict>
 723 // CHECK-NEXT:         <dict>
 724 // CHECK-NEXT:          <key>line</key><integer>13</integer>
 725 // CHECK-NEXT:          <key>col</key><integer>9</integer>
 726 // CHECK-NEXT:          <key>file</key><integer>0</integer>
 727 // CHECK-NEXT:         </dict>
 728 // CHECK-NEXT:        </array>
 729 // CHECK-NEXT:      </array>
 730 // CHECK-NEXT:      <key>depth</key><integer>2</integer>
 731 // CHECK-NEXT:      <key>extended_message</key>
 732 // CHECK-NEXT:      <string>Passing null pointer value via 1st parameter &apos;p&apos;</string>
 733 // CHECK-NEXT:      <key>message</key>
 734 // CHECK-NEXT:      <string>Passing null pointer value via 1st parameter &apos;p&apos;</string>
 735 // CHECK-NEXT:     </dict>
 736 // CHECK-NEXT:     <dict>
 737 // CHECK-NEXT:      <key>kind</key><string>event</string>
 738 // CHECK-NEXT:      <key>location</key>
 739 // CHECK-NEXT:      <dict>
 740 // CHECK-NEXT:       <key>line</key><integer>13</integer>
 741 // CHECK-NEXT:       <key>col</key><integer>5</integer>
 742 // CHECK-NEXT:       <key>file</key><integer>0</integer>
 743 // CHECK-NEXT:      </dict>
 744 // CHECK-NEXT:      <key>ranges</key>
 745 // CHECK-NEXT:      <array>
 746 // CHECK-NEXT:        <array>
 747 // CHECK-NEXT:         <dict>
 748 // CHECK-NEXT:          <key>line</key><integer>13</integer>
 749 // CHECK-NEXT:          <key>col</key><integer>5</integer>
 750 // CHECK-NEXT:          <key>file</key><integer>0</integer>
 751 // CHECK-NEXT:         </dict>
 752 // CHECK-NEXT:         <dict>
 753 // CHECK-NEXT:          <key>line</key><integer>13</integer>
 754 // CHECK-NEXT:          <key>col</key><integer>10</integer>
 755 // CHECK-NEXT:          <key>file</key><integer>0</integer>
 756 // CHECK-NEXT:         </dict>
 757 // CHECK-NEXT:        </array>
 758 // CHECK-NEXT:      </array>
 759 // CHECK-NEXT:      <key>depth</key><integer>2</integer>
 760 // CHECK-NEXT:      <key>extended_message</key>
 761 // CHECK-NEXT:      <string>Calling &apos;Foo::use&apos;</string>
 762 // CHECK-NEXT:      <key>message</key>
 763 // CHECK-NEXT:      <string>Calling &apos;Foo::use&apos;</string>
 764 // CHECK-NEXT:     </dict>
 765 // CHECK-NEXT:     <dict>
 766 // CHECK-NEXT:      <key>kind</key><string>event</string>
 767 // CHECK-NEXT:      <key>location</key>
 768 // CHECK-NEXT:      <dict>
 769 // CHECK-NEXT:       <key>line</key><integer>7</integer>
 770 // CHECK-NEXT:       <key>col</key><integer>3</integer>
 771 // CHECK-NEXT:       <key>file</key><integer>0</integer>
 772 // CHECK-NEXT:      </dict>
 773 // CHECK-NEXT:      <key>depth</key><integer>3</integer>
 774 // CHECK-NEXT:      <key>extended_message</key>
 775 // CHECK-NEXT:      <string>Entered call from constructor for &apos;Foo&apos;</string>
 776 // CHECK-NEXT:      <key>message</key>
 777 // CHECK-NEXT:      <string>Entered call from constructor for &apos;Foo&apos;</string>
 778 // CHECK-NEXT:     </dict>
 779 // CHECK-NEXT:     <dict>
 780 // CHECK-NEXT:      <key>kind</key><string>control</string>
 781 // CHECK-NEXT:      <key>edges</key>
 782 // CHECK-NEXT:       <array>
 783 // CHECK-NEXT:        <dict>
 784 // CHECK-NEXT:         <key>start</key>
 785 // CHECK-NEXT:          <array>
 786 // CHECK-NEXT:           <dict>
 787 // CHECK-NEXT:            <key>line</key><integer>7</integer>
 788 // CHECK-NEXT:            <key>col</key><integer>3</integer>
 789 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 790 // CHECK-NEXT:           </dict>
 791 // CHECK-NEXT:           <dict>
 792 // CHECK-NEXT:            <key>line</key><integer>7</integer>
 793 // CHECK-NEXT:            <key>col</key><integer>8</integer>
 794 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 795 // CHECK-NEXT:           </dict>
 796 // CHECK-NEXT:          </array>
 797 // CHECK-NEXT:         <key>end</key>
 798 // CHECK-NEXT:          <array>
 799 // CHECK-NEXT:           <dict>
 800 // CHECK-NEXT:            <key>line</key><integer>8</integer>
 801 // CHECK-NEXT:            <key>col</key><integer>5</integer>
 802 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 803 // CHECK-NEXT:           </dict>
 804 // CHECK-NEXT:           <dict>
 805 // CHECK-NEXT:            <key>line</key><integer>8</integer>
 806 // CHECK-NEXT:            <key>col</key><integer>5</integer>
 807 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 808 // CHECK-NEXT:           </dict>
 809 // CHECK-NEXT:          </array>
 810 // CHECK-NEXT:        </dict>
 811 // CHECK-NEXT:       </array>
 812 // CHECK-NEXT:     </dict>
 813 // CHECK-NEXT:     <dict>
 814 // CHECK-NEXT:      <key>kind</key><string>control</string>
 815 // CHECK-NEXT:      <key>edges</key>
 816 // CHECK-NEXT:       <array>
 817 // CHECK-NEXT:        <dict>
 818 // CHECK-NEXT:         <key>start</key>
 819 // CHECK-NEXT:          <array>
 820 // CHECK-NEXT:           <dict>
 821 // CHECK-NEXT:            <key>line</key><integer>8</integer>
 822 // CHECK-NEXT:            <key>col</key><integer>5</integer>
 823 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 824 // CHECK-NEXT:           </dict>
 825 // CHECK-NEXT:           <dict>
 826 // CHECK-NEXT:            <key>line</key><integer>8</integer>
 827 // CHECK-NEXT:            <key>col</key><integer>5</integer>
 828 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 829 // CHECK-NEXT:           </dict>
 830 // CHECK-NEXT:          </array>
 831 // CHECK-NEXT:         <key>end</key>
 832 // CHECK-NEXT:          <array>
 833 // CHECK-NEXT:           <dict>
 834 // CHECK-NEXT:            <key>line</key><integer>8</integer>
 835 // CHECK-NEXT:            <key>col</key><integer>8</integer>
 836 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 837 // CHECK-NEXT:           </dict>
 838 // CHECK-NEXT:           <dict>
 839 // CHECK-NEXT:            <key>line</key><integer>8</integer>
 840 // CHECK-NEXT:            <key>col</key><integer>8</integer>
 841 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 842 // CHECK-NEXT:           </dict>
 843 // CHECK-NEXT:          </array>
 844 // CHECK-NEXT:        </dict>
 845 // CHECK-NEXT:       </array>
 846 // CHECK-NEXT:     </dict>
 847 // CHECK-NEXT:     <dict>
 848 // CHECK-NEXT:      <key>kind</key><string>event</string>
 849 // CHECK-NEXT:      <key>location</key>
 850 // CHECK-NEXT:      <dict>
 851 // CHECK-NEXT:       <key>line</key><integer>8</integer>
 852 // CHECK-NEXT:       <key>col</key><integer>8</integer>
 853 // CHECK-NEXT:       <key>file</key><integer>0</integer>
 854 // CHECK-NEXT:      </dict>
 855 // CHECK-NEXT:      <key>ranges</key>
 856 // CHECK-NEXT:      <array>
 857 // CHECK-NEXT:        <array>
 858 // CHECK-NEXT:         <dict>
 859 // CHECK-NEXT:          <key>line</key><integer>8</integer>
 860 // CHECK-NEXT:          <key>col</key><integer>6</integer>
 861 // CHECK-NEXT:          <key>file</key><integer>0</integer>
 862 // CHECK-NEXT:         </dict>
 863 // CHECK-NEXT:         <dict>
 864 // CHECK-NEXT:          <key>line</key><integer>8</integer>
 865 // CHECK-NEXT:          <key>col</key><integer>6</integer>
 866 // CHECK-NEXT:          <key>file</key><integer>0</integer>
 867 // CHECK-NEXT:         </dict>
 868 // CHECK-NEXT:        </array>
 869 // CHECK-NEXT:      </array>
 870 // CHECK-NEXT:      <key>depth</key><integer>3</integer>
 871 // CHECK-NEXT:      <key>extended_message</key>
 872 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
 873 // CHECK-NEXT:      <key>message</key>
 874 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
 875 // CHECK-NEXT:     </dict>
 876 // CHECK-NEXT:    </array>
 877 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
 878 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
 879 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
 880 // CHECK-NEXT:   <key>issue_context_kind</key><string>C++ method</string>
 881 // CHECK-NEXT:   <key>issue_context</key><string>use</string>
 882 // CHECK-NEXT:   <key>issue_hash</key><string>1</string>
 883 // CHECK-NEXT:   <key>location</key>
 884 // CHECK-NEXT:   <dict>
 885 // CHECK-NEXT:    <key>line</key><integer>8</integer>
 886 // CHECK-NEXT:    <key>col</key><integer>8</integer>
 887 // CHECK-NEXT:    <key>file</key><integer>0</integer>
 888 // CHECK-NEXT:   </dict>
 889 // CHECK-NEXT:   </dict>
 890 // CHECK-NEXT:   <dict>
 891 // CHECK-NEXT:    <key>path</key>
 892 // CHECK-NEXT:    <array>
 893 // CHECK-NEXT:     <dict>
 894 // CHECK-NEXT:      <key>kind</key><string>control</string>
 895 // CHECK-NEXT:      <key>edges</key>
 896 // CHECK-NEXT:       <array>
 897 // CHECK-NEXT:        <dict>
 898 // CHECK-NEXT:         <key>start</key>
 899 // CHECK-NEXT:          <array>
 900 // CHECK-NEXT:           <dict>
 901 // CHECK-NEXT:            <key>line</key><integer>38</integer>
 902 // CHECK-NEXT:            <key>col</key><integer>3</integer>
 903 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 904 // CHECK-NEXT:           </dict>
 905 // CHECK-NEXT:           <dict>
 906 // CHECK-NEXT:            <key>line</key><integer>38</integer>
 907 // CHECK-NEXT:            <key>col</key><integer>7</integer>
 908 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 909 // CHECK-NEXT:           </dict>
 910 // CHECK-NEXT:          </array>
 911 // CHECK-NEXT:         <key>end</key>
 912 // CHECK-NEXT:          <array>
 913 // CHECK-NEXT:           <dict>
 914 // CHECK-NEXT:            <key>line</key><integer>44</integer>
 915 // CHECK-NEXT:            <key>col</key><integer>5</integer>
 916 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 917 // CHECK-NEXT:           </dict>
 918 // CHECK-NEXT:           <dict>
 919 // CHECK-NEXT:            <key>line</key><integer>44</integer>
 920 // CHECK-NEXT:            <key>col</key><integer>13</integer>
 921 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 922 // CHECK-NEXT:           </dict>
 923 // CHECK-NEXT:          </array>
 924 // CHECK-NEXT:        </dict>
 925 // CHECK-NEXT:       </array>
 926 // CHECK-NEXT:     </dict>
 927 // CHECK-NEXT:     <dict>
 928 // CHECK-NEXT:      <key>kind</key><string>control</string>
 929 // CHECK-NEXT:      <key>edges</key>
 930 // CHECK-NEXT:       <array>
 931 // CHECK-NEXT:        <dict>
 932 // CHECK-NEXT:         <key>start</key>
 933 // CHECK-NEXT:          <array>
 934 // CHECK-NEXT:           <dict>
 935 // CHECK-NEXT:            <key>line</key><integer>44</integer>
 936 // CHECK-NEXT:            <key>col</key><integer>5</integer>
 937 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 938 // CHECK-NEXT:           </dict>
 939 // CHECK-NEXT:           <dict>
 940 // CHECK-NEXT:            <key>line</key><integer>44</integer>
 941 // CHECK-NEXT:            <key>col</key><integer>13</integer>
 942 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 943 // CHECK-NEXT:           </dict>
 944 // CHECK-NEXT:          </array>
 945 // CHECK-NEXT:         <key>end</key>
 946 // CHECK-NEXT:          <array>
 947 // CHECK-NEXT:           <dict>
 948 // CHECK-NEXT:            <key>line</key><integer>46</integer>
 949 // CHECK-NEXT:            <key>col</key><integer>3</integer>
 950 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 951 // CHECK-NEXT:           </dict>
 952 // CHECK-NEXT:           <dict>
 953 // CHECK-NEXT:            <key>line</key><integer>46</integer>
 954 // CHECK-NEXT:            <key>col</key><integer>11</integer>
 955 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 956 // CHECK-NEXT:           </dict>
 957 // CHECK-NEXT:          </array>
 958 // CHECK-NEXT:        </dict>
 959 // CHECK-NEXT:       </array>
 960 // CHECK-NEXT:     </dict>
 961 // CHECK-NEXT:     <dict>
 962 // CHECK-NEXT:      <key>kind</key><string>control</string>
 963 // CHECK-NEXT:      <key>edges</key>
 964 // CHECK-NEXT:       <array>
 965 // CHECK-NEXT:        <dict>
 966 // CHECK-NEXT:         <key>start</key>
 967 // CHECK-NEXT:          <array>
 968 // CHECK-NEXT:           <dict>
 969 // CHECK-NEXT:            <key>line</key><integer>46</integer>
 970 // CHECK-NEXT:            <key>col</key><integer>3</integer>
 971 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 972 // CHECK-NEXT:           </dict>
 973 // CHECK-NEXT:           <dict>
 974 // CHECK-NEXT:            <key>line</key><integer>46</integer>
 975 // CHECK-NEXT:            <key>col</key><integer>11</integer>
 976 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 977 // CHECK-NEXT:           </dict>
 978 // CHECK-NEXT:          </array>
 979 // CHECK-NEXT:         <key>end</key>
 980 // CHECK-NEXT:          <array>
 981 // CHECK-NEXT:           <dict>
 982 // CHECK-NEXT:            <key>line</key><integer>46</integer>
 983 // CHECK-NEXT:            <key>col</key><integer>20</integer>
 984 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 985 // CHECK-NEXT:           </dict>
 986 // CHECK-NEXT:           <dict>
 987 // CHECK-NEXT:            <key>line</key><integer>46</integer>
 988 // CHECK-NEXT:            <key>col</key><integer>20</integer>
 989 // CHECK-NEXT:            <key>file</key><integer>0</integer>
 990 // CHECK-NEXT:           </dict>
 991 // CHECK-NEXT:          </array>
 992 // CHECK-NEXT:        </dict>
 993 // CHECK-NEXT:       </array>
 994 // CHECK-NEXT:     </dict>
 995 // CHECK-NEXT:     <dict>
 996 // CHECK-NEXT:      <key>kind</key><string>event</string>
 997 // CHECK-NEXT:      <key>location</key>
 998 // CHECK-NEXT:      <dict>
 999 // CHECK-NEXT:       <key>line</key><integer>46</integer>
1000 // CHECK-NEXT:       <key>col</key><integer>20</integer>
1001 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1002 // CHECK-NEXT:      </dict>
1003 // CHECK-NEXT:      <key>ranges</key>
1004 // CHECK-NEXT:      <array>
1005 // CHECK-NEXT:        <array>
1006 // CHECK-NEXT:         <dict>
1007 // CHECK-NEXT:          <key>line</key><integer>46</integer>
1008 // CHECK-NEXT:          <key>col</key><integer>20</integer>
1009 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1010 // CHECK-NEXT:         </dict>
1011 // CHECK-NEXT:         <dict>
1012 // CHECK-NEXT:          <key>line</key><integer>46</integer>
1013 // CHECK-NEXT:          <key>col</key><integer>20</integer>
1014 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1015 // CHECK-NEXT:         </dict>
1016 // CHECK-NEXT:        </array>
1017 // CHECK-NEXT:      </array>
1018 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
1019 // CHECK-NEXT:      <key>extended_message</key>
1020 // CHECK-NEXT:      <string>Passing null pointer value via 1st parameter &apos;p&apos;</string>
1021 // CHECK-NEXT:      <key>message</key>
1022 // CHECK-NEXT:      <string>Passing null pointer value via 1st parameter &apos;p&apos;</string>
1023 // CHECK-NEXT:     </dict>
1024 // CHECK-NEXT:     <dict>
1025 // CHECK-NEXT:      <key>kind</key><string>event</string>
1026 // CHECK-NEXT:      <key>location</key>
1027 // CHECK-NEXT:      <dict>
1028 // CHECK-NEXT:       <key>line</key><integer>46</integer>
1029 // CHECK-NEXT:       <key>col</key><integer>3</integer>
1030 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1031 // CHECK-NEXT:      </dict>
1032 // CHECK-NEXT:      <key>ranges</key>
1033 // CHECK-NEXT:      <array>
1034 // CHECK-NEXT:        <array>
1035 // CHECK-NEXT:         <dict>
1036 // CHECK-NEXT:          <key>line</key><integer>46</integer>
1037 // CHECK-NEXT:          <key>col</key><integer>3</integer>
1038 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1039 // CHECK-NEXT:         </dict>
1040 // CHECK-NEXT:         <dict>
1041 // CHECK-NEXT:          <key>line</key><integer>46</integer>
1042 // CHECK-NEXT:          <key>col</key><integer>21</integer>
1043 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1044 // CHECK-NEXT:         </dict>
1045 // CHECK-NEXT:        </array>
1046 // CHECK-NEXT:      </array>
1047 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
1048 // CHECK-NEXT:      <key>extended_message</key>
1049 // CHECK-NEXT:      <string>Calling &apos;method&apos;</string>
1050 // CHECK-NEXT:      <key>message</key>
1051 // CHECK-NEXT:      <string>Calling &apos;method&apos;</string>
1052 // CHECK-NEXT:     </dict>
1053 // CHECK-NEXT:     <dict>
1054 // CHECK-NEXT:      <key>kind</key><string>event</string>
1055 // CHECK-NEXT:      <key>location</key>
1056 // CHECK-NEXT:      <dict>
1057 // CHECK-NEXT:       <key>line</key><integer>40</integer>
1058 // CHECK-NEXT:       <key>col</key><integer>5</integer>
1059 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1060 // CHECK-NEXT:      </dict>
1061 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
1062 // CHECK-NEXT:      <key>extended_message</key>
1063 // CHECK-NEXT:      <string>Entered call from &apos;testAnonymous&apos;</string>
1064 // CHECK-NEXT:      <key>message</key>
1065 // CHECK-NEXT:      <string>Entered call from &apos;testAnonymous&apos;</string>
1066 // CHECK-NEXT:     </dict>
1067 // CHECK-NEXT:     <dict>
1068 // CHECK-NEXT:      <key>kind</key><string>control</string>
1069 // CHECK-NEXT:      <key>edges</key>
1070 // CHECK-NEXT:       <array>
1071 // CHECK-NEXT:        <dict>
1072 // CHECK-NEXT:         <key>start</key>
1073 // CHECK-NEXT:          <array>
1074 // CHECK-NEXT:           <dict>
1075 // CHECK-NEXT:            <key>line</key><integer>40</integer>
1076 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1077 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1078 // CHECK-NEXT:           </dict>
1079 // CHECK-NEXT:           <dict>
1080 // CHECK-NEXT:            <key>line</key><integer>40</integer>
1081 // CHECK-NEXT:            <key>col</key><integer>8</integer>
1082 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1083 // CHECK-NEXT:           </dict>
1084 // CHECK-NEXT:          </array>
1085 // CHECK-NEXT:         <key>end</key>
1086 // CHECK-NEXT:          <array>
1087 // CHECK-NEXT:           <dict>
1088 // CHECK-NEXT:            <key>line</key><integer>41</integer>
1089 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1090 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1091 // CHECK-NEXT:           </dict>
1092 // CHECK-NEXT:           <dict>
1093 // CHECK-NEXT:            <key>line</key><integer>41</integer>
1094 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1095 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1096 // CHECK-NEXT:           </dict>
1097 // CHECK-NEXT:          </array>
1098 // CHECK-NEXT:        </dict>
1099 // CHECK-NEXT:       </array>
1100 // CHECK-NEXT:     </dict>
1101 // CHECK-NEXT:     <dict>
1102 // CHECK-NEXT:      <key>kind</key><string>control</string>
1103 // CHECK-NEXT:      <key>edges</key>
1104 // CHECK-NEXT:       <array>
1105 // CHECK-NEXT:        <dict>
1106 // CHECK-NEXT:         <key>start</key>
1107 // CHECK-NEXT:          <array>
1108 // CHECK-NEXT:           <dict>
1109 // CHECK-NEXT:            <key>line</key><integer>41</integer>
1110 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1111 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1112 // CHECK-NEXT:           </dict>
1113 // CHECK-NEXT:           <dict>
1114 // CHECK-NEXT:            <key>line</key><integer>41</integer>
1115 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1116 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1117 // CHECK-NEXT:           </dict>
1118 // CHECK-NEXT:          </array>
1119 // CHECK-NEXT:         <key>end</key>
1120 // CHECK-NEXT:          <array>
1121 // CHECK-NEXT:           <dict>
1122 // CHECK-NEXT:            <key>line</key><integer>41</integer>
1123 // CHECK-NEXT:            <key>col</key><integer>10</integer>
1124 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1125 // CHECK-NEXT:           </dict>
1126 // CHECK-NEXT:           <dict>
1127 // CHECK-NEXT:            <key>line</key><integer>41</integer>
1128 // CHECK-NEXT:            <key>col</key><integer>10</integer>
1129 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1130 // CHECK-NEXT:           </dict>
1131 // CHECK-NEXT:          </array>
1132 // CHECK-NEXT:        </dict>
1133 // CHECK-NEXT:       </array>
1134 // CHECK-NEXT:     </dict>
1135 // CHECK-NEXT:     <dict>
1136 // CHECK-NEXT:      <key>kind</key><string>event</string>
1137 // CHECK-NEXT:      <key>location</key>
1138 // CHECK-NEXT:      <dict>
1139 // CHECK-NEXT:       <key>line</key><integer>41</integer>
1140 // CHECK-NEXT:       <key>col</key><integer>10</integer>
1141 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1142 // CHECK-NEXT:      </dict>
1143 // CHECK-NEXT:      <key>ranges</key>
1144 // CHECK-NEXT:      <array>
1145 // CHECK-NEXT:        <array>
1146 // CHECK-NEXT:         <dict>
1147 // CHECK-NEXT:          <key>line</key><integer>41</integer>
1148 // CHECK-NEXT:          <key>col</key><integer>8</integer>
1149 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1150 // CHECK-NEXT:         </dict>
1151 // CHECK-NEXT:         <dict>
1152 // CHECK-NEXT:          <key>line</key><integer>41</integer>
1153 // CHECK-NEXT:          <key>col</key><integer>8</integer>
1154 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1155 // CHECK-NEXT:         </dict>
1156 // CHECK-NEXT:        </array>
1157 // CHECK-NEXT:      </array>
1158 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
1159 // CHECK-NEXT:      <key>extended_message</key>
1160 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
1161 // CHECK-NEXT:      <key>message</key>
1162 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
1163 // CHECK-NEXT:     </dict>
1164 // CHECK-NEXT:    </array>
1165 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
1166 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
1167 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
1168 // CHECK-NEXT:   <key>issue_context_kind</key><string>C++ method</string>
1169 // CHECK-NEXT:   <key>issue_context</key><string>method</string>
1170 // CHECK-NEXT:   <key>issue_hash</key><string>1</string>
1171 // CHECK-NEXT:   <key>location</key>
1172 // CHECK-NEXT:   <dict>
1173 // CHECK-NEXT:    <key>line</key><integer>41</integer>
1174 // CHECK-NEXT:    <key>col</key><integer>10</integer>
1175 // CHECK-NEXT:    <key>file</key><integer>0</integer>
1176 // CHECK-NEXT:   </dict>
1177 // CHECK-NEXT:   </dict>
1178 // CHECK-NEXT:   <dict>
1179 // CHECK-NEXT:    <key>path</key>
1180 // CHECK-NEXT:    <array>
1181 // CHECK-NEXT:     <dict>
1182 // CHECK-NEXT:      <key>kind</key><string>event</string>
1183 // CHECK-NEXT:      <key>location</key>
1184 // CHECK-NEXT:      <dict>
1185 // CHECK-NEXT:       <key>line</key><integer>110</integer>
1186 // CHECK-NEXT:       <key>col</key><integer>5</integer>
1187 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1188 // CHECK-NEXT:      </dict>
1189 // CHECK-NEXT:      <key>ranges</key>
1190 // CHECK-NEXT:      <array>
1191 // CHECK-NEXT:        <array>
1192 // CHECK-NEXT:         <dict>
1193 // CHECK-NEXT:          <key>line</key><integer>110</integer>
1194 // CHECK-NEXT:          <key>col</key><integer>5</integer>
1195 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1196 // CHECK-NEXT:         </dict>
1197 // CHECK-NEXT:         <dict>
1198 // CHECK-NEXT:          <key>line</key><integer>110</integer>
1199 // CHECK-NEXT:          <key>col</key><integer>17</integer>
1200 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1201 // CHECK-NEXT:         </dict>
1202 // CHECK-NEXT:        </array>
1203 // CHECK-NEXT:      </array>
1204 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
1205 // CHECK-NEXT:      <key>extended_message</key>
1206 // CHECK-NEXT:      <string>Null pointer value stored to &apos;globalPtr&apos;</string>
1207 // CHECK-NEXT:      <key>message</key>
1208 // CHECK-NEXT:      <string>Null pointer value stored to &apos;globalPtr&apos;</string>
1209 // CHECK-NEXT:     </dict>
1210 // CHECK-NEXT:     <dict>
1211 // CHECK-NEXT:      <key>kind</key><string>control</string>
1212 // CHECK-NEXT:      <key>edges</key>
1213 // CHECK-NEXT:       <array>
1214 // CHECK-NEXT:        <dict>
1215 // CHECK-NEXT:         <key>start</key>
1216 // CHECK-NEXT:          <array>
1217 // CHECK-NEXT:           <dict>
1218 // CHECK-NEXT:            <key>line</key><integer>110</integer>
1219 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1220 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1221 // CHECK-NEXT:           </dict>
1222 // CHECK-NEXT:           <dict>
1223 // CHECK-NEXT:            <key>line</key><integer>110</integer>
1224 // CHECK-NEXT:            <key>col</key><integer>13</integer>
1225 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1226 // CHECK-NEXT:           </dict>
1227 // CHECK-NEXT:          </array>
1228 // CHECK-NEXT:         <key>end</key>
1229 // CHECK-NEXT:          <array>
1230 // CHECK-NEXT:           <dict>
1231 // CHECK-NEXT:            <key>line</key><integer>112</integer>
1232 // CHECK-NEXT:            <key>col</key><integer>13</integer>
1233 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1234 // CHECK-NEXT:           </dict>
1235 // CHECK-NEXT:           <dict>
1236 // CHECK-NEXT:            <key>line</key><integer>112</integer>
1237 // CHECK-NEXT:            <key>col</key><integer>13</integer>
1238 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1239 // CHECK-NEXT:           </dict>
1240 // CHECK-NEXT:          </array>
1241 // CHECK-NEXT:        </dict>
1242 // CHECK-NEXT:       </array>
1243 // CHECK-NEXT:     </dict>
1244 // CHECK-NEXT:     <dict>
1245 // CHECK-NEXT:      <key>kind</key><string>event</string>
1246 // CHECK-NEXT:      <key>location</key>
1247 // CHECK-NEXT:      <dict>
1248 // CHECK-NEXT:       <key>line</key><integer>112</integer>
1249 // CHECK-NEXT:       <key>col</key><integer>13</integer>
1250 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1251 // CHECK-NEXT:      </dict>
1252 // CHECK-NEXT:      <key>ranges</key>
1253 // CHECK-NEXT:      <array>
1254 // CHECK-NEXT:        <array>
1255 // CHECK-NEXT:         <dict>
1256 // CHECK-NEXT:          <key>line</key><integer>112</integer>
1257 // CHECK-NEXT:          <key>col</key><integer>13</integer>
1258 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1259 // CHECK-NEXT:         </dict>
1260 // CHECK-NEXT:         <dict>
1261 // CHECK-NEXT:          <key>line</key><integer>112</integer>
1262 // CHECK-NEXT:          <key>col</key><integer>13</integer>
1263 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1264 // CHECK-NEXT:         </dict>
1265 // CHECK-NEXT:        </array>
1266 // CHECK-NEXT:      </array>
1267 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
1268 // CHECK-NEXT:      <key>extended_message</key>
1269 // CHECK-NEXT:      <string>Calling implicit default constructor for &apos;Wrapper&apos;</string>
1270 // CHECK-NEXT:      <key>message</key>
1271 // CHECK-NEXT:      <string>Calling implicit default constructor for &apos;Wrapper&apos;</string>
1272 // CHECK-NEXT:     </dict>
1273 // CHECK-NEXT:     <dict>
1274 // CHECK-NEXT:      <key>kind</key><string>event</string>
1275 // CHECK-NEXT:      <key>location</key>
1276 // CHECK-NEXT:      <dict>
1277 // CHECK-NEXT:       <key>line</key><integer>112</integer>
1278 // CHECK-NEXT:       <key>col</key><integer>13</integer>
1279 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1280 // CHECK-NEXT:      </dict>
1281 // CHECK-NEXT:      <key>ranges</key>
1282 // CHECK-NEXT:      <array>
1283 // CHECK-NEXT:        <array>
1284 // CHECK-NEXT:         <dict>
1285 // CHECK-NEXT:          <key>line</key><integer>112</integer>
1286 // CHECK-NEXT:          <key>col</key><integer>13</integer>
1287 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1288 // CHECK-NEXT:         </dict>
1289 // CHECK-NEXT:         <dict>
1290 // CHECK-NEXT:          <key>line</key><integer>112</integer>
1291 // CHECK-NEXT:          <key>col</key><integer>13</integer>
1292 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1293 // CHECK-NEXT:         </dict>
1294 // CHECK-NEXT:        </array>
1295 // CHECK-NEXT:      </array>
1296 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
1297 // CHECK-NEXT:      <key>extended_message</key>
1298 // CHECK-NEXT:      <string>Calling default constructor for &apos;Dereferencer&apos;</string>
1299 // CHECK-NEXT:      <key>message</key>
1300 // CHECK-NEXT:      <string>Calling default constructor for &apos;Dereferencer&apos;</string>
1301 // CHECK-NEXT:     </dict>
1302 // CHECK-NEXT:     <dict>
1303 // CHECK-NEXT:      <key>kind</key><string>event</string>
1304 // CHECK-NEXT:      <key>location</key>
1305 // CHECK-NEXT:      <dict>
1306 // CHECK-NEXT:       <key>line</key><integer>62</integer>
1307 // CHECK-NEXT:       <key>col</key><integer>5</integer>
1308 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1309 // CHECK-NEXT:      </dict>
1310 // CHECK-NEXT:      <key>depth</key><integer>2</integer>
1311 // CHECK-NEXT:      <key>extended_message</key>
1312 // CHECK-NEXT:      <string>Entered call from default constructor for &apos;Wrapper&apos;</string>
1313 // CHECK-NEXT:      <key>message</key>
1314 // CHECK-NEXT:      <string>Entered call from default constructor for &apos;Wrapper&apos;</string>
1315 // CHECK-NEXT:     </dict>
1316 // CHECK-NEXT:     <dict>
1317 // CHECK-NEXT:      <key>kind</key><string>control</string>
1318 // CHECK-NEXT:      <key>edges</key>
1319 // CHECK-NEXT:       <array>
1320 // CHECK-NEXT:        <dict>
1321 // CHECK-NEXT:         <key>start</key>
1322 // CHECK-NEXT:          <array>
1323 // CHECK-NEXT:           <dict>
1324 // CHECK-NEXT:            <key>line</key><integer>62</integer>
1325 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1326 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1327 // CHECK-NEXT:           </dict>
1328 // CHECK-NEXT:           <dict>
1329 // CHECK-NEXT:            <key>line</key><integer>62</integer>
1330 // CHECK-NEXT:            <key>col</key><integer>16</integer>
1331 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1332 // CHECK-NEXT:           </dict>
1333 // CHECK-NEXT:          </array>
1334 // CHECK-NEXT:         <key>end</key>
1335 // CHECK-NEXT:          <array>
1336 // CHECK-NEXT:           <dict>
1337 // CHECK-NEXT:            <key>line</key><integer>63</integer>
1338 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1339 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1340 // CHECK-NEXT:           </dict>
1341 // CHECK-NEXT:           <dict>
1342 // CHECK-NEXT:            <key>line</key><integer>63</integer>
1343 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1344 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1345 // CHECK-NEXT:           </dict>
1346 // CHECK-NEXT:          </array>
1347 // CHECK-NEXT:        </dict>
1348 // CHECK-NEXT:       </array>
1349 // CHECK-NEXT:     </dict>
1350 // CHECK-NEXT:     <dict>
1351 // CHECK-NEXT:      <key>kind</key><string>control</string>
1352 // CHECK-NEXT:      <key>edges</key>
1353 // CHECK-NEXT:       <array>
1354 // CHECK-NEXT:        <dict>
1355 // CHECK-NEXT:         <key>start</key>
1356 // CHECK-NEXT:          <array>
1357 // CHECK-NEXT:           <dict>
1358 // CHECK-NEXT:            <key>line</key><integer>63</integer>
1359 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1360 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1361 // CHECK-NEXT:           </dict>
1362 // CHECK-NEXT:           <dict>
1363 // CHECK-NEXT:            <key>line</key><integer>63</integer>
1364 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1365 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1366 // CHECK-NEXT:           </dict>
1367 // CHECK-NEXT:          </array>
1368 // CHECK-NEXT:         <key>end</key>
1369 // CHECK-NEXT:          <array>
1370 // CHECK-NEXT:           <dict>
1371 // CHECK-NEXT:            <key>line</key><integer>63</integer>
1372 // CHECK-NEXT:            <key>col</key><integer>18</integer>
1373 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1374 // CHECK-NEXT:           </dict>
1375 // CHECK-NEXT:           <dict>
1376 // CHECK-NEXT:            <key>line</key><integer>63</integer>
1377 // CHECK-NEXT:            <key>col</key><integer>18</integer>
1378 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1379 // CHECK-NEXT:           </dict>
1380 // CHECK-NEXT:          </array>
1381 // CHECK-NEXT:        </dict>
1382 // CHECK-NEXT:       </array>
1383 // CHECK-NEXT:     </dict>
1384 // CHECK-NEXT:     <dict>
1385 // CHECK-NEXT:      <key>kind</key><string>event</string>
1386 // CHECK-NEXT:      <key>location</key>
1387 // CHECK-NEXT:      <dict>
1388 // CHECK-NEXT:       <key>line</key><integer>63</integer>
1389 // CHECK-NEXT:       <key>col</key><integer>18</integer>
1390 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1391 // CHECK-NEXT:      </dict>
1392 // CHECK-NEXT:      <key>ranges</key>
1393 // CHECK-NEXT:      <array>
1394 // CHECK-NEXT:        <array>
1395 // CHECK-NEXT:         <dict>
1396 // CHECK-NEXT:          <key>line</key><integer>63</integer>
1397 // CHECK-NEXT:          <key>col</key><integer>8</integer>
1398 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1399 // CHECK-NEXT:         </dict>
1400 // CHECK-NEXT:         <dict>
1401 // CHECK-NEXT:          <key>line</key><integer>63</integer>
1402 // CHECK-NEXT:          <key>col</key><integer>16</integer>
1403 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1404 // CHECK-NEXT:         </dict>
1405 // CHECK-NEXT:        </array>
1406 // CHECK-NEXT:      </array>
1407 // CHECK-NEXT:      <key>depth</key><integer>2</integer>
1408 // CHECK-NEXT:      <key>extended_message</key>
1409 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;globalPtr&apos;)</string>
1410 // CHECK-NEXT:      <key>message</key>
1411 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;globalPtr&apos;)</string>
1412 // CHECK-NEXT:     </dict>
1413 // CHECK-NEXT:    </array>
1414 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;globalPtr&apos;)</string>
1415 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
1416 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
1417 // CHECK-NEXT:   <key>issue_hash</key><string>1</string>
1418 // CHECK-NEXT:   <key>location</key>
1419 // CHECK-NEXT:   <dict>
1420 // CHECK-NEXT:    <key>line</key><integer>63</integer>
1421 // CHECK-NEXT:    <key>col</key><integer>18</integer>
1422 // CHECK-NEXT:    <key>file</key><integer>0</integer>
1423 // CHECK-NEXT:   </dict>
1424 // CHECK-NEXT:   </dict>
1425 // CHECK-NEXT:   <dict>
1426 // CHECK-NEXT:    <key>path</key>
1427 // CHECK-NEXT:    <array>
1428 // CHECK-NEXT:     <dict>
1429 // CHECK-NEXT:      <key>kind</key><string>event</string>
1430 // CHECK-NEXT:      <key>location</key>
1431 // CHECK-NEXT:      <dict>
1432 // CHECK-NEXT:       <key>line</key><integer>118</integer>
1433 // CHECK-NEXT:       <key>col</key><integer>5</integer>
1434 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1435 // CHECK-NEXT:      </dict>
1436 // CHECK-NEXT:      <key>ranges</key>
1437 // CHECK-NEXT:      <array>
1438 // CHECK-NEXT:        <array>
1439 // CHECK-NEXT:         <dict>
1440 // CHECK-NEXT:          <key>line</key><integer>118</integer>
1441 // CHECK-NEXT:          <key>col</key><integer>5</integer>
1442 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1443 // CHECK-NEXT:         </dict>
1444 // CHECK-NEXT:         <dict>
1445 // CHECK-NEXT:          <key>line</key><integer>118</integer>
1446 // CHECK-NEXT:          <key>col</key><integer>17</integer>
1447 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1448 // CHECK-NEXT:         </dict>
1449 // CHECK-NEXT:        </array>
1450 // CHECK-NEXT:      </array>
1451 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
1452 // CHECK-NEXT:      <key>extended_message</key>
1453 // CHECK-NEXT:      <string>Null pointer value stored to &apos;globalPtr&apos;</string>
1454 // CHECK-NEXT:      <key>message</key>
1455 // CHECK-NEXT:      <string>Null pointer value stored to &apos;globalPtr&apos;</string>
1456 // CHECK-NEXT:     </dict>
1457 // CHECK-NEXT:     <dict>
1458 // CHECK-NEXT:      <key>kind</key><string>control</string>
1459 // CHECK-NEXT:      <key>edges</key>
1460 // CHECK-NEXT:       <array>
1461 // CHECK-NEXT:        <dict>
1462 // CHECK-NEXT:         <key>start</key>
1463 // CHECK-NEXT:          <array>
1464 // CHECK-NEXT:           <dict>
1465 // CHECK-NEXT:            <key>line</key><integer>118</integer>
1466 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1467 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1468 // CHECK-NEXT:           </dict>
1469 // CHECK-NEXT:           <dict>
1470 // CHECK-NEXT:            <key>line</key><integer>118</integer>
1471 // CHECK-NEXT:            <key>col</key><integer>13</integer>
1472 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1473 // CHECK-NEXT:           </dict>
1474 // CHECK-NEXT:          </array>
1475 // CHECK-NEXT:         <key>end</key>
1476 // CHECK-NEXT:          <array>
1477 // CHECK-NEXT:           <dict>
1478 // CHECK-NEXT:            <key>line</key><integer>120</integer>
1479 // CHECK-NEXT:            <key>col</key><integer>13</integer>
1480 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1481 // CHECK-NEXT:           </dict>
1482 // CHECK-NEXT:           <dict>
1483 // CHECK-NEXT:            <key>line</key><integer>120</integer>
1484 // CHECK-NEXT:            <key>col</key><integer>13</integer>
1485 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1486 // CHECK-NEXT:           </dict>
1487 // CHECK-NEXT:          </array>
1488 // CHECK-NEXT:        </dict>
1489 // CHECK-NEXT:       </array>
1490 // CHECK-NEXT:     </dict>
1491 // CHECK-NEXT:     <dict>
1492 // CHECK-NEXT:      <key>kind</key><string>event</string>
1493 // CHECK-NEXT:      <key>location</key>
1494 // CHECK-NEXT:      <dict>
1495 // CHECK-NEXT:       <key>line</key><integer>120</integer>
1496 // CHECK-NEXT:       <key>col</key><integer>13</integer>
1497 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1498 // CHECK-NEXT:      </dict>
1499 // CHECK-NEXT:      <key>ranges</key>
1500 // CHECK-NEXT:      <array>
1501 // CHECK-NEXT:        <array>
1502 // CHECK-NEXT:         <dict>
1503 // CHECK-NEXT:          <key>line</key><integer>120</integer>
1504 // CHECK-NEXT:          <key>col</key><integer>13</integer>
1505 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1506 // CHECK-NEXT:         </dict>
1507 // CHECK-NEXT:         <dict>
1508 // CHECK-NEXT:          <key>line</key><integer>120</integer>
1509 // CHECK-NEXT:          <key>col</key><integer>19</integer>
1510 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1511 // CHECK-NEXT:         </dict>
1512 // CHECK-NEXT:        </array>
1513 // CHECK-NEXT:      </array>
1514 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
1515 // CHECK-NEXT:      <key>extended_message</key>
1516 // CHECK-NEXT:      <string>Calling implicit copy constructor for &apos;Wrapper&apos;</string>
1517 // CHECK-NEXT:      <key>message</key>
1518 // CHECK-NEXT:      <string>Calling implicit copy constructor for &apos;Wrapper&apos;</string>
1519 // CHECK-NEXT:     </dict>
1520 // CHECK-NEXT:     <dict>
1521 // CHECK-NEXT:      <key>kind</key><string>event</string>
1522 // CHECK-NEXT:      <key>location</key>
1523 // CHECK-NEXT:      <dict>
1524 // CHECK-NEXT:       <key>line</key><integer>120</integer>
1525 // CHECK-NEXT:       <key>col</key><integer>13</integer>
1526 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1527 // CHECK-NEXT:      </dict>
1528 // CHECK-NEXT:      <key>ranges</key>
1529 // CHECK-NEXT:      <array>
1530 // CHECK-NEXT:        <array>
1531 // CHECK-NEXT:         <dict>
1532 // CHECK-NEXT:          <key>line</key><integer>120</integer>
1533 // CHECK-NEXT:          <key>col</key><integer>13</integer>
1534 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1535 // CHECK-NEXT:         </dict>
1536 // CHECK-NEXT:         <dict>
1537 // CHECK-NEXT:          <key>line</key><integer>120</integer>
1538 // CHECK-NEXT:          <key>col</key><integer>19</integer>
1539 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1540 // CHECK-NEXT:         </dict>
1541 // CHECK-NEXT:        </array>
1542 // CHECK-NEXT:      </array>
1543 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
1544 // CHECK-NEXT:      <key>extended_message</key>
1545 // CHECK-NEXT:      <string>Calling copy constructor for &apos;Dereferencer&apos;</string>
1546 // CHECK-NEXT:      <key>message</key>
1547 // CHECK-NEXT:      <string>Calling copy constructor for &apos;Dereferencer&apos;</string>
1548 // CHECK-NEXT:     </dict>
1549 // CHECK-NEXT:     <dict>
1550 // CHECK-NEXT:      <key>kind</key><string>event</string>
1551 // CHECK-NEXT:      <key>location</key>
1552 // CHECK-NEXT:      <dict>
1553 // CHECK-NEXT:       <key>line</key><integer>67</integer>
1554 // CHECK-NEXT:       <key>col</key><integer>5</integer>
1555 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1556 // CHECK-NEXT:      </dict>
1557 // CHECK-NEXT:      <key>depth</key><integer>2</integer>
1558 // CHECK-NEXT:      <key>extended_message</key>
1559 // CHECK-NEXT:      <string>Entered call from copy constructor for &apos;Wrapper&apos;</string>
1560 // CHECK-NEXT:      <key>message</key>
1561 // CHECK-NEXT:      <string>Entered call from copy constructor for &apos;Wrapper&apos;</string>
1562 // CHECK-NEXT:     </dict>
1563 // CHECK-NEXT:     <dict>
1564 // CHECK-NEXT:      <key>kind</key><string>control</string>
1565 // CHECK-NEXT:      <key>edges</key>
1566 // CHECK-NEXT:       <array>
1567 // CHECK-NEXT:        <dict>
1568 // CHECK-NEXT:         <key>start</key>
1569 // CHECK-NEXT:          <array>
1570 // CHECK-NEXT:           <dict>
1571 // CHECK-NEXT:            <key>line</key><integer>67</integer>
1572 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1573 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1574 // CHECK-NEXT:           </dict>
1575 // CHECK-NEXT:           <dict>
1576 // CHECK-NEXT:            <key>line</key><integer>67</integer>
1577 // CHECK-NEXT:            <key>col</key><integer>16</integer>
1578 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1579 // CHECK-NEXT:           </dict>
1580 // CHECK-NEXT:          </array>
1581 // CHECK-NEXT:         <key>end</key>
1582 // CHECK-NEXT:          <array>
1583 // CHECK-NEXT:           <dict>
1584 // CHECK-NEXT:            <key>line</key><integer>68</integer>
1585 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1586 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1587 // CHECK-NEXT:           </dict>
1588 // CHECK-NEXT:           <dict>
1589 // CHECK-NEXT:            <key>line</key><integer>68</integer>
1590 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1591 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1592 // CHECK-NEXT:           </dict>
1593 // CHECK-NEXT:          </array>
1594 // CHECK-NEXT:        </dict>
1595 // CHECK-NEXT:       </array>
1596 // CHECK-NEXT:     </dict>
1597 // CHECK-NEXT:     <dict>
1598 // CHECK-NEXT:      <key>kind</key><string>control</string>
1599 // CHECK-NEXT:      <key>edges</key>
1600 // CHECK-NEXT:       <array>
1601 // CHECK-NEXT:        <dict>
1602 // CHECK-NEXT:         <key>start</key>
1603 // CHECK-NEXT:          <array>
1604 // CHECK-NEXT:           <dict>
1605 // CHECK-NEXT:            <key>line</key><integer>68</integer>
1606 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1607 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1608 // CHECK-NEXT:           </dict>
1609 // CHECK-NEXT:           <dict>
1610 // CHECK-NEXT:            <key>line</key><integer>68</integer>
1611 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1612 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1613 // CHECK-NEXT:           </dict>
1614 // CHECK-NEXT:          </array>
1615 // CHECK-NEXT:         <key>end</key>
1616 // CHECK-NEXT:          <array>
1617 // CHECK-NEXT:           <dict>
1618 // CHECK-NEXT:            <key>line</key><integer>68</integer>
1619 // CHECK-NEXT:            <key>col</key><integer>18</integer>
1620 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1621 // CHECK-NEXT:           </dict>
1622 // CHECK-NEXT:           <dict>
1623 // CHECK-NEXT:            <key>line</key><integer>68</integer>
1624 // CHECK-NEXT:            <key>col</key><integer>18</integer>
1625 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1626 // CHECK-NEXT:           </dict>
1627 // CHECK-NEXT:          </array>
1628 // CHECK-NEXT:        </dict>
1629 // CHECK-NEXT:       </array>
1630 // CHECK-NEXT:     </dict>
1631 // CHECK-NEXT:     <dict>
1632 // CHECK-NEXT:      <key>kind</key><string>event</string>
1633 // CHECK-NEXT:      <key>location</key>
1634 // CHECK-NEXT:      <dict>
1635 // CHECK-NEXT:       <key>line</key><integer>68</integer>
1636 // CHECK-NEXT:       <key>col</key><integer>18</integer>
1637 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1638 // CHECK-NEXT:      </dict>
1639 // CHECK-NEXT:      <key>ranges</key>
1640 // CHECK-NEXT:      <array>
1641 // CHECK-NEXT:        <array>
1642 // CHECK-NEXT:         <dict>
1643 // CHECK-NEXT:          <key>line</key><integer>68</integer>
1644 // CHECK-NEXT:          <key>col</key><integer>8</integer>
1645 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1646 // CHECK-NEXT:         </dict>
1647 // CHECK-NEXT:         <dict>
1648 // CHECK-NEXT:          <key>line</key><integer>68</integer>
1649 // CHECK-NEXT:          <key>col</key><integer>16</integer>
1650 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1651 // CHECK-NEXT:         </dict>
1652 // CHECK-NEXT:        </array>
1653 // CHECK-NEXT:      </array>
1654 // CHECK-NEXT:      <key>depth</key><integer>2</integer>
1655 // CHECK-NEXT:      <key>extended_message</key>
1656 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;globalPtr&apos;)</string>
1657 // CHECK-NEXT:      <key>message</key>
1658 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;globalPtr&apos;)</string>
1659 // CHECK-NEXT:     </dict>
1660 // CHECK-NEXT:    </array>
1661 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;globalPtr&apos;)</string>
1662 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
1663 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
1664 // CHECK-NEXT:   <key>issue_hash</key><string>1</string>
1665 // CHECK-NEXT:   <key>location</key>
1666 // CHECK-NEXT:   <dict>
1667 // CHECK-NEXT:    <key>line</key><integer>68</integer>
1668 // CHECK-NEXT:    <key>col</key><integer>18</integer>
1669 // CHECK-NEXT:    <key>file</key><integer>0</integer>
1670 // CHECK-NEXT:   </dict>
1671 // CHECK-NEXT:   </dict>
1672 // CHECK-NEXT:   <dict>
1673 // CHECK-NEXT:    <key>path</key>
1674 // CHECK-NEXT:    <array>
1675 // CHECK-NEXT:     <dict>
1676 // CHECK-NEXT:      <key>kind</key><string>event</string>
1677 // CHECK-NEXT:      <key>location</key>
1678 // CHECK-NEXT:      <dict>
1679 // CHECK-NEXT:       <key>line</key><integer>126</integer>
1680 // CHECK-NEXT:       <key>col</key><integer>5</integer>
1681 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1682 // CHECK-NEXT:      </dict>
1683 // CHECK-NEXT:      <key>ranges</key>
1684 // CHECK-NEXT:      <array>
1685 // CHECK-NEXT:        <array>
1686 // CHECK-NEXT:         <dict>
1687 // CHECK-NEXT:          <key>line</key><integer>126</integer>
1688 // CHECK-NEXT:          <key>col</key><integer>5</integer>
1689 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1690 // CHECK-NEXT:         </dict>
1691 // CHECK-NEXT:         <dict>
1692 // CHECK-NEXT:          <key>line</key><integer>126</integer>
1693 // CHECK-NEXT:          <key>col</key><integer>17</integer>
1694 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1695 // CHECK-NEXT:         </dict>
1696 // CHECK-NEXT:        </array>
1697 // CHECK-NEXT:      </array>
1698 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
1699 // CHECK-NEXT:      <key>extended_message</key>
1700 // CHECK-NEXT:      <string>Null pointer value stored to &apos;globalPtr&apos;</string>
1701 // CHECK-NEXT:      <key>message</key>
1702 // CHECK-NEXT:      <string>Null pointer value stored to &apos;globalPtr&apos;</string>
1703 // CHECK-NEXT:     </dict>
1704 // CHECK-NEXT:     <dict>
1705 // CHECK-NEXT:      <key>kind</key><string>control</string>
1706 // CHECK-NEXT:      <key>edges</key>
1707 // CHECK-NEXT:       <array>
1708 // CHECK-NEXT:        <dict>
1709 // CHECK-NEXT:         <key>start</key>
1710 // CHECK-NEXT:          <array>
1711 // CHECK-NEXT:           <dict>
1712 // CHECK-NEXT:            <key>line</key><integer>126</integer>
1713 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1714 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1715 // CHECK-NEXT:           </dict>
1716 // CHECK-NEXT:           <dict>
1717 // CHECK-NEXT:            <key>line</key><integer>126</integer>
1718 // CHECK-NEXT:            <key>col</key><integer>13</integer>
1719 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1720 // CHECK-NEXT:           </dict>
1721 // CHECK-NEXT:          </array>
1722 // CHECK-NEXT:         <key>end</key>
1723 // CHECK-NEXT:          <array>
1724 // CHECK-NEXT:           <dict>
1725 // CHECK-NEXT:            <key>line</key><integer>128</integer>
1726 // CHECK-NEXT:            <key>col</key><integer>22</integer>
1727 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1728 // CHECK-NEXT:           </dict>
1729 // CHECK-NEXT:           <dict>
1730 // CHECK-NEXT:            <key>line</key><integer>128</integer>
1731 // CHECK-NEXT:            <key>col</key><integer>25</integer>
1732 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1733 // CHECK-NEXT:           </dict>
1734 // CHECK-NEXT:          </array>
1735 // CHECK-NEXT:        </dict>
1736 // CHECK-NEXT:       </array>
1737 // CHECK-NEXT:     </dict>
1738 // CHECK-NEXT:     <dict>
1739 // CHECK-NEXT:      <key>kind</key><string>control</string>
1740 // CHECK-NEXT:      <key>edges</key>
1741 // CHECK-NEXT:       <array>
1742 // CHECK-NEXT:        <dict>
1743 // CHECK-NEXT:         <key>start</key>
1744 // CHECK-NEXT:          <array>
1745 // CHECK-NEXT:           <dict>
1746 // CHECK-NEXT:            <key>line</key><integer>128</integer>
1747 // CHECK-NEXT:            <key>col</key><integer>22</integer>
1748 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1749 // CHECK-NEXT:           </dict>
1750 // CHECK-NEXT:           <dict>
1751 // CHECK-NEXT:            <key>line</key><integer>128</integer>
1752 // CHECK-NEXT:            <key>col</key><integer>25</integer>
1753 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1754 // CHECK-NEXT:           </dict>
1755 // CHECK-NEXT:          </array>
1756 // CHECK-NEXT:         <key>end</key>
1757 // CHECK-NEXT:          <array>
1758 // CHECK-NEXT:           <dict>
1759 // CHECK-NEXT:            <key>line</key><integer>128</integer>
1760 // CHECK-NEXT:            <key>col</key><integer>20</integer>
1761 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1762 // CHECK-NEXT:           </dict>
1763 // CHECK-NEXT:           <dict>
1764 // CHECK-NEXT:            <key>line</key><integer>128</integer>
1765 // CHECK-NEXT:            <key>col</key><integer>20</integer>
1766 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1767 // CHECK-NEXT:           </dict>
1768 // CHECK-NEXT:          </array>
1769 // CHECK-NEXT:        </dict>
1770 // CHECK-NEXT:       </array>
1771 // CHECK-NEXT:     </dict>
1772 // CHECK-NEXT:     <dict>
1773 // CHECK-NEXT:      <key>kind</key><string>event</string>
1774 // CHECK-NEXT:      <key>location</key>
1775 // CHECK-NEXT:      <dict>
1776 // CHECK-NEXT:       <key>line</key><integer>128</integer>
1777 // CHECK-NEXT:       <key>col</key><integer>20</integer>
1778 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1779 // CHECK-NEXT:      </dict>
1780 // CHECK-NEXT:      <key>ranges</key>
1781 // CHECK-NEXT:      <array>
1782 // CHECK-NEXT:        <array>
1783 // CHECK-NEXT:         <dict>
1784 // CHECK-NEXT:          <key>line</key><integer>128</integer>
1785 // CHECK-NEXT:          <key>col</key><integer>20</integer>
1786 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1787 // CHECK-NEXT:         </dict>
1788 // CHECK-NEXT:         <dict>
1789 // CHECK-NEXT:          <key>line</key><integer>128</integer>
1790 // CHECK-NEXT:          <key>col</key><integer>32</integer>
1791 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1792 // CHECK-NEXT:         </dict>
1793 // CHECK-NEXT:        </array>
1794 // CHECK-NEXT:      </array>
1795 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
1796 // CHECK-NEXT:      <key>extended_message</key>
1797 // CHECK-NEXT:      <string>Calling defaulted move constructor for &apos;MovableWrapper&apos;</string>
1798 // CHECK-NEXT:      <key>message</key>
1799 // CHECK-NEXT:      <string>Calling defaulted move constructor for &apos;MovableWrapper&apos;</string>
1800 // CHECK-NEXT:     </dict>
1801 // CHECK-NEXT:     <dict>
1802 // CHECK-NEXT:      <key>kind</key><string>event</string>
1803 // CHECK-NEXT:      <key>location</key>
1804 // CHECK-NEXT:      <dict>
1805 // CHECK-NEXT:       <key>line</key><integer>102</integer>
1806 // CHECK-NEXT:       <key>col</key><integer>5</integer>
1807 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1808 // CHECK-NEXT:      </dict>
1809 // CHECK-NEXT:      <key>ranges</key>
1810 // CHECK-NEXT:      <array>
1811 // CHECK-NEXT:        <array>
1812 // CHECK-NEXT:         <dict>
1813 // CHECK-NEXT:          <key>line</key><integer>102</integer>
1814 // CHECK-NEXT:          <key>col</key><integer>5</integer>
1815 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1816 // CHECK-NEXT:         </dict>
1817 // CHECK-NEXT:         <dict>
1818 // CHECK-NEXT:          <key>line</key><integer>102</integer>
1819 // CHECK-NEXT:          <key>col</key><integer>18</integer>
1820 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1821 // CHECK-NEXT:         </dict>
1822 // CHECK-NEXT:        </array>
1823 // CHECK-NEXT:      </array>
1824 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
1825 // CHECK-NEXT:      <key>extended_message</key>
1826 // CHECK-NEXT:      <string>Calling move constructor for &apos;Dereferencer&apos;</string>
1827 // CHECK-NEXT:      <key>message</key>
1828 // CHECK-NEXT:      <string>Calling move constructor for &apos;Dereferencer&apos;</string>
1829 // CHECK-NEXT:     </dict>
1830 // CHECK-NEXT:     <dict>
1831 // CHECK-NEXT:      <key>kind</key><string>event</string>
1832 // CHECK-NEXT:      <key>location</key>
1833 // CHECK-NEXT:      <dict>
1834 // CHECK-NEXT:       <key>line</key><integer>72</integer>
1835 // CHECK-NEXT:       <key>col</key><integer>5</integer>
1836 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1837 // CHECK-NEXT:      </dict>
1838 // CHECK-NEXT:      <key>depth</key><integer>2</integer>
1839 // CHECK-NEXT:      <key>extended_message</key>
1840 // CHECK-NEXT:      <string>Entered call from move constructor for &apos;MovableWrapper&apos;</string>
1841 // CHECK-NEXT:      <key>message</key>
1842 // CHECK-NEXT:      <string>Entered call from move constructor for &apos;MovableWrapper&apos;</string>
1843 // CHECK-NEXT:     </dict>
1844 // CHECK-NEXT:     <dict>
1845 // CHECK-NEXT:      <key>kind</key><string>control</string>
1846 // CHECK-NEXT:      <key>edges</key>
1847 // CHECK-NEXT:       <array>
1848 // CHECK-NEXT:        <dict>
1849 // CHECK-NEXT:         <key>start</key>
1850 // CHECK-NEXT:          <array>
1851 // CHECK-NEXT:           <dict>
1852 // CHECK-NEXT:            <key>line</key><integer>72</integer>
1853 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1854 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1855 // CHECK-NEXT:           </dict>
1856 // CHECK-NEXT:           <dict>
1857 // CHECK-NEXT:            <key>line</key><integer>72</integer>
1858 // CHECK-NEXT:            <key>col</key><integer>16</integer>
1859 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1860 // CHECK-NEXT:           </dict>
1861 // CHECK-NEXT:          </array>
1862 // CHECK-NEXT:         <key>end</key>
1863 // CHECK-NEXT:          <array>
1864 // CHECK-NEXT:           <dict>
1865 // CHECK-NEXT:            <key>line</key><integer>73</integer>
1866 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1867 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1868 // CHECK-NEXT:           </dict>
1869 // CHECK-NEXT:           <dict>
1870 // CHECK-NEXT:            <key>line</key><integer>73</integer>
1871 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1872 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1873 // CHECK-NEXT:           </dict>
1874 // CHECK-NEXT:          </array>
1875 // CHECK-NEXT:        </dict>
1876 // CHECK-NEXT:       </array>
1877 // CHECK-NEXT:     </dict>
1878 // CHECK-NEXT:     <dict>
1879 // CHECK-NEXT:      <key>kind</key><string>control</string>
1880 // CHECK-NEXT:      <key>edges</key>
1881 // CHECK-NEXT:       <array>
1882 // CHECK-NEXT:        <dict>
1883 // CHECK-NEXT:         <key>start</key>
1884 // CHECK-NEXT:          <array>
1885 // CHECK-NEXT:           <dict>
1886 // CHECK-NEXT:            <key>line</key><integer>73</integer>
1887 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1888 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1889 // CHECK-NEXT:           </dict>
1890 // CHECK-NEXT:           <dict>
1891 // CHECK-NEXT:            <key>line</key><integer>73</integer>
1892 // CHECK-NEXT:            <key>col</key><integer>7</integer>
1893 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1894 // CHECK-NEXT:           </dict>
1895 // CHECK-NEXT:          </array>
1896 // CHECK-NEXT:         <key>end</key>
1897 // CHECK-NEXT:          <array>
1898 // CHECK-NEXT:           <dict>
1899 // CHECK-NEXT:            <key>line</key><integer>73</integer>
1900 // CHECK-NEXT:            <key>col</key><integer>18</integer>
1901 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1902 // CHECK-NEXT:           </dict>
1903 // CHECK-NEXT:           <dict>
1904 // CHECK-NEXT:            <key>line</key><integer>73</integer>
1905 // CHECK-NEXT:            <key>col</key><integer>18</integer>
1906 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1907 // CHECK-NEXT:           </dict>
1908 // CHECK-NEXT:          </array>
1909 // CHECK-NEXT:        </dict>
1910 // CHECK-NEXT:       </array>
1911 // CHECK-NEXT:     </dict>
1912 // CHECK-NEXT:     <dict>
1913 // CHECK-NEXT:      <key>kind</key><string>event</string>
1914 // CHECK-NEXT:      <key>location</key>
1915 // CHECK-NEXT:      <dict>
1916 // CHECK-NEXT:       <key>line</key><integer>73</integer>
1917 // CHECK-NEXT:       <key>col</key><integer>18</integer>
1918 // CHECK-NEXT:       <key>file</key><integer>0</integer>
1919 // CHECK-NEXT:      </dict>
1920 // CHECK-NEXT:      <key>ranges</key>
1921 // CHECK-NEXT:      <array>
1922 // CHECK-NEXT:        <array>
1923 // CHECK-NEXT:         <dict>
1924 // CHECK-NEXT:          <key>line</key><integer>73</integer>
1925 // CHECK-NEXT:          <key>col</key><integer>8</integer>
1926 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1927 // CHECK-NEXT:         </dict>
1928 // CHECK-NEXT:         <dict>
1929 // CHECK-NEXT:          <key>line</key><integer>73</integer>
1930 // CHECK-NEXT:          <key>col</key><integer>16</integer>
1931 // CHECK-NEXT:          <key>file</key><integer>0</integer>
1932 // CHECK-NEXT:         </dict>
1933 // CHECK-NEXT:        </array>
1934 // CHECK-NEXT:      </array>
1935 // CHECK-NEXT:      <key>depth</key><integer>2</integer>
1936 // CHECK-NEXT:      <key>extended_message</key>
1937 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;globalPtr&apos;)</string>
1938 // CHECK-NEXT:      <key>message</key>
1939 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;globalPtr&apos;)</string>
1940 // CHECK-NEXT:     </dict>
1941 // CHECK-NEXT:    </array>
1942 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;globalPtr&apos;)</string>
1943 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
1944 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
1945 // CHECK-NEXT:   <key>issue_hash</key><string>1</string>
1946 // CHECK-NEXT:   <key>location</key>
1947 // CHECK-NEXT:   <dict>
1948 // CHECK-NEXT:    <key>line</key><integer>73</integer>
1949 // CHECK-NEXT:    <key>col</key><integer>18</integer>
1950 // CHECK-NEXT:    <key>file</key><integer>0</integer>
1951 // CHECK-NEXT:   </dict>
1952 // CHECK-NEXT:   </dict>
1953 // CHECK-NEXT:   <dict>
1954 // CHECK-NEXT:    <key>path</key>
1955 // CHECK-NEXT:    <array>
1956 // CHECK-NEXT:     <dict>
1957 // CHECK-NEXT:      <key>kind</key><string>control</string>
1958 // CHECK-NEXT:      <key>edges</key>
1959 // CHECK-NEXT:       <array>
1960 // CHECK-NEXT:        <dict>
1961 // CHECK-NEXT:         <key>start</key>
1962 // CHECK-NEXT:          <array>
1963 // CHECK-NEXT:           <dict>
1964 // CHECK-NEXT:            <key>line</key><integer>133</integer>
1965 // CHECK-NEXT:            <key>col</key><integer>5</integer>
1966 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1967 // CHECK-NEXT:           </dict>
1968 // CHECK-NEXT:           <dict>
1969 // CHECK-NEXT:            <key>line</key><integer>133</integer>
1970 // CHECK-NEXT:            <key>col</key><integer>11</integer>
1971 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1972 // CHECK-NEXT:           </dict>
1973 // CHECK-NEXT:          </array>
1974 // CHECK-NEXT:         <key>end</key>
1975 // CHECK-NEXT:          <array>
1976 // CHECK-NEXT:           <dict>
1977 // CHECK-NEXT:            <key>line</key><integer>133</integer>
1978 // CHECK-NEXT:            <key>col</key><integer>13</integer>
1979 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1980 // CHECK-NEXT:           </dict>
1981 // CHECK-NEXT:           <dict>
1982 // CHECK-NEXT:            <key>line</key><integer>133</integer>
1983 // CHECK-NEXT:            <key>col</key><integer>13</integer>
1984 // CHECK-NEXT:            <key>file</key><integer>0</integer>
1985 // CHECK-NEXT:           </dict>
1986 // CHECK-NEXT:          </array>
1987 // CHECK-NEXT:        </dict>
1988 // CHECK-NEXT:       </array>
1989 // CHECK-NEXT:     </dict>
1990 // CHECK-NEXT:     <dict>
1991 // CHECK-NEXT:      <key>kind</key><string>control</string>
1992 // CHECK-NEXT:      <key>edges</key>
1993 // CHECK-NEXT:       <array>
1994 // CHECK-NEXT:        <dict>
1995 // CHECK-NEXT:         <key>start</key>
1996 // CHECK-NEXT:          <array>
1997 // CHECK-NEXT:           <dict>
1998 // CHECK-NEXT:            <key>line</key><integer>133</integer>
1999 // CHECK-NEXT:            <key>col</key><integer>13</integer>
2000 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2001 // CHECK-NEXT:           </dict>
2002 // CHECK-NEXT:           <dict>
2003 // CHECK-NEXT:            <key>line</key><integer>133</integer>
2004 // CHECK-NEXT:            <key>col</key><integer>13</integer>
2005 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2006 // CHECK-NEXT:           </dict>
2007 // CHECK-NEXT:          </array>
2008 // CHECK-NEXT:         <key>end</key>
2009 // CHECK-NEXT:          <array>
2010 // CHECK-NEXT:           <dict>
2011 // CHECK-NEXT:            <key>line</key><integer>134</integer>
2012 // CHECK-NEXT:            <key>col</key><integer>5</integer>
2013 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2014 // CHECK-NEXT:           </dict>
2015 // CHECK-NEXT:           <dict>
2016 // CHECK-NEXT:            <key>line</key><integer>134</integer>
2017 // CHECK-NEXT:            <key>col</key><integer>13</integer>
2018 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2019 // CHECK-NEXT:           </dict>
2020 // CHECK-NEXT:          </array>
2021 // CHECK-NEXT:        </dict>
2022 // CHECK-NEXT:       </array>
2023 // CHECK-NEXT:     </dict>
2024 // CHECK-NEXT:     <dict>
2025 // CHECK-NEXT:      <key>kind</key><string>event</string>
2026 // CHECK-NEXT:      <key>location</key>
2027 // CHECK-NEXT:      <dict>
2028 // CHECK-NEXT:       <key>line</key><integer>134</integer>
2029 // CHECK-NEXT:       <key>col</key><integer>5</integer>
2030 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2031 // CHECK-NEXT:      </dict>
2032 // CHECK-NEXT:      <key>ranges</key>
2033 // CHECK-NEXT:      <array>
2034 // CHECK-NEXT:        <array>
2035 // CHECK-NEXT:         <dict>
2036 // CHECK-NEXT:          <key>line</key><integer>134</integer>
2037 // CHECK-NEXT:          <key>col</key><integer>5</integer>
2038 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2039 // CHECK-NEXT:         </dict>
2040 // CHECK-NEXT:         <dict>
2041 // CHECK-NEXT:          <key>line</key><integer>134</integer>
2042 // CHECK-NEXT:          <key>col</key><integer>17</integer>
2043 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2044 // CHECK-NEXT:         </dict>
2045 // CHECK-NEXT:        </array>
2046 // CHECK-NEXT:      </array>
2047 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
2048 // CHECK-NEXT:      <key>extended_message</key>
2049 // CHECK-NEXT:      <string>Null pointer value stored to &apos;globalPtr&apos;</string>
2050 // CHECK-NEXT:      <key>message</key>
2051 // CHECK-NEXT:      <string>Null pointer value stored to &apos;globalPtr&apos;</string>
2052 // CHECK-NEXT:     </dict>
2053 // CHECK-NEXT:     <dict>
2054 // CHECK-NEXT:      <key>kind</key><string>control</string>
2055 // CHECK-NEXT:      <key>edges</key>
2056 // CHECK-NEXT:       <array>
2057 // CHECK-NEXT:        <dict>
2058 // CHECK-NEXT:         <key>start</key>
2059 // CHECK-NEXT:          <array>
2060 // CHECK-NEXT:           <dict>
2061 // CHECK-NEXT:            <key>line</key><integer>134</integer>
2062 // CHECK-NEXT:            <key>col</key><integer>5</integer>
2063 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2064 // CHECK-NEXT:           </dict>
2065 // CHECK-NEXT:           <dict>
2066 // CHECK-NEXT:            <key>line</key><integer>134</integer>
2067 // CHECK-NEXT:            <key>col</key><integer>13</integer>
2068 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2069 // CHECK-NEXT:           </dict>
2070 // CHECK-NEXT:          </array>
2071 // CHECK-NEXT:         <key>end</key>
2072 // CHECK-NEXT:          <array>
2073 // CHECK-NEXT:           <dict>
2074 // CHECK-NEXT:            <key>line</key><integer>136</integer>
2075 // CHECK-NEXT:            <key>col</key><integer>5</integer>
2076 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2077 // CHECK-NEXT:           </dict>
2078 // CHECK-NEXT:           <dict>
2079 // CHECK-NEXT:            <key>line</key><integer>136</integer>
2080 // CHECK-NEXT:            <key>col</key><integer>5</integer>
2081 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2082 // CHECK-NEXT:           </dict>
2083 // CHECK-NEXT:          </array>
2084 // CHECK-NEXT:        </dict>
2085 // CHECK-NEXT:       </array>
2086 // CHECK-NEXT:     </dict>
2087 // CHECK-NEXT:     <dict>
2088 // CHECK-NEXT:      <key>kind</key><string>event</string>
2089 // CHECK-NEXT:      <key>location</key>
2090 // CHECK-NEXT:      <dict>
2091 // CHECK-NEXT:       <key>line</key><integer>136</integer>
2092 // CHECK-NEXT:       <key>col</key><integer>5</integer>
2093 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2094 // CHECK-NEXT:      </dict>
2095 // CHECK-NEXT:      <key>ranges</key>
2096 // CHECK-NEXT:      <array>
2097 // CHECK-NEXT:        <array>
2098 // CHECK-NEXT:         <dict>
2099 // CHECK-NEXT:          <key>line</key><integer>136</integer>
2100 // CHECK-NEXT:          <key>col</key><integer>5</integer>
2101 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2102 // CHECK-NEXT:         </dict>
2103 // CHECK-NEXT:         <dict>
2104 // CHECK-NEXT:          <key>line</key><integer>136</integer>
2105 // CHECK-NEXT:          <key>col</key><integer>13</integer>
2106 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2107 // CHECK-NEXT:         </dict>
2108 // CHECK-NEXT:        </array>
2109 // CHECK-NEXT:      </array>
2110 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
2111 // CHECK-NEXT:      <key>extended_message</key>
2112 // CHECK-NEXT:      <string>Calling implicit copy assignment operator for &apos;Wrapper&apos;</string>
2113 // CHECK-NEXT:      <key>message</key>
2114 // CHECK-NEXT:      <string>Calling implicit copy assignment operator for &apos;Wrapper&apos;</string>
2115 // CHECK-NEXT:     </dict>
2116 // CHECK-NEXT:     <dict>
2117 // CHECK-NEXT:      <key>kind</key><string>event</string>
2118 // CHECK-NEXT:      <key>location</key>
2119 // CHECK-NEXT:      <dict>
2120 // CHECK-NEXT:       <key>line</key><integer>136</integer>
2121 // CHECK-NEXT:       <key>col</key><integer>5</integer>
2122 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2123 // CHECK-NEXT:      </dict>
2124 // CHECK-NEXT:      <key>ranges</key>
2125 // CHECK-NEXT:      <array>
2126 // CHECK-NEXT:        <array>
2127 // CHECK-NEXT:         <dict>
2128 // CHECK-NEXT:          <key>line</key><integer>136</integer>
2129 // CHECK-NEXT:          <key>col</key><integer>5</integer>
2130 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2131 // CHECK-NEXT:         </dict>
2132 // CHECK-NEXT:         <dict>
2133 // CHECK-NEXT:          <key>line</key><integer>136</integer>
2134 // CHECK-NEXT:          <key>col</key><integer>13</integer>
2135 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2136 // CHECK-NEXT:         </dict>
2137 // CHECK-NEXT:        </array>
2138 // CHECK-NEXT:      </array>
2139 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
2140 // CHECK-NEXT:      <key>extended_message</key>
2141 // CHECK-NEXT:      <string>Calling copy assignment operator for &apos;Dereferencer&apos;</string>
2142 // CHECK-NEXT:      <key>message</key>
2143 // CHECK-NEXT:      <string>Calling copy assignment operator for &apos;Dereferencer&apos;</string>
2144 // CHECK-NEXT:     </dict>
2145 // CHECK-NEXT:     <dict>
2146 // CHECK-NEXT:      <key>kind</key><string>event</string>
2147 // CHECK-NEXT:      <key>location</key>
2148 // CHECK-NEXT:      <dict>
2149 // CHECK-NEXT:       <key>line</key><integer>77</integer>
2150 // CHECK-NEXT:       <key>col</key><integer>5</integer>
2151 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2152 // CHECK-NEXT:      </dict>
2153 // CHECK-NEXT:      <key>depth</key><integer>2</integer>
2154 // CHECK-NEXT:      <key>extended_message</key>
2155 // CHECK-NEXT:      <string>Entered call from copy assignment operator for &apos;Wrapper&apos;</string>
2156 // CHECK-NEXT:      <key>message</key>
2157 // CHECK-NEXT:      <string>Entered call from copy assignment operator for &apos;Wrapper&apos;</string>
2158 // CHECK-NEXT:     </dict>
2159 // CHECK-NEXT:     <dict>
2160 // CHECK-NEXT:      <key>kind</key><string>control</string>
2161 // CHECK-NEXT:      <key>edges</key>
2162 // CHECK-NEXT:       <array>
2163 // CHECK-NEXT:        <dict>
2164 // CHECK-NEXT:         <key>start</key>
2165 // CHECK-NEXT:          <array>
2166 // CHECK-NEXT:           <dict>
2167 // CHECK-NEXT:            <key>line</key><integer>77</integer>
2168 // CHECK-NEXT:            <key>col</key><integer>5</integer>
2169 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2170 // CHECK-NEXT:           </dict>
2171 // CHECK-NEXT:           <dict>
2172 // CHECK-NEXT:            <key>line</key><integer>77</integer>
2173 // CHECK-NEXT:            <key>col</key><integer>8</integer>
2174 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2175 // CHECK-NEXT:           </dict>
2176 // CHECK-NEXT:          </array>
2177 // CHECK-NEXT:         <key>end</key>
2178 // CHECK-NEXT:          <array>
2179 // CHECK-NEXT:           <dict>
2180 // CHECK-NEXT:            <key>line</key><integer>78</integer>
2181 // CHECK-NEXT:            <key>col</key><integer>7</integer>
2182 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2183 // CHECK-NEXT:           </dict>
2184 // CHECK-NEXT:           <dict>
2185 // CHECK-NEXT:            <key>line</key><integer>78</integer>
2186 // CHECK-NEXT:            <key>col</key><integer>7</integer>
2187 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2188 // CHECK-NEXT:           </dict>
2189 // CHECK-NEXT:          </array>
2190 // CHECK-NEXT:        </dict>
2191 // CHECK-NEXT:       </array>
2192 // CHECK-NEXT:     </dict>
2193 // CHECK-NEXT:     <dict>
2194 // CHECK-NEXT:      <key>kind</key><string>control</string>
2195 // CHECK-NEXT:      <key>edges</key>
2196 // CHECK-NEXT:       <array>
2197 // CHECK-NEXT:        <dict>
2198 // CHECK-NEXT:         <key>start</key>
2199 // CHECK-NEXT:          <array>
2200 // CHECK-NEXT:           <dict>
2201 // CHECK-NEXT:            <key>line</key><integer>78</integer>
2202 // CHECK-NEXT:            <key>col</key><integer>7</integer>
2203 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2204 // CHECK-NEXT:           </dict>
2205 // CHECK-NEXT:           <dict>
2206 // CHECK-NEXT:            <key>line</key><integer>78</integer>
2207 // CHECK-NEXT:            <key>col</key><integer>7</integer>
2208 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2209 // CHECK-NEXT:           </dict>
2210 // CHECK-NEXT:          </array>
2211 // CHECK-NEXT:         <key>end</key>
2212 // CHECK-NEXT:          <array>
2213 // CHECK-NEXT:           <dict>
2214 // CHECK-NEXT:            <key>line</key><integer>78</integer>
2215 // CHECK-NEXT:            <key>col</key><integer>18</integer>
2216 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2217 // CHECK-NEXT:           </dict>
2218 // CHECK-NEXT:           <dict>
2219 // CHECK-NEXT:            <key>line</key><integer>78</integer>
2220 // CHECK-NEXT:            <key>col</key><integer>18</integer>
2221 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2222 // CHECK-NEXT:           </dict>
2223 // CHECK-NEXT:          </array>
2224 // CHECK-NEXT:        </dict>
2225 // CHECK-NEXT:       </array>
2226 // CHECK-NEXT:     </dict>
2227 // CHECK-NEXT:     <dict>
2228 // CHECK-NEXT:      <key>kind</key><string>event</string>
2229 // CHECK-NEXT:      <key>location</key>
2230 // CHECK-NEXT:      <dict>
2231 // CHECK-NEXT:       <key>line</key><integer>78</integer>
2232 // CHECK-NEXT:       <key>col</key><integer>18</integer>
2233 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2234 // CHECK-NEXT:      </dict>
2235 // CHECK-NEXT:      <key>ranges</key>
2236 // CHECK-NEXT:      <array>
2237 // CHECK-NEXT:        <array>
2238 // CHECK-NEXT:         <dict>
2239 // CHECK-NEXT:          <key>line</key><integer>78</integer>
2240 // CHECK-NEXT:          <key>col</key><integer>8</integer>
2241 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2242 // CHECK-NEXT:         </dict>
2243 // CHECK-NEXT:         <dict>
2244 // CHECK-NEXT:          <key>line</key><integer>78</integer>
2245 // CHECK-NEXT:          <key>col</key><integer>16</integer>
2246 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2247 // CHECK-NEXT:         </dict>
2248 // CHECK-NEXT:        </array>
2249 // CHECK-NEXT:      </array>
2250 // CHECK-NEXT:      <key>depth</key><integer>2</integer>
2251 // CHECK-NEXT:      <key>extended_message</key>
2252 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;globalPtr&apos;)</string>
2253 // CHECK-NEXT:      <key>message</key>
2254 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;globalPtr&apos;)</string>
2255 // CHECK-NEXT:     </dict>
2256 // CHECK-NEXT:    </array>
2257 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;globalPtr&apos;)</string>
2258 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
2259 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
2260 // CHECK-NEXT:   <key>issue_context_kind</key><string>C++ method</string>
2261 // CHECK-NEXT:   <key>issue_context</key><string>operator=</string>
2262 // CHECK-NEXT:   <key>issue_hash</key><string>1</string>
2263 // CHECK-NEXT:   <key>location</key>
2264 // CHECK-NEXT:   <dict>
2265 // CHECK-NEXT:    <key>line</key><integer>78</integer>
2266 // CHECK-NEXT:    <key>col</key><integer>18</integer>
2267 // CHECK-NEXT:    <key>file</key><integer>0</integer>
2268 // CHECK-NEXT:   </dict>
2269 // CHECK-NEXT:   </dict>
2270 // CHECK-NEXT:   <dict>
2271 // CHECK-NEXT:    <key>path</key>
2272 // CHECK-NEXT:    <array>
2273 // CHECK-NEXT:     <dict>
2274 // CHECK-NEXT:      <key>kind</key><string>control</string>
2275 // CHECK-NEXT:      <key>edges</key>
2276 // CHECK-NEXT:       <array>
2277 // CHECK-NEXT:        <dict>
2278 // CHECK-NEXT:         <key>start</key>
2279 // CHECK-NEXT:          <array>
2280 // CHECK-NEXT:           <dict>
2281 // CHECK-NEXT:            <key>line</key><integer>142</integer>
2282 // CHECK-NEXT:            <key>col</key><integer>5</integer>
2283 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2284 // CHECK-NEXT:           </dict>
2285 // CHECK-NEXT:           <dict>
2286 // CHECK-NEXT:            <key>line</key><integer>142</integer>
2287 // CHECK-NEXT:            <key>col</key><integer>18</integer>
2288 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2289 // CHECK-NEXT:           </dict>
2290 // CHECK-NEXT:          </array>
2291 // CHECK-NEXT:         <key>end</key>
2292 // CHECK-NEXT:          <array>
2293 // CHECK-NEXT:           <dict>
2294 // CHECK-NEXT:            <key>line</key><integer>142</integer>
2295 // CHECK-NEXT:            <key>col</key><integer>20</integer>
2296 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2297 // CHECK-NEXT:           </dict>
2298 // CHECK-NEXT:           <dict>
2299 // CHECK-NEXT:            <key>line</key><integer>142</integer>
2300 // CHECK-NEXT:            <key>col</key><integer>20</integer>
2301 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2302 // CHECK-NEXT:           </dict>
2303 // CHECK-NEXT:          </array>
2304 // CHECK-NEXT:        </dict>
2305 // CHECK-NEXT:       </array>
2306 // CHECK-NEXT:     </dict>
2307 // CHECK-NEXT:     <dict>
2308 // CHECK-NEXT:      <key>kind</key><string>control</string>
2309 // CHECK-NEXT:      <key>edges</key>
2310 // CHECK-NEXT:       <array>
2311 // CHECK-NEXT:        <dict>
2312 // CHECK-NEXT:         <key>start</key>
2313 // CHECK-NEXT:          <array>
2314 // CHECK-NEXT:           <dict>
2315 // CHECK-NEXT:            <key>line</key><integer>142</integer>
2316 // CHECK-NEXT:            <key>col</key><integer>20</integer>
2317 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2318 // CHECK-NEXT:           </dict>
2319 // CHECK-NEXT:           <dict>
2320 // CHECK-NEXT:            <key>line</key><integer>142</integer>
2321 // CHECK-NEXT:            <key>col</key><integer>20</integer>
2322 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2323 // CHECK-NEXT:           </dict>
2324 // CHECK-NEXT:          </array>
2325 // CHECK-NEXT:         <key>end</key>
2326 // CHECK-NEXT:          <array>
2327 // CHECK-NEXT:           <dict>
2328 // CHECK-NEXT:            <key>line</key><integer>143</integer>
2329 // CHECK-NEXT:            <key>col</key><integer>5</integer>
2330 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2331 // CHECK-NEXT:           </dict>
2332 // CHECK-NEXT:           <dict>
2333 // CHECK-NEXT:            <key>line</key><integer>143</integer>
2334 // CHECK-NEXT:            <key>col</key><integer>13</integer>
2335 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2336 // CHECK-NEXT:           </dict>
2337 // CHECK-NEXT:          </array>
2338 // CHECK-NEXT:        </dict>
2339 // CHECK-NEXT:       </array>
2340 // CHECK-NEXT:     </dict>
2341 // CHECK-NEXT:     <dict>
2342 // CHECK-NEXT:      <key>kind</key><string>event</string>
2343 // CHECK-NEXT:      <key>location</key>
2344 // CHECK-NEXT:      <dict>
2345 // CHECK-NEXT:       <key>line</key><integer>143</integer>
2346 // CHECK-NEXT:       <key>col</key><integer>5</integer>
2347 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2348 // CHECK-NEXT:      </dict>
2349 // CHECK-NEXT:      <key>ranges</key>
2350 // CHECK-NEXT:      <array>
2351 // CHECK-NEXT:        <array>
2352 // CHECK-NEXT:         <dict>
2353 // CHECK-NEXT:          <key>line</key><integer>143</integer>
2354 // CHECK-NEXT:          <key>col</key><integer>5</integer>
2355 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2356 // CHECK-NEXT:         </dict>
2357 // CHECK-NEXT:         <dict>
2358 // CHECK-NEXT:          <key>line</key><integer>143</integer>
2359 // CHECK-NEXT:          <key>col</key><integer>17</integer>
2360 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2361 // CHECK-NEXT:         </dict>
2362 // CHECK-NEXT:        </array>
2363 // CHECK-NEXT:      </array>
2364 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
2365 // CHECK-NEXT:      <key>extended_message</key>
2366 // CHECK-NEXT:      <string>Null pointer value stored to &apos;globalPtr&apos;</string>
2367 // CHECK-NEXT:      <key>message</key>
2368 // CHECK-NEXT:      <string>Null pointer value stored to &apos;globalPtr&apos;</string>
2369 // CHECK-NEXT:     </dict>
2370 // CHECK-NEXT:     <dict>
2371 // CHECK-NEXT:      <key>kind</key><string>control</string>
2372 // CHECK-NEXT:      <key>edges</key>
2373 // CHECK-NEXT:       <array>
2374 // CHECK-NEXT:        <dict>
2375 // CHECK-NEXT:         <key>start</key>
2376 // CHECK-NEXT:          <array>
2377 // CHECK-NEXT:           <dict>
2378 // CHECK-NEXT:            <key>line</key><integer>143</integer>
2379 // CHECK-NEXT:            <key>col</key><integer>5</integer>
2380 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2381 // CHECK-NEXT:           </dict>
2382 // CHECK-NEXT:           <dict>
2383 // CHECK-NEXT:            <key>line</key><integer>143</integer>
2384 // CHECK-NEXT:            <key>col</key><integer>13</integer>
2385 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2386 // CHECK-NEXT:           </dict>
2387 // CHECK-NEXT:          </array>
2388 // CHECK-NEXT:         <key>end</key>
2389 // CHECK-NEXT:          <array>
2390 // CHECK-NEXT:           <dict>
2391 // CHECK-NEXT:            <key>line</key><integer>145</integer>
2392 // CHECK-NEXT:            <key>col</key><integer>9</integer>
2393 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2394 // CHECK-NEXT:           </dict>
2395 // CHECK-NEXT:           <dict>
2396 // CHECK-NEXT:            <key>line</key><integer>145</integer>
2397 // CHECK-NEXT:            <key>col</key><integer>12</integer>
2398 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2399 // CHECK-NEXT:           </dict>
2400 // CHECK-NEXT:          </array>
2401 // CHECK-NEXT:        </dict>
2402 // CHECK-NEXT:       </array>
2403 // CHECK-NEXT:     </dict>
2404 // CHECK-NEXT:     <dict>
2405 // CHECK-NEXT:      <key>kind</key><string>event</string>
2406 // CHECK-NEXT:      <key>location</key>
2407 // CHECK-NEXT:      <dict>
2408 // CHECK-NEXT:       <key>line</key><integer>145</integer>
2409 // CHECK-NEXT:       <key>col</key><integer>5</integer>
2410 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2411 // CHECK-NEXT:      </dict>
2412 // CHECK-NEXT:      <key>ranges</key>
2413 // CHECK-NEXT:      <array>
2414 // CHECK-NEXT:        <array>
2415 // CHECK-NEXT:         <dict>
2416 // CHECK-NEXT:          <key>line</key><integer>145</integer>
2417 // CHECK-NEXT:          <key>col</key><integer>5</integer>
2418 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2419 // CHECK-NEXT:         </dict>
2420 // CHECK-NEXT:         <dict>
2421 // CHECK-NEXT:          <key>line</key><integer>145</integer>
2422 // CHECK-NEXT:          <key>col</key><integer>19</integer>
2423 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2424 // CHECK-NEXT:         </dict>
2425 // CHECK-NEXT:        </array>
2426 // CHECK-NEXT:      </array>
2427 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
2428 // CHECK-NEXT:      <key>extended_message</key>
2429 // CHECK-NEXT:      <string>Calling defaulted move assignment operator for &apos;MovableWrapper&apos;</string>
2430 // CHECK-NEXT:      <key>message</key>
2431 // CHECK-NEXT:      <string>Calling defaulted move assignment operator for &apos;MovableWrapper&apos;</string>
2432 // CHECK-NEXT:     </dict>
2433 // CHECK-NEXT:     <dict>
2434 // CHECK-NEXT:      <key>kind</key><string>control</string>
2435 // CHECK-NEXT:      <key>edges</key>
2436 // CHECK-NEXT:       <array>
2437 // CHECK-NEXT:        <dict>
2438 // CHECK-NEXT:         <key>start</key>
2439 // CHECK-NEXT:          <array>
2440 // CHECK-NEXT:           <dict>
2441 // CHECK-NEXT:            <key>line</key><integer>105</integer>
2442 // CHECK-NEXT:            <key>col</key><integer>5</integer>
2443 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2444 // CHECK-NEXT:           </dict>
2445 // CHECK-NEXT:           <dict>
2446 // CHECK-NEXT:            <key>line</key><integer>105</integer>
2447 // CHECK-NEXT:            <key>col</key><integer>18</integer>
2448 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2449 // CHECK-NEXT:           </dict>
2450 // CHECK-NEXT:          </array>
2451 // CHECK-NEXT:         <key>end</key>
2452 // CHECK-NEXT:          <array>
2453 // CHECK-NEXT:           <dict>
2454 // CHECK-NEXT:            <key>line</key><integer>105</integer>
2455 // CHECK-NEXT:            <key>col</key><integer>21</integer>
2456 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2457 // CHECK-NEXT:           </dict>
2458 // CHECK-NEXT:           <dict>
2459 // CHECK-NEXT:            <key>line</key><integer>105</integer>
2460 // CHECK-NEXT:            <key>col</key><integer>28</integer>
2461 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2462 // CHECK-NEXT:           </dict>
2463 // CHECK-NEXT:          </array>
2464 // CHECK-NEXT:        </dict>
2465 // CHECK-NEXT:       </array>
2466 // CHECK-NEXT:     </dict>
2467 // CHECK-NEXT:     <dict>
2468 // CHECK-NEXT:      <key>kind</key><string>event</string>
2469 // CHECK-NEXT:      <key>location</key>
2470 // CHECK-NEXT:      <dict>
2471 // CHECK-NEXT:       <key>line</key><integer>105</integer>
2472 // CHECK-NEXT:       <key>col</key><integer>21</integer>
2473 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2474 // CHECK-NEXT:      </dict>
2475 // CHECK-NEXT:      <key>ranges</key>
2476 // CHECK-NEXT:      <array>
2477 // CHECK-NEXT:        <array>
2478 // CHECK-NEXT:         <dict>
2479 // CHECK-NEXT:          <key>line</key><integer>105</integer>
2480 // CHECK-NEXT:          <key>col</key><integer>21</integer>
2481 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2482 // CHECK-NEXT:         </dict>
2483 // CHECK-NEXT:         <dict>
2484 // CHECK-NEXT:          <key>line</key><integer>105</integer>
2485 // CHECK-NEXT:          <key>col</key><integer>28</integer>
2486 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2487 // CHECK-NEXT:         </dict>
2488 // CHECK-NEXT:        </array>
2489 // CHECK-NEXT:      </array>
2490 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
2491 // CHECK-NEXT:      <key>extended_message</key>
2492 // CHECK-NEXT:      <string>Calling move assignment operator for &apos;Dereferencer&apos;</string>
2493 // CHECK-NEXT:      <key>message</key>
2494 // CHECK-NEXT:      <string>Calling move assignment operator for &apos;Dereferencer&apos;</string>
2495 // CHECK-NEXT:     </dict>
2496 // CHECK-NEXT:     <dict>
2497 // CHECK-NEXT:      <key>kind</key><string>event</string>
2498 // CHECK-NEXT:      <key>location</key>
2499 // CHECK-NEXT:      <dict>
2500 // CHECK-NEXT:       <key>line</key><integer>82</integer>
2501 // CHECK-NEXT:       <key>col</key><integer>5</integer>
2502 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2503 // CHECK-NEXT:      </dict>
2504 // CHECK-NEXT:      <key>depth</key><integer>2</integer>
2505 // CHECK-NEXT:      <key>extended_message</key>
2506 // CHECK-NEXT:      <string>Entered call from move assignment operator for &apos;MovableWrapper&apos;</string>
2507 // CHECK-NEXT:      <key>message</key>
2508 // CHECK-NEXT:      <string>Entered call from move assignment operator for &apos;MovableWrapper&apos;</string>
2509 // CHECK-NEXT:     </dict>
2510 // CHECK-NEXT:     <dict>
2511 // CHECK-NEXT:      <key>kind</key><string>control</string>
2512 // CHECK-NEXT:      <key>edges</key>
2513 // CHECK-NEXT:       <array>
2514 // CHECK-NEXT:        <dict>
2515 // CHECK-NEXT:         <key>start</key>
2516 // CHECK-NEXT:          <array>
2517 // CHECK-NEXT:           <dict>
2518 // CHECK-NEXT:            <key>line</key><integer>82</integer>
2519 // CHECK-NEXT:            <key>col</key><integer>5</integer>
2520 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2521 // CHECK-NEXT:           </dict>
2522 // CHECK-NEXT:           <dict>
2523 // CHECK-NEXT:            <key>line</key><integer>82</integer>
2524 // CHECK-NEXT:            <key>col</key><integer>8</integer>
2525 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2526 // CHECK-NEXT:           </dict>
2527 // CHECK-NEXT:          </array>
2528 // CHECK-NEXT:         <key>end</key>
2529 // CHECK-NEXT:          <array>
2530 // CHECK-NEXT:           <dict>
2531 // CHECK-NEXT:            <key>line</key><integer>83</integer>
2532 // CHECK-NEXT:            <key>col</key><integer>7</integer>
2533 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2534 // CHECK-NEXT:           </dict>
2535 // CHECK-NEXT:           <dict>
2536 // CHECK-NEXT:            <key>line</key><integer>83</integer>
2537 // CHECK-NEXT:            <key>col</key><integer>7</integer>
2538 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2539 // CHECK-NEXT:           </dict>
2540 // CHECK-NEXT:          </array>
2541 // CHECK-NEXT:        </dict>
2542 // CHECK-NEXT:       </array>
2543 // CHECK-NEXT:     </dict>
2544 // CHECK-NEXT:     <dict>
2545 // CHECK-NEXT:      <key>kind</key><string>control</string>
2546 // CHECK-NEXT:      <key>edges</key>
2547 // CHECK-NEXT:       <array>
2548 // CHECK-NEXT:        <dict>
2549 // CHECK-NEXT:         <key>start</key>
2550 // CHECK-NEXT:          <array>
2551 // CHECK-NEXT:           <dict>
2552 // CHECK-NEXT:            <key>line</key><integer>83</integer>
2553 // CHECK-NEXT:            <key>col</key><integer>7</integer>
2554 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2555 // CHECK-NEXT:           </dict>
2556 // CHECK-NEXT:           <dict>
2557 // CHECK-NEXT:            <key>line</key><integer>83</integer>
2558 // CHECK-NEXT:            <key>col</key><integer>7</integer>
2559 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2560 // CHECK-NEXT:           </dict>
2561 // CHECK-NEXT:          </array>
2562 // CHECK-NEXT:         <key>end</key>
2563 // CHECK-NEXT:          <array>
2564 // CHECK-NEXT:           <dict>
2565 // CHECK-NEXT:            <key>line</key><integer>83</integer>
2566 // CHECK-NEXT:            <key>col</key><integer>18</integer>
2567 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2568 // CHECK-NEXT:           </dict>
2569 // CHECK-NEXT:           <dict>
2570 // CHECK-NEXT:            <key>line</key><integer>83</integer>
2571 // CHECK-NEXT:            <key>col</key><integer>18</integer>
2572 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2573 // CHECK-NEXT:           </dict>
2574 // CHECK-NEXT:          </array>
2575 // CHECK-NEXT:        </dict>
2576 // CHECK-NEXT:       </array>
2577 // CHECK-NEXT:     </dict>
2578 // CHECK-NEXT:     <dict>
2579 // CHECK-NEXT:      <key>kind</key><string>event</string>
2580 // CHECK-NEXT:      <key>location</key>
2581 // CHECK-NEXT:      <dict>
2582 // CHECK-NEXT:       <key>line</key><integer>83</integer>
2583 // CHECK-NEXT:       <key>col</key><integer>18</integer>
2584 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2585 // CHECK-NEXT:      </dict>
2586 // CHECK-NEXT:      <key>ranges</key>
2587 // CHECK-NEXT:      <array>
2588 // CHECK-NEXT:        <array>
2589 // CHECK-NEXT:         <dict>
2590 // CHECK-NEXT:          <key>line</key><integer>83</integer>
2591 // CHECK-NEXT:          <key>col</key><integer>8</integer>
2592 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2593 // CHECK-NEXT:         </dict>
2594 // CHECK-NEXT:         <dict>
2595 // CHECK-NEXT:          <key>line</key><integer>83</integer>
2596 // CHECK-NEXT:          <key>col</key><integer>16</integer>
2597 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2598 // CHECK-NEXT:         </dict>
2599 // CHECK-NEXT:        </array>
2600 // CHECK-NEXT:      </array>
2601 // CHECK-NEXT:      <key>depth</key><integer>2</integer>
2602 // CHECK-NEXT:      <key>extended_message</key>
2603 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;globalPtr&apos;)</string>
2604 // CHECK-NEXT:      <key>message</key>
2605 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;globalPtr&apos;)</string>
2606 // CHECK-NEXT:     </dict>
2607 // CHECK-NEXT:    </array>
2608 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;globalPtr&apos;)</string>
2609 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
2610 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
2611 // CHECK-NEXT:   <key>issue_context_kind</key><string>C++ method</string>
2612 // CHECK-NEXT:   <key>issue_context</key><string>operator=</string>
2613 // CHECK-NEXT:   <key>issue_hash</key><string>1</string>
2614 // CHECK-NEXT:   <key>location</key>
2615 // CHECK-NEXT:   <dict>
2616 // CHECK-NEXT:    <key>line</key><integer>83</integer>
2617 // CHECK-NEXT:    <key>col</key><integer>18</integer>
2618 // CHECK-NEXT:    <key>file</key><integer>0</integer>
2619 // CHECK-NEXT:   </dict>
2620 // CHECK-NEXT:   </dict>
2621 // CHECK-NEXT:   <dict>
2622 // CHECK-NEXT:    <key>path</key>
2623 // CHECK-NEXT:    <array>
2624 // CHECK-NEXT:     <dict>
2625 // CHECK-NEXT:      <key>kind</key><string>control</string>
2626 // CHECK-NEXT:      <key>edges</key>
2627 // CHECK-NEXT:       <array>
2628 // CHECK-NEXT:        <dict>
2629 // CHECK-NEXT:         <key>start</key>
2630 // CHECK-NEXT:          <array>
2631 // CHECK-NEXT:           <dict>
2632 // CHECK-NEXT:            <key>line</key><integer>150</integer>
2633 // CHECK-NEXT:            <key>col</key><integer>5</integer>
2634 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2635 // CHECK-NEXT:           </dict>
2636 // CHECK-NEXT:           <dict>
2637 // CHECK-NEXT:            <key>line</key><integer>150</integer>
2638 // CHECK-NEXT:            <key>col</key><integer>11</integer>
2639 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2640 // CHECK-NEXT:           </dict>
2641 // CHECK-NEXT:          </array>
2642 // CHECK-NEXT:         <key>end</key>
2643 // CHECK-NEXT:          <array>
2644 // CHECK-NEXT:           <dict>
2645 // CHECK-NEXT:            <key>line</key><integer>150</integer>
2646 // CHECK-NEXT:            <key>col</key><integer>13</integer>
2647 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2648 // CHECK-NEXT:           </dict>
2649 // CHECK-NEXT:           <dict>
2650 // CHECK-NEXT:            <key>line</key><integer>150</integer>
2651 // CHECK-NEXT:            <key>col</key><integer>13</integer>
2652 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2653 // CHECK-NEXT:           </dict>
2654 // CHECK-NEXT:          </array>
2655 // CHECK-NEXT:        </dict>
2656 // CHECK-NEXT:       </array>
2657 // CHECK-NEXT:     </dict>
2658 // CHECK-NEXT:     <dict>
2659 // CHECK-NEXT:      <key>kind</key><string>control</string>
2660 // CHECK-NEXT:      <key>edges</key>
2661 // CHECK-NEXT:       <array>
2662 // CHECK-NEXT:        <dict>
2663 // CHECK-NEXT:         <key>start</key>
2664 // CHECK-NEXT:          <array>
2665 // CHECK-NEXT:           <dict>
2666 // CHECK-NEXT:            <key>line</key><integer>150</integer>
2667 // CHECK-NEXT:            <key>col</key><integer>13</integer>
2668 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2669 // CHECK-NEXT:           </dict>
2670 // CHECK-NEXT:           <dict>
2671 // CHECK-NEXT:            <key>line</key><integer>150</integer>
2672 // CHECK-NEXT:            <key>col</key><integer>13</integer>
2673 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2674 // CHECK-NEXT:           </dict>
2675 // CHECK-NEXT:          </array>
2676 // CHECK-NEXT:         <key>end</key>
2677 // CHECK-NEXT:          <array>
2678 // CHECK-NEXT:           <dict>
2679 // CHECK-NEXT:            <key>line</key><integer>151</integer>
2680 // CHECK-NEXT:            <key>col</key><integer>5</integer>
2681 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2682 // CHECK-NEXT:           </dict>
2683 // CHECK-NEXT:           <dict>
2684 // CHECK-NEXT:            <key>line</key><integer>151</integer>
2685 // CHECK-NEXT:            <key>col</key><integer>13</integer>
2686 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2687 // CHECK-NEXT:           </dict>
2688 // CHECK-NEXT:          </array>
2689 // CHECK-NEXT:        </dict>
2690 // CHECK-NEXT:       </array>
2691 // CHECK-NEXT:     </dict>
2692 // CHECK-NEXT:     <dict>
2693 // CHECK-NEXT:      <key>kind</key><string>event</string>
2694 // CHECK-NEXT:      <key>location</key>
2695 // CHECK-NEXT:      <dict>
2696 // CHECK-NEXT:       <key>line</key><integer>151</integer>
2697 // CHECK-NEXT:       <key>col</key><integer>5</integer>
2698 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2699 // CHECK-NEXT:      </dict>
2700 // CHECK-NEXT:      <key>ranges</key>
2701 // CHECK-NEXT:      <array>
2702 // CHECK-NEXT:        <array>
2703 // CHECK-NEXT:         <dict>
2704 // CHECK-NEXT:          <key>line</key><integer>151</integer>
2705 // CHECK-NEXT:          <key>col</key><integer>5</integer>
2706 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2707 // CHECK-NEXT:         </dict>
2708 // CHECK-NEXT:         <dict>
2709 // CHECK-NEXT:          <key>line</key><integer>151</integer>
2710 // CHECK-NEXT:          <key>col</key><integer>17</integer>
2711 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2712 // CHECK-NEXT:         </dict>
2713 // CHECK-NEXT:        </array>
2714 // CHECK-NEXT:      </array>
2715 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
2716 // CHECK-NEXT:      <key>extended_message</key>
2717 // CHECK-NEXT:      <string>Null pointer value stored to &apos;globalPtr&apos;</string>
2718 // CHECK-NEXT:      <key>message</key>
2719 // CHECK-NEXT:      <string>Null pointer value stored to &apos;globalPtr&apos;</string>
2720 // CHECK-NEXT:     </dict>
2721 // CHECK-NEXT:     <dict>
2722 // CHECK-NEXT:      <key>kind</key><string>control</string>
2723 // CHECK-NEXT:      <key>edges</key>
2724 // CHECK-NEXT:       <array>
2725 // CHECK-NEXT:        <dict>
2726 // CHECK-NEXT:         <key>start</key>
2727 // CHECK-NEXT:          <array>
2728 // CHECK-NEXT:           <dict>
2729 // CHECK-NEXT:            <key>line</key><integer>151</integer>
2730 // CHECK-NEXT:            <key>col</key><integer>5</integer>
2731 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2732 // CHECK-NEXT:           </dict>
2733 // CHECK-NEXT:           <dict>
2734 // CHECK-NEXT:            <key>line</key><integer>151</integer>
2735 // CHECK-NEXT:            <key>col</key><integer>13</integer>
2736 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2737 // CHECK-NEXT:           </dict>
2738 // CHECK-NEXT:          </array>
2739 // CHECK-NEXT:         <key>end</key>
2740 // CHECK-NEXT:          <array>
2741 // CHECK-NEXT:           <dict>
2742 // CHECK-NEXT:            <key>line</key><integer>153</integer>
2743 // CHECK-NEXT:            <key>col</key><integer>3</integer>
2744 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2745 // CHECK-NEXT:           </dict>
2746 // CHECK-NEXT:           <dict>
2747 // CHECK-NEXT:            <key>line</key><integer>153</integer>
2748 // CHECK-NEXT:            <key>col</key><integer>3</integer>
2749 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2750 // CHECK-NEXT:           </dict>
2751 // CHECK-NEXT:          </array>
2752 // CHECK-NEXT:        </dict>
2753 // CHECK-NEXT:       </array>
2754 // CHECK-NEXT:     </dict>
2755 // CHECK-NEXT:     <dict>
2756 // CHECK-NEXT:      <key>kind</key><string>event</string>
2757 // CHECK-NEXT:      <key>location</key>
2758 // CHECK-NEXT:      <dict>
2759 // CHECK-NEXT:       <key>line</key><integer>153</integer>
2760 // CHECK-NEXT:       <key>col</key><integer>3</integer>
2761 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2762 // CHECK-NEXT:      </dict>
2763 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
2764 // CHECK-NEXT:      <key>extended_message</key>
2765 // CHECK-NEXT:      <string>Calling implicit destructor for &apos;Wrapper&apos;</string>
2766 // CHECK-NEXT:      <key>message</key>
2767 // CHECK-NEXT:      <string>Calling implicit destructor for &apos;Wrapper&apos;</string>
2768 // CHECK-NEXT:     </dict>
2769 // CHECK-NEXT:     <dict>
2770 // CHECK-NEXT:      <key>kind</key><string>event</string>
2771 // CHECK-NEXT:      <key>location</key>
2772 // CHECK-NEXT:      <dict>
2773 // CHECK-NEXT:       <key>line</key><integer>153</integer>
2774 // CHECK-NEXT:       <key>col</key><integer>3</integer>
2775 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2776 // CHECK-NEXT:      </dict>
2777 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
2778 // CHECK-NEXT:      <key>extended_message</key>
2779 // CHECK-NEXT:      <string>Calling &apos;~Dereferencer&apos;</string>
2780 // CHECK-NEXT:      <key>message</key>
2781 // CHECK-NEXT:      <string>Calling &apos;~Dereferencer&apos;</string>
2782 // CHECK-NEXT:     </dict>
2783 // CHECK-NEXT:     <dict>
2784 // CHECK-NEXT:      <key>kind</key><string>event</string>
2785 // CHECK-NEXT:      <key>location</key>
2786 // CHECK-NEXT:      <dict>
2787 // CHECK-NEXT:       <key>line</key><integer>87</integer>
2788 // CHECK-NEXT:       <key>col</key><integer>5</integer>
2789 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2790 // CHECK-NEXT:      </dict>
2791 // CHECK-NEXT:      <key>depth</key><integer>2</integer>
2792 // CHECK-NEXT:      <key>extended_message</key>
2793 // CHECK-NEXT:      <string>Entered call from destructor for &apos;Wrapper&apos;</string>
2794 // CHECK-NEXT:      <key>message</key>
2795 // CHECK-NEXT:      <string>Entered call from destructor for &apos;Wrapper&apos;</string>
2796 // CHECK-NEXT:     </dict>
2797 // CHECK-NEXT:     <dict>
2798 // CHECK-NEXT:      <key>kind</key><string>control</string>
2799 // CHECK-NEXT:      <key>edges</key>
2800 // CHECK-NEXT:       <array>
2801 // CHECK-NEXT:        <dict>
2802 // CHECK-NEXT:         <key>start</key>
2803 // CHECK-NEXT:          <array>
2804 // CHECK-NEXT:           <dict>
2805 // CHECK-NEXT:            <key>line</key><integer>87</integer>
2806 // CHECK-NEXT:            <key>col</key><integer>5</integer>
2807 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2808 // CHECK-NEXT:           </dict>
2809 // CHECK-NEXT:           <dict>
2810 // CHECK-NEXT:            <key>line</key><integer>87</integer>
2811 // CHECK-NEXT:            <key>col</key><integer>5</integer>
2812 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2813 // CHECK-NEXT:           </dict>
2814 // CHECK-NEXT:          </array>
2815 // CHECK-NEXT:         <key>end</key>
2816 // CHECK-NEXT:          <array>
2817 // CHECK-NEXT:           <dict>
2818 // CHECK-NEXT:            <key>line</key><integer>88</integer>
2819 // CHECK-NEXT:            <key>col</key><integer>7</integer>
2820 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2821 // CHECK-NEXT:           </dict>
2822 // CHECK-NEXT:           <dict>
2823 // CHECK-NEXT:            <key>line</key><integer>88</integer>
2824 // CHECK-NEXT:            <key>col</key><integer>7</integer>
2825 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2826 // CHECK-NEXT:           </dict>
2827 // CHECK-NEXT:          </array>
2828 // CHECK-NEXT:        </dict>
2829 // CHECK-NEXT:       </array>
2830 // CHECK-NEXT:     </dict>
2831 // CHECK-NEXT:     <dict>
2832 // CHECK-NEXT:      <key>kind</key><string>control</string>
2833 // CHECK-NEXT:      <key>edges</key>
2834 // CHECK-NEXT:       <array>
2835 // CHECK-NEXT:        <dict>
2836 // CHECK-NEXT:         <key>start</key>
2837 // CHECK-NEXT:          <array>
2838 // CHECK-NEXT:           <dict>
2839 // CHECK-NEXT:            <key>line</key><integer>88</integer>
2840 // CHECK-NEXT:            <key>col</key><integer>7</integer>
2841 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2842 // CHECK-NEXT:           </dict>
2843 // CHECK-NEXT:           <dict>
2844 // CHECK-NEXT:            <key>line</key><integer>88</integer>
2845 // CHECK-NEXT:            <key>col</key><integer>7</integer>
2846 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2847 // CHECK-NEXT:           </dict>
2848 // CHECK-NEXT:          </array>
2849 // CHECK-NEXT:         <key>end</key>
2850 // CHECK-NEXT:          <array>
2851 // CHECK-NEXT:           <dict>
2852 // CHECK-NEXT:            <key>line</key><integer>88</integer>
2853 // CHECK-NEXT:            <key>col</key><integer>18</integer>
2854 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2855 // CHECK-NEXT:           </dict>
2856 // CHECK-NEXT:           <dict>
2857 // CHECK-NEXT:            <key>line</key><integer>88</integer>
2858 // CHECK-NEXT:            <key>col</key><integer>18</integer>
2859 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2860 // CHECK-NEXT:           </dict>
2861 // CHECK-NEXT:          </array>
2862 // CHECK-NEXT:        </dict>
2863 // CHECK-NEXT:       </array>
2864 // CHECK-NEXT:     </dict>
2865 // CHECK-NEXT:     <dict>
2866 // CHECK-NEXT:      <key>kind</key><string>event</string>
2867 // CHECK-NEXT:      <key>location</key>
2868 // CHECK-NEXT:      <dict>
2869 // CHECK-NEXT:       <key>line</key><integer>88</integer>
2870 // CHECK-NEXT:       <key>col</key><integer>18</integer>
2871 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2872 // CHECK-NEXT:      </dict>
2873 // CHECK-NEXT:      <key>ranges</key>
2874 // CHECK-NEXT:      <array>
2875 // CHECK-NEXT:        <array>
2876 // CHECK-NEXT:         <dict>
2877 // CHECK-NEXT:          <key>line</key><integer>88</integer>
2878 // CHECK-NEXT:          <key>col</key><integer>8</integer>
2879 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2880 // CHECK-NEXT:         </dict>
2881 // CHECK-NEXT:         <dict>
2882 // CHECK-NEXT:          <key>line</key><integer>88</integer>
2883 // CHECK-NEXT:          <key>col</key><integer>16</integer>
2884 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2885 // CHECK-NEXT:         </dict>
2886 // CHECK-NEXT:        </array>
2887 // CHECK-NEXT:      </array>
2888 // CHECK-NEXT:      <key>depth</key><integer>2</integer>
2889 // CHECK-NEXT:      <key>extended_message</key>
2890 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;globalPtr&apos;)</string>
2891 // CHECK-NEXT:      <key>message</key>
2892 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;globalPtr&apos;)</string>
2893 // CHECK-NEXT:     </dict>
2894 // CHECK-NEXT:    </array>
2895 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;globalPtr&apos;)</string>
2896 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
2897 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
2898 // CHECK-NEXT:   <key>issue_hash</key><string>1</string>
2899 // CHECK-NEXT:   <key>location</key>
2900 // CHECK-NEXT:   <dict>
2901 // CHECK-NEXT:    <key>line</key><integer>88</integer>
2902 // CHECK-NEXT:    <key>col</key><integer>18</integer>
2903 // CHECK-NEXT:    <key>file</key><integer>0</integer>
2904 // CHECK-NEXT:   </dict>
2905 // CHECK-NEXT:   </dict>
2906 // CHECK-NEXT:   <dict>
2907 // CHECK-NEXT:    <key>path</key>
2908 // CHECK-NEXT:    <array>
2909 // CHECK-NEXT:     <dict>
2910 // CHECK-NEXT:      <key>kind</key><string>control</string>
2911 // CHECK-NEXT:      <key>edges</key>
2912 // CHECK-NEXT:       <array>
2913 // CHECK-NEXT:        <dict>
2914 // CHECK-NEXT:         <key>start</key>
2915 // CHECK-NEXT:          <array>
2916 // CHECK-NEXT:           <dict>
2917 // CHECK-NEXT:            <key>line</key><integer>173</integer>
2918 // CHECK-NEXT:            <key>col</key><integer>5</integer>
2919 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2920 // CHECK-NEXT:           </dict>
2921 // CHECK-NEXT:           <dict>
2922 // CHECK-NEXT:            <key>line</key><integer>173</integer>
2923 // CHECK-NEXT:            <key>col</key><integer>7</integer>
2924 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2925 // CHECK-NEXT:           </dict>
2926 // CHECK-NEXT:          </array>
2927 // CHECK-NEXT:         <key>end</key>
2928 // CHECK-NEXT:          <array>
2929 // CHECK-NEXT:           <dict>
2930 // CHECK-NEXT:            <key>line</key><integer>173</integer>
2931 // CHECK-NEXT:            <key>col</key><integer>23</integer>
2932 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2933 // CHECK-NEXT:           </dict>
2934 // CHECK-NEXT:           <dict>
2935 // CHECK-NEXT:            <key>line</key><integer>173</integer>
2936 // CHECK-NEXT:            <key>col</key><integer>29</integer>
2937 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2938 // CHECK-NEXT:           </dict>
2939 // CHECK-NEXT:          </array>
2940 // CHECK-NEXT:        </dict>
2941 // CHECK-NEXT:       </array>
2942 // CHECK-NEXT:     </dict>
2943 // CHECK-NEXT:     <dict>
2944 // CHECK-NEXT:      <key>kind</key><string>event</string>
2945 // CHECK-NEXT:      <key>location</key>
2946 // CHECK-NEXT:      <dict>
2947 // CHECK-NEXT:       <key>line</key><integer>173</integer>
2948 // CHECK-NEXT:       <key>col</key><integer>23</integer>
2949 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2950 // CHECK-NEXT:      </dict>
2951 // CHECK-NEXT:      <key>ranges</key>
2952 // CHECK-NEXT:      <array>
2953 // CHECK-NEXT:        <array>
2954 // CHECK-NEXT:         <dict>
2955 // CHECK-NEXT:          <key>line</key><integer>173</integer>
2956 // CHECK-NEXT:          <key>col</key><integer>23</integer>
2957 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2958 // CHECK-NEXT:         </dict>
2959 // CHECK-NEXT:         <dict>
2960 // CHECK-NEXT:          <key>line</key><integer>173</integer>
2961 // CHECK-NEXT:          <key>col</key><integer>31</integer>
2962 // CHECK-NEXT:          <key>file</key><integer>0</integer>
2963 // CHECK-NEXT:         </dict>
2964 // CHECK-NEXT:        </array>
2965 // CHECK-NEXT:      </array>
2966 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
2967 // CHECK-NEXT:      <key>extended_message</key>
2968 // CHECK-NEXT:      <string>Calling &apos;getZero&apos;</string>
2969 // CHECK-NEXT:      <key>message</key>
2970 // CHECK-NEXT:      <string>Calling &apos;getZero&apos;</string>
2971 // CHECK-NEXT:     </dict>
2972 // CHECK-NEXT:     <dict>
2973 // CHECK-NEXT:      <key>kind</key><string>event</string>
2974 // CHECK-NEXT:      <key>location</key>
2975 // CHECK-NEXT:      <dict>
2976 // CHECK-NEXT:       <key>line</key><integer>159</integer>
2977 // CHECK-NEXT:       <key>col</key><integer>3</integer>
2978 // CHECK-NEXT:       <key>file</key><integer>0</integer>
2979 // CHECK-NEXT:      </dict>
2980 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
2981 // CHECK-NEXT:      <key>extended_message</key>
2982 // CHECK-NEXT:      <string>Entered call from &apos;test&apos;</string>
2983 // CHECK-NEXT:      <key>message</key>
2984 // CHECK-NEXT:      <string>Entered call from &apos;test&apos;</string>
2985 // CHECK-NEXT:     </dict>
2986 // CHECK-NEXT:     <dict>
2987 // CHECK-NEXT:      <key>kind</key><string>control</string>
2988 // CHECK-NEXT:      <key>edges</key>
2989 // CHECK-NEXT:       <array>
2990 // CHECK-NEXT:        <dict>
2991 // CHECK-NEXT:         <key>start</key>
2992 // CHECK-NEXT:          <array>
2993 // CHECK-NEXT:           <dict>
2994 // CHECK-NEXT:            <key>line</key><integer>159</integer>
2995 // CHECK-NEXT:            <key>col</key><integer>3</integer>
2996 // CHECK-NEXT:            <key>file</key><integer>0</integer>
2997 // CHECK-NEXT:           </dict>
2998 // CHECK-NEXT:           <dict>
2999 // CHECK-NEXT:            <key>line</key><integer>159</integer>
3000 // CHECK-NEXT:            <key>col</key><integer>5</integer>
3001 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3002 // CHECK-NEXT:           </dict>
3003 // CHECK-NEXT:          </array>
3004 // CHECK-NEXT:         <key>end</key>
3005 // CHECK-NEXT:          <array>
3006 // CHECK-NEXT:           <dict>
3007 // CHECK-NEXT:            <key>line</key><integer>160</integer>
3008 // CHECK-NEXT:            <key>col</key><integer>5</integer>
3009 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3010 // CHECK-NEXT:           </dict>
3011 // CHECK-NEXT:           <dict>
3012 // CHECK-NEXT:            <key>line</key><integer>160</integer>
3013 // CHECK-NEXT:            <key>col</key><integer>10</integer>
3014 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3015 // CHECK-NEXT:           </dict>
3016 // CHECK-NEXT:          </array>
3017 // CHECK-NEXT:        </dict>
3018 // CHECK-NEXT:       </array>
3019 // CHECK-NEXT:     </dict>
3020 // CHECK-NEXT:     <dict>
3021 // CHECK-NEXT:      <key>kind</key><string>event</string>
3022 // CHECK-NEXT:      <key>location</key>
3023 // CHECK-NEXT:      <dict>
3024 // CHECK-NEXT:       <key>line</key><integer>160</integer>
3025 // CHECK-NEXT:       <key>col</key><integer>5</integer>
3026 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3027 // CHECK-NEXT:      </dict>
3028 // CHECK-NEXT:      <key>ranges</key>
3029 // CHECK-NEXT:      <array>
3030 // CHECK-NEXT:        <array>
3031 // CHECK-NEXT:         <dict>
3032 // CHECK-NEXT:          <key>line</key><integer>160</integer>
3033 // CHECK-NEXT:          <key>col</key><integer>5</integer>
3034 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3035 // CHECK-NEXT:         </dict>
3036 // CHECK-NEXT:         <dict>
3037 // CHECK-NEXT:          <key>line</key><integer>160</integer>
3038 // CHECK-NEXT:          <key>col</key><integer>12</integer>
3039 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3040 // CHECK-NEXT:         </dict>
3041 // CHECK-NEXT:        </array>
3042 // CHECK-NEXT:      </array>
3043 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
3044 // CHECK-NEXT:      <key>extended_message</key>
3045 // CHECK-NEXT:      <string>Returning zero</string>
3046 // CHECK-NEXT:      <key>message</key>
3047 // CHECK-NEXT:      <string>Returning zero</string>
3048 // CHECK-NEXT:     </dict>
3049 // CHECK-NEXT:     <dict>
3050 // CHECK-NEXT:      <key>kind</key><string>event</string>
3051 // CHECK-NEXT:      <key>location</key>
3052 // CHECK-NEXT:      <dict>
3053 // CHECK-NEXT:       <key>line</key><integer>173</integer>
3054 // CHECK-NEXT:       <key>col</key><integer>23</integer>
3055 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3056 // CHECK-NEXT:      </dict>
3057 // CHECK-NEXT:      <key>ranges</key>
3058 // CHECK-NEXT:      <array>
3059 // CHECK-NEXT:        <array>
3060 // CHECK-NEXT:         <dict>
3061 // CHECK-NEXT:          <key>line</key><integer>173</integer>
3062 // CHECK-NEXT:          <key>col</key><integer>23</integer>
3063 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3064 // CHECK-NEXT:         </dict>
3065 // CHECK-NEXT:         <dict>
3066 // CHECK-NEXT:          <key>line</key><integer>173</integer>
3067 // CHECK-NEXT:          <key>col</key><integer>31</integer>
3068 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3069 // CHECK-NEXT:         </dict>
3070 // CHECK-NEXT:        </array>
3071 // CHECK-NEXT:      </array>
3072 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
3073 // CHECK-NEXT:      <key>extended_message</key>
3074 // CHECK-NEXT:      <string>Returning from &apos;getZero&apos;</string>
3075 // CHECK-NEXT:      <key>message</key>
3076 // CHECK-NEXT:      <string>Returning from &apos;getZero&apos;</string>
3077 // CHECK-NEXT:     </dict>
3078 // CHECK-NEXT:     <dict>
3079 // CHECK-NEXT:      <key>kind</key><string>control</string>
3080 // CHECK-NEXT:      <key>edges</key>
3081 // CHECK-NEXT:       <array>
3082 // CHECK-NEXT:        <dict>
3083 // CHECK-NEXT:         <key>start</key>
3084 // CHECK-NEXT:          <array>
3085 // CHECK-NEXT:           <dict>
3086 // CHECK-NEXT:            <key>line</key><integer>173</integer>
3087 // CHECK-NEXT:            <key>col</key><integer>23</integer>
3088 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3089 // CHECK-NEXT:           </dict>
3090 // CHECK-NEXT:           <dict>
3091 // CHECK-NEXT:            <key>line</key><integer>173</integer>
3092 // CHECK-NEXT:            <key>col</key><integer>29</integer>
3093 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3094 // CHECK-NEXT:           </dict>
3095 // CHECK-NEXT:          </array>
3096 // CHECK-NEXT:         <key>end</key>
3097 // CHECK-NEXT:          <array>
3098 // CHECK-NEXT:           <dict>
3099 // CHECK-NEXT:            <key>line</key><integer>173</integer>
3100 // CHECK-NEXT:            <key>col</key><integer>21</integer>
3101 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3102 // CHECK-NEXT:           </dict>
3103 // CHECK-NEXT:           <dict>
3104 // CHECK-NEXT:            <key>line</key><integer>173</integer>
3105 // CHECK-NEXT:            <key>col</key><integer>21</integer>
3106 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3107 // CHECK-NEXT:           </dict>
3108 // CHECK-NEXT:          </array>
3109 // CHECK-NEXT:        </dict>
3110 // CHECK-NEXT:       </array>
3111 // CHECK-NEXT:     </dict>
3112 // CHECK-NEXT:     <dict>
3113 // CHECK-NEXT:      <key>kind</key><string>event</string>
3114 // CHECK-NEXT:      <key>location</key>
3115 // CHECK-NEXT:      <dict>
3116 // CHECK-NEXT:       <key>line</key><integer>173</integer>
3117 // CHECK-NEXT:       <key>col</key><integer>21</integer>
3118 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3119 // CHECK-NEXT:      </dict>
3120 // CHECK-NEXT:      <key>ranges</key>
3121 // CHECK-NEXT:      <array>
3122 // CHECK-NEXT:        <array>
3123 // CHECK-NEXT:         <dict>
3124 // CHECK-NEXT:          <key>line</key><integer>173</integer>
3125 // CHECK-NEXT:          <key>col</key><integer>19</integer>
3126 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3127 // CHECK-NEXT:         </dict>
3128 // CHECK-NEXT:         <dict>
3129 // CHECK-NEXT:          <key>line</key><integer>173</integer>
3130 // CHECK-NEXT:          <key>col</key><integer>31</integer>
3131 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3132 // CHECK-NEXT:         </dict>
3133 // CHECK-NEXT:        </array>
3134 // CHECK-NEXT:      </array>
3135 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
3136 // CHECK-NEXT:      <key>extended_message</key>
3137 // CHECK-NEXT:      <string>Division by zero</string>
3138 // CHECK-NEXT:      <key>message</key>
3139 // CHECK-NEXT:      <string>Division by zero</string>
3140 // CHECK-NEXT:     </dict>
3141 // CHECK-NEXT:    </array>
3142 // CHECK-NEXT:    <key>description</key><string>Division by zero</string>
3143 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
3144 // CHECK-NEXT:    <key>type</key><string>Division by zero</string>
3145 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
3146 // CHECK-NEXT:   <key>issue_context</key><string>test</string>
3147 // CHECK-NEXT:   <key>issue_hash</key><string>1</string>
3148 // CHECK-NEXT:   <key>location</key>
3149 // CHECK-NEXT:   <dict>
3150 // CHECK-NEXT:    <key>line</key><integer>173</integer>
3151 // CHECK-NEXT:    <key>col</key><integer>21</integer>
3152 // CHECK-NEXT:    <key>file</key><integer>0</integer>
3153 // CHECK-NEXT:   </dict>
3154 // CHECK-NEXT:   </dict>
3155 // CHECK-NEXT:   <dict>
3156 // CHECK-NEXT:    <key>path</key>
3157 // CHECK-NEXT:    <array>
3158 // CHECK-NEXT:     <dict>
3159 // CHECK-NEXT:      <key>kind</key><string>control</string>
3160 // CHECK-NEXT:      <key>edges</key>
3161 // CHECK-NEXT:       <array>
3162 // CHECK-NEXT:        <dict>
3163 // CHECK-NEXT:         <key>start</key>
3164 // CHECK-NEXT:          <array>
3165 // CHECK-NEXT:           <dict>
3166 // CHECK-NEXT:            <key>line</key><integer>180</integer>
3167 // CHECK-NEXT:            <key>col</key><integer>5</integer>
3168 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3169 // CHECK-NEXT:           </dict>
3170 // CHECK-NEXT:           <dict>
3171 // CHECK-NEXT:            <key>line</key><integer>180</integer>
3172 // CHECK-NEXT:            <key>col</key><integer>7</integer>
3173 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3174 // CHECK-NEXT:           </dict>
3175 // CHECK-NEXT:          </array>
3176 // CHECK-NEXT:         <key>end</key>
3177 // CHECK-NEXT:          <array>
3178 // CHECK-NEXT:           <dict>
3179 // CHECK-NEXT:            <key>line</key><integer>180</integer>
3180 // CHECK-NEXT:            <key>col</key><integer>23</integer>
3181 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3182 // CHECK-NEXT:           </dict>
3183 // CHECK-NEXT:           <dict>
3184 // CHECK-NEXT:            <key>line</key><integer>180</integer>
3185 // CHECK-NEXT:            <key>col</key><integer>34</integer>
3186 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3187 // CHECK-NEXT:           </dict>
3188 // CHECK-NEXT:          </array>
3189 // CHECK-NEXT:        </dict>
3190 // CHECK-NEXT:       </array>
3191 // CHECK-NEXT:     </dict>
3192 // CHECK-NEXT:     <dict>
3193 // CHECK-NEXT:      <key>kind</key><string>event</string>
3194 // CHECK-NEXT:      <key>location</key>
3195 // CHECK-NEXT:      <dict>
3196 // CHECK-NEXT:       <key>line</key><integer>180</integer>
3197 // CHECK-NEXT:       <key>col</key><integer>23</integer>
3198 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3199 // CHECK-NEXT:      </dict>
3200 // CHECK-NEXT:      <key>ranges</key>
3201 // CHECK-NEXT:      <array>
3202 // CHECK-NEXT:        <array>
3203 // CHECK-NEXT:         <dict>
3204 // CHECK-NEXT:          <key>line</key><integer>180</integer>
3205 // CHECK-NEXT:          <key>col</key><integer>23</integer>
3206 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3207 // CHECK-NEXT:         </dict>
3208 // CHECK-NEXT:         <dict>
3209 // CHECK-NEXT:          <key>line</key><integer>180</integer>
3210 // CHECK-NEXT:          <key>col</key><integer>36</integer>
3211 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3212 // CHECK-NEXT:         </dict>
3213 // CHECK-NEXT:        </array>
3214 // CHECK-NEXT:      </array>
3215 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
3216 // CHECK-NEXT:      <key>extended_message</key>
3217 // CHECK-NEXT:      <string>Calling &apos;getZeroByRef&apos;</string>
3218 // CHECK-NEXT:      <key>message</key>
3219 // CHECK-NEXT:      <string>Calling &apos;getZeroByRef&apos;</string>
3220 // CHECK-NEXT:     </dict>
3221 // CHECK-NEXT:     <dict>
3222 // CHECK-NEXT:      <key>kind</key><string>event</string>
3223 // CHECK-NEXT:      <key>location</key>
3224 // CHECK-NEXT:      <dict>
3225 // CHECK-NEXT:       <key>line</key><integer>164</integer>
3226 // CHECK-NEXT:       <key>col</key><integer>3</integer>
3227 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3228 // CHECK-NEXT:      </dict>
3229 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
3230 // CHECK-NEXT:      <key>extended_message</key>
3231 // CHECK-NEXT:      <string>Entered call from &apos;testRef&apos;</string>
3232 // CHECK-NEXT:      <key>message</key>
3233 // CHECK-NEXT:      <string>Entered call from &apos;testRef&apos;</string>
3234 // CHECK-NEXT:     </dict>
3235 // CHECK-NEXT:     <dict>
3236 // CHECK-NEXT:      <key>kind</key><string>control</string>
3237 // CHECK-NEXT:      <key>edges</key>
3238 // CHECK-NEXT:       <array>
3239 // CHECK-NEXT:        <dict>
3240 // CHECK-NEXT:         <key>start</key>
3241 // CHECK-NEXT:          <array>
3242 // CHECK-NEXT:           <dict>
3243 // CHECK-NEXT:            <key>line</key><integer>164</integer>
3244 // CHECK-NEXT:            <key>col</key><integer>3</integer>
3245 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3246 // CHECK-NEXT:           </dict>
3247 // CHECK-NEXT:           <dict>
3248 // CHECK-NEXT:            <key>line</key><integer>164</integer>
3249 // CHECK-NEXT:            <key>col</key><integer>7</integer>
3250 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3251 // CHECK-NEXT:           </dict>
3252 // CHECK-NEXT:          </array>
3253 // CHECK-NEXT:         <key>end</key>
3254 // CHECK-NEXT:          <array>
3255 // CHECK-NEXT:           <dict>
3256 // CHECK-NEXT:            <key>line</key><integer>165</integer>
3257 // CHECK-NEXT:            <key>col</key><integer>5</integer>
3258 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3259 // CHECK-NEXT:           </dict>
3260 // CHECK-NEXT:           <dict>
3261 // CHECK-NEXT:            <key>line</key><integer>165</integer>
3262 // CHECK-NEXT:            <key>col</key><integer>10</integer>
3263 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3264 // CHECK-NEXT:           </dict>
3265 // CHECK-NEXT:          </array>
3266 // CHECK-NEXT:        </dict>
3267 // CHECK-NEXT:       </array>
3268 // CHECK-NEXT:     </dict>
3269 // CHECK-NEXT:     <dict>
3270 // CHECK-NEXT:      <key>kind</key><string>control</string>
3271 // CHECK-NEXT:      <key>edges</key>
3272 // CHECK-NEXT:       <array>
3273 // CHECK-NEXT:        <dict>
3274 // CHECK-NEXT:         <key>start</key>
3275 // CHECK-NEXT:          <array>
3276 // CHECK-NEXT:           <dict>
3277 // CHECK-NEXT:            <key>line</key><integer>165</integer>
3278 // CHECK-NEXT:            <key>col</key><integer>5</integer>
3279 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3280 // CHECK-NEXT:           </dict>
3281 // CHECK-NEXT:           <dict>
3282 // CHECK-NEXT:            <key>line</key><integer>165</integer>
3283 // CHECK-NEXT:            <key>col</key><integer>10</integer>
3284 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3285 // CHECK-NEXT:           </dict>
3286 // CHECK-NEXT:          </array>
3287 // CHECK-NEXT:         <key>end</key>
3288 // CHECK-NEXT:          <array>
3289 // CHECK-NEXT:           <dict>
3290 // CHECK-NEXT:            <key>line</key><integer>166</integer>
3291 // CHECK-NEXT:            <key>col</key><integer>5</integer>
3292 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3293 // CHECK-NEXT:           </dict>
3294 // CHECK-NEXT:           <dict>
3295 // CHECK-NEXT:            <key>line</key><integer>166</integer>
3296 // CHECK-NEXT:            <key>col</key><integer>11</integer>
3297 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3298 // CHECK-NEXT:           </dict>
3299 // CHECK-NEXT:          </array>
3300 // CHECK-NEXT:        </dict>
3301 // CHECK-NEXT:       </array>
3302 // CHECK-NEXT:     </dict>
3303 // CHECK-NEXT:     <dict>
3304 // CHECK-NEXT:      <key>kind</key><string>event</string>
3305 // CHECK-NEXT:      <key>location</key>
3306 // CHECK-NEXT:      <dict>
3307 // CHECK-NEXT:       <key>line</key><integer>166</integer>
3308 // CHECK-NEXT:       <key>col</key><integer>5</integer>
3309 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3310 // CHECK-NEXT:      </dict>
3311 // CHECK-NEXT:      <key>ranges</key>
3312 // CHECK-NEXT:      <array>
3313 // CHECK-NEXT:        <array>
3314 // CHECK-NEXT:         <dict>
3315 // CHECK-NEXT:          <key>line</key><integer>166</integer>
3316 // CHECK-NEXT:          <key>col</key><integer>5</integer>
3317 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3318 // CHECK-NEXT:         </dict>
3319 // CHECK-NEXT:         <dict>
3320 // CHECK-NEXT:          <key>line</key><integer>166</integer>
3321 // CHECK-NEXT:          <key>col</key><integer>15</integer>
3322 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3323 // CHECK-NEXT:         </dict>
3324 // CHECK-NEXT:        </array>
3325 // CHECK-NEXT:      </array>
3326 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
3327 // CHECK-NEXT:      <key>extended_message</key>
3328 // CHECK-NEXT:      <string>The value 0 is assigned to &apos;zeroVar&apos;</string>
3329 // CHECK-NEXT:      <key>message</key>
3330 // CHECK-NEXT:      <string>The value 0 is assigned to &apos;zeroVar&apos;</string>
3331 // CHECK-NEXT:     </dict>
3332 // CHECK-NEXT:     <dict>
3333 // CHECK-NEXT:      <key>kind</key><string>control</string>
3334 // CHECK-NEXT:      <key>edges</key>
3335 // CHECK-NEXT:       <array>
3336 // CHECK-NEXT:        <dict>
3337 // CHECK-NEXT:         <key>start</key>
3338 // CHECK-NEXT:          <array>
3339 // CHECK-NEXT:           <dict>
3340 // CHECK-NEXT:            <key>line</key><integer>166</integer>
3341 // CHECK-NEXT:            <key>col</key><integer>5</integer>
3342 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3343 // CHECK-NEXT:           </dict>
3344 // CHECK-NEXT:           <dict>
3345 // CHECK-NEXT:            <key>line</key><integer>166</integer>
3346 // CHECK-NEXT:            <key>col</key><integer>11</integer>
3347 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3348 // CHECK-NEXT:           </dict>
3349 // CHECK-NEXT:          </array>
3350 // CHECK-NEXT:         <key>end</key>
3351 // CHECK-NEXT:          <array>
3352 // CHECK-NEXT:           <dict>
3353 // CHECK-NEXT:            <key>line</key><integer>168</integer>
3354 // CHECK-NEXT:            <key>col</key><integer>5</integer>
3355 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3356 // CHECK-NEXT:           </dict>
3357 // CHECK-NEXT:           <dict>
3358 // CHECK-NEXT:            <key>line</key><integer>168</integer>
3359 // CHECK-NEXT:            <key>col</key><integer>10</integer>
3360 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3361 // CHECK-NEXT:           </dict>
3362 // CHECK-NEXT:          </array>
3363 // CHECK-NEXT:        </dict>
3364 // CHECK-NEXT:       </array>
3365 // CHECK-NEXT:     </dict>
3366 // CHECK-NEXT:     <dict>
3367 // CHECK-NEXT:      <key>kind</key><string>event</string>
3368 // CHECK-NEXT:      <key>location</key>
3369 // CHECK-NEXT:      <dict>
3370 // CHECK-NEXT:       <key>line</key><integer>168</integer>
3371 // CHECK-NEXT:       <key>col</key><integer>5</integer>
3372 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3373 // CHECK-NEXT:      </dict>
3374 // CHECK-NEXT:      <key>ranges</key>
3375 // CHECK-NEXT:      <array>
3376 // CHECK-NEXT:        <array>
3377 // CHECK-NEXT:         <dict>
3378 // CHECK-NEXT:          <key>line</key><integer>168</integer>
3379 // CHECK-NEXT:          <key>col</key><integer>5</integer>
3380 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3381 // CHECK-NEXT:         </dict>
3382 // CHECK-NEXT:         <dict>
3383 // CHECK-NEXT:          <key>line</key><integer>168</integer>
3384 // CHECK-NEXT:          <key>col</key><integer>18</integer>
3385 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3386 // CHECK-NEXT:         </dict>
3387 // CHECK-NEXT:        </array>
3388 // CHECK-NEXT:      </array>
3389 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
3390 // CHECK-NEXT:      <key>extended_message</key>
3391 // CHECK-NEXT:      <string>Returning zero (reference to &apos;zeroVar&apos;)</string>
3392 // CHECK-NEXT:      <key>message</key>
3393 // CHECK-NEXT:      <string>Returning zero (reference to &apos;zeroVar&apos;)</string>
3394 // CHECK-NEXT:     </dict>
3395 // CHECK-NEXT:     <dict>
3396 // CHECK-NEXT:      <key>kind</key><string>event</string>
3397 // CHECK-NEXT:      <key>location</key>
3398 // CHECK-NEXT:      <dict>
3399 // CHECK-NEXT:       <key>line</key><integer>180</integer>
3400 // CHECK-NEXT:       <key>col</key><integer>23</integer>
3401 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3402 // CHECK-NEXT:      </dict>
3403 // CHECK-NEXT:      <key>ranges</key>
3404 // CHECK-NEXT:      <array>
3405 // CHECK-NEXT:        <array>
3406 // CHECK-NEXT:         <dict>
3407 // CHECK-NEXT:          <key>line</key><integer>180</integer>
3408 // CHECK-NEXT:          <key>col</key><integer>23</integer>
3409 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3410 // CHECK-NEXT:         </dict>
3411 // CHECK-NEXT:         <dict>
3412 // CHECK-NEXT:          <key>line</key><integer>180</integer>
3413 // CHECK-NEXT:          <key>col</key><integer>36</integer>
3414 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3415 // CHECK-NEXT:         </dict>
3416 // CHECK-NEXT:        </array>
3417 // CHECK-NEXT:      </array>
3418 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
3419 // CHECK-NEXT:      <key>extended_message</key>
3420 // CHECK-NEXT:      <string>Returning from &apos;getZeroByRef&apos;</string>
3421 // CHECK-NEXT:      <key>message</key>
3422 // CHECK-NEXT:      <string>Returning from &apos;getZeroByRef&apos;</string>
3423 // CHECK-NEXT:     </dict>
3424 // CHECK-NEXT:     <dict>
3425 // CHECK-NEXT:      <key>kind</key><string>control</string>
3426 // CHECK-NEXT:      <key>edges</key>
3427 // CHECK-NEXT:       <array>
3428 // CHECK-NEXT:        <dict>
3429 // CHECK-NEXT:         <key>start</key>
3430 // CHECK-NEXT:          <array>
3431 // CHECK-NEXT:           <dict>
3432 // CHECK-NEXT:            <key>line</key><integer>180</integer>
3433 // CHECK-NEXT:            <key>col</key><integer>23</integer>
3434 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3435 // CHECK-NEXT:           </dict>
3436 // CHECK-NEXT:           <dict>
3437 // CHECK-NEXT:            <key>line</key><integer>180</integer>
3438 // CHECK-NEXT:            <key>col</key><integer>34</integer>
3439 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3440 // CHECK-NEXT:           </dict>
3441 // CHECK-NEXT:          </array>
3442 // CHECK-NEXT:         <key>end</key>
3443 // CHECK-NEXT:          <array>
3444 // CHECK-NEXT:           <dict>
3445 // CHECK-NEXT:            <key>line</key><integer>180</integer>
3446 // CHECK-NEXT:            <key>col</key><integer>21</integer>
3447 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3448 // CHECK-NEXT:           </dict>
3449 // CHECK-NEXT:           <dict>
3450 // CHECK-NEXT:            <key>line</key><integer>180</integer>
3451 // CHECK-NEXT:            <key>col</key><integer>21</integer>
3452 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3453 // CHECK-NEXT:           </dict>
3454 // CHECK-NEXT:          </array>
3455 // CHECK-NEXT:        </dict>
3456 // CHECK-NEXT:       </array>
3457 // CHECK-NEXT:     </dict>
3458 // CHECK-NEXT:     <dict>
3459 // CHECK-NEXT:      <key>kind</key><string>event</string>
3460 // CHECK-NEXT:      <key>location</key>
3461 // CHECK-NEXT:      <dict>
3462 // CHECK-NEXT:       <key>line</key><integer>180</integer>
3463 // CHECK-NEXT:       <key>col</key><integer>21</integer>
3464 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3465 // CHECK-NEXT:      </dict>
3466 // CHECK-NEXT:      <key>ranges</key>
3467 // CHECK-NEXT:      <array>
3468 // CHECK-NEXT:        <array>
3469 // CHECK-NEXT:         <dict>
3470 // CHECK-NEXT:          <key>line</key><integer>180</integer>
3471 // CHECK-NEXT:          <key>col</key><integer>19</integer>
3472 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3473 // CHECK-NEXT:         </dict>
3474 // CHECK-NEXT:         <dict>
3475 // CHECK-NEXT:          <key>line</key><integer>180</integer>
3476 // CHECK-NEXT:          <key>col</key><integer>36</integer>
3477 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3478 // CHECK-NEXT:         </dict>
3479 // CHECK-NEXT:        </array>
3480 // CHECK-NEXT:      </array>
3481 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
3482 // CHECK-NEXT:      <key>extended_message</key>
3483 // CHECK-NEXT:      <string>Division by zero</string>
3484 // CHECK-NEXT:      <key>message</key>
3485 // CHECK-NEXT:      <string>Division by zero</string>
3486 // CHECK-NEXT:     </dict>
3487 // CHECK-NEXT:    </array>
3488 // CHECK-NEXT:    <key>description</key><string>Division by zero</string>
3489 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
3490 // CHECK-NEXT:    <key>type</key><string>Division by zero</string>
3491 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
3492 // CHECK-NEXT:   <key>issue_context</key><string>testRef</string>
3493 // CHECK-NEXT:   <key>issue_hash</key><string>1</string>
3494 // CHECK-NEXT:   <key>location</key>
3495 // CHECK-NEXT:   <dict>
3496 // CHECK-NEXT:    <key>line</key><integer>180</integer>
3497 // CHECK-NEXT:    <key>col</key><integer>21</integer>
3498 // CHECK-NEXT:    <key>file</key><integer>0</integer>
3499 // CHECK-NEXT:   </dict>
3500 // CHECK-NEXT:   </dict>
3501 // CHECK-NEXT:   <dict>
3502 // CHECK-NEXT:    <key>path</key>
3503 // CHECK-NEXT:    <array>
3504 // CHECK-NEXT:     <dict>
3505 // CHECK-NEXT:      <key>kind</key><string>event</string>
3506 // CHECK-NEXT:      <key>location</key>
3507 // CHECK-NEXT:      <dict>
3508 // CHECK-NEXT:       <key>line</key><integer>188</integer>
3509 // CHECK-NEXT:       <key>col</key><integer>3</integer>
3510 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3511 // CHECK-NEXT:      </dict>
3512 // CHECK-NEXT:      <key>ranges</key>
3513 // CHECK-NEXT:      <array>
3514 // CHECK-NEXT:        <array>
3515 // CHECK-NEXT:         <dict>
3516 // CHECK-NEXT:          <key>line</key><integer>188</integer>
3517 // CHECK-NEXT:          <key>col</key><integer>3</integer>
3518 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3519 // CHECK-NEXT:         </dict>
3520 // CHECK-NEXT:         <dict>
3521 // CHECK-NEXT:          <key>line</key><integer>188</integer>
3522 // CHECK-NEXT:          <key>col</key><integer>8</integer>
3523 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3524 // CHECK-NEXT:         </dict>
3525 // CHECK-NEXT:        </array>
3526 // CHECK-NEXT:      </array>
3527 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
3528 // CHECK-NEXT:      <key>extended_message</key>
3529 // CHECK-NEXT:      <string>&apos;x&apos; initialized to a null pointer value</string>
3530 // CHECK-NEXT:      <key>message</key>
3531 // CHECK-NEXT:      <string>&apos;x&apos; initialized to a null pointer value</string>
3532 // CHECK-NEXT:     </dict>
3533 // CHECK-NEXT:     <dict>
3534 // CHECK-NEXT:      <key>kind</key><string>control</string>
3535 // CHECK-NEXT:      <key>edges</key>
3536 // CHECK-NEXT:       <array>
3537 // CHECK-NEXT:        <dict>
3538 // CHECK-NEXT:         <key>start</key>
3539 // CHECK-NEXT:          <array>
3540 // CHECK-NEXT:           <dict>
3541 // CHECK-NEXT:            <key>line</key><integer>188</integer>
3542 // CHECK-NEXT:            <key>col</key><integer>3</integer>
3543 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3544 // CHECK-NEXT:           </dict>
3545 // CHECK-NEXT:           <dict>
3546 // CHECK-NEXT:            <key>line</key><integer>188</integer>
3547 // CHECK-NEXT:            <key>col</key><integer>5</integer>
3548 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3549 // CHECK-NEXT:           </dict>
3550 // CHECK-NEXT:          </array>
3551 // CHECK-NEXT:         <key>end</key>
3552 // CHECK-NEXT:          <array>
3553 // CHECK-NEXT:           <dict>
3554 // CHECK-NEXT:            <key>line</key><integer>190</integer>
3555 // CHECK-NEXT:            <key>col</key><integer>3</integer>
3556 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3557 // CHECK-NEXT:           </dict>
3558 // CHECK-NEXT:           <dict>
3559 // CHECK-NEXT:            <key>line</key><integer>190</integer>
3560 // CHECK-NEXT:            <key>col</key><integer>8</integer>
3561 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3562 // CHECK-NEXT:           </dict>
3563 // CHECK-NEXT:          </array>
3564 // CHECK-NEXT:        </dict>
3565 // CHECK-NEXT:       </array>
3566 // CHECK-NEXT:     </dict>
3567 // CHECK-NEXT:     <dict>
3568 // CHECK-NEXT:      <key>kind</key><string>event</string>
3569 // CHECK-NEXT:      <key>location</key>
3570 // CHECK-NEXT:      <dict>
3571 // CHECK-NEXT:       <key>line</key><integer>190</integer>
3572 // CHECK-NEXT:       <key>col</key><integer>3</integer>
3573 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3574 // CHECK-NEXT:      </dict>
3575 // CHECK-NEXT:      <key>ranges</key>
3576 // CHECK-NEXT:      <array>
3577 // CHECK-NEXT:        <array>
3578 // CHECK-NEXT:         <dict>
3579 // CHECK-NEXT:          <key>line</key><integer>190</integer>
3580 // CHECK-NEXT:          <key>col</key><integer>10</integer>
3581 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3582 // CHECK-NEXT:         </dict>
3583 // CHECK-NEXT:         <dict>
3584 // CHECK-NEXT:          <key>line</key><integer>190</integer>
3585 // CHECK-NEXT:          <key>col</key><integer>11</integer>
3586 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3587 // CHECK-NEXT:         </dict>
3588 // CHECK-NEXT:        </array>
3589 // CHECK-NEXT:      </array>
3590 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
3591 // CHECK-NEXT:      <key>extended_message</key>
3592 // CHECK-NEXT:      <string>Returning null reference</string>
3593 // CHECK-NEXT:      <key>message</key>
3594 // CHECK-NEXT:      <string>Returning null reference</string>
3595 // CHECK-NEXT:     </dict>
3596 // CHECK-NEXT:    </array>
3597 // CHECK-NEXT:    <key>description</key><string>Returning null reference</string>
3598 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
3599 // CHECK-NEXT:    <key>type</key><string>Returning null reference</string>
3600 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
3601 // CHECK-NEXT:   <key>issue_context</key><string>returnNullReference</string>
3602 // CHECK-NEXT:   <key>issue_hash</key><string>3</string>
3603 // CHECK-NEXT:   <key>location</key>
3604 // CHECK-NEXT:   <dict>
3605 // CHECK-NEXT:    <key>line</key><integer>190</integer>
3606 // CHECK-NEXT:    <key>col</key><integer>3</integer>
3607 // CHECK-NEXT:    <key>file</key><integer>0</integer>
3608 // CHECK-NEXT:   </dict>
3609 // CHECK-NEXT:   </dict>
3610 // CHECK-NEXT:   <dict>
3611 // CHECK-NEXT:    <key>path</key>
3612 // CHECK-NEXT:    <array>
3613 // CHECK-NEXT:     <dict>
3614 // CHECK-NEXT:      <key>kind</key><string>event</string>
3615 // CHECK-NEXT:      <key>location</key>
3616 // CHECK-NEXT:      <dict>
3617 // CHECK-NEXT:       <key>line</key><integer>203</integer>
3618 // CHECK-NEXT:       <key>col</key><integer>2</integer>
3619 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3620 // CHECK-NEXT:      </dict>
3621 // CHECK-NEXT:      <key>ranges</key>
3622 // CHECK-NEXT:      <array>
3623 // CHECK-NEXT:        <array>
3624 // CHECK-NEXT:         <dict>
3625 // CHECK-NEXT:          <key>line</key><integer>203</integer>
3626 // CHECK-NEXT:          <key>col</key><integer>2</integer>
3627 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3628 // CHECK-NEXT:         </dict>
3629 // CHECK-NEXT:         <dict>
3630 // CHECK-NEXT:          <key>line</key><integer>203</integer>
3631 // CHECK-NEXT:          <key>col</key><integer>7</integer>
3632 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3633 // CHECK-NEXT:         </dict>
3634 // CHECK-NEXT:        </array>
3635 // CHECK-NEXT:      </array>
3636 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
3637 // CHECK-NEXT:      <key>extended_message</key>
3638 // CHECK-NEXT:      <string>&apos;p&apos; initialized to a null pointer value</string>
3639 // CHECK-NEXT:      <key>message</key>
3640 // CHECK-NEXT:      <string>&apos;p&apos; initialized to a null pointer value</string>
3641 // CHECK-NEXT:     </dict>
3642 // CHECK-NEXT:     <dict>
3643 // CHECK-NEXT:      <key>kind</key><string>control</string>
3644 // CHECK-NEXT:      <key>edges</key>
3645 // CHECK-NEXT:       <array>
3646 // CHECK-NEXT:        <dict>
3647 // CHECK-NEXT:         <key>start</key>
3648 // CHECK-NEXT:          <array>
3649 // CHECK-NEXT:           <dict>
3650 // CHECK-NEXT:            <key>line</key><integer>203</integer>
3651 // CHECK-NEXT:            <key>col</key><integer>2</integer>
3652 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3653 // CHECK-NEXT:           </dict>
3654 // CHECK-NEXT:           <dict>
3655 // CHECK-NEXT:            <key>line</key><integer>203</integer>
3656 // CHECK-NEXT:            <key>col</key><integer>4</integer>
3657 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3658 // CHECK-NEXT:           </dict>
3659 // CHECK-NEXT:          </array>
3660 // CHECK-NEXT:         <key>end</key>
3661 // CHECK-NEXT:          <array>
3662 // CHECK-NEXT:           <dict>
3663 // CHECK-NEXT:            <key>line</key><integer>205</integer>
3664 // CHECK-NEXT:            <key>col</key><integer>2</integer>
3665 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3666 // CHECK-NEXT:           </dict>
3667 // CHECK-NEXT:           <dict>
3668 // CHECK-NEXT:            <key>line</key><integer>205</integer>
3669 // CHECK-NEXT:            <key>col</key><integer>19</integer>
3670 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3671 // CHECK-NEXT:           </dict>
3672 // CHECK-NEXT:          </array>
3673 // CHECK-NEXT:        </dict>
3674 // CHECK-NEXT:       </array>
3675 // CHECK-NEXT:     </dict>
3676 // CHECK-NEXT:     <dict>
3677 // CHECK-NEXT:      <key>kind</key><string>control</string>
3678 // CHECK-NEXT:      <key>edges</key>
3679 // CHECK-NEXT:       <array>
3680 // CHECK-NEXT:        <dict>
3681 // CHECK-NEXT:         <key>start</key>
3682 // CHECK-NEXT:          <array>
3683 // CHECK-NEXT:           <dict>
3684 // CHECK-NEXT:            <key>line</key><integer>205</integer>
3685 // CHECK-NEXT:            <key>col</key><integer>2</integer>
3686 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3687 // CHECK-NEXT:           </dict>
3688 // CHECK-NEXT:           <dict>
3689 // CHECK-NEXT:            <key>line</key><integer>205</integer>
3690 // CHECK-NEXT:            <key>col</key><integer>19</integer>
3691 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3692 // CHECK-NEXT:           </dict>
3693 // CHECK-NEXT:          </array>
3694 // CHECK-NEXT:         <key>end</key>
3695 // CHECK-NEXT:          <array>
3696 // CHECK-NEXT:           <dict>
3697 // CHECK-NEXT:            <key>line</key><integer>205</integer>
3698 // CHECK-NEXT:            <key>col</key><integer>23</integer>
3699 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3700 // CHECK-NEXT:           </dict>
3701 // CHECK-NEXT:           <dict>
3702 // CHECK-NEXT:            <key>line</key><integer>205</integer>
3703 // CHECK-NEXT:            <key>col</key><integer>23</integer>
3704 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3705 // CHECK-NEXT:           </dict>
3706 // CHECK-NEXT:          </array>
3707 // CHECK-NEXT:        </dict>
3708 // CHECK-NEXT:       </array>
3709 // CHECK-NEXT:     </dict>
3710 // CHECK-NEXT:     <dict>
3711 // CHECK-NEXT:      <key>kind</key><string>event</string>
3712 // CHECK-NEXT:      <key>location</key>
3713 // CHECK-NEXT:      <dict>
3714 // CHECK-NEXT:       <key>line</key><integer>205</integer>
3715 // CHECK-NEXT:       <key>col</key><integer>23</integer>
3716 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3717 // CHECK-NEXT:      </dict>
3718 // CHECK-NEXT:      <key>ranges</key>
3719 // CHECK-NEXT:      <array>
3720 // CHECK-NEXT:        <array>
3721 // CHECK-NEXT:         <dict>
3722 // CHECK-NEXT:          <key>line</key><integer>205</integer>
3723 // CHECK-NEXT:          <key>col</key><integer>23</integer>
3724 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3725 // CHECK-NEXT:         </dict>
3726 // CHECK-NEXT:         <dict>
3727 // CHECK-NEXT:          <key>line</key><integer>205</integer>
3728 // CHECK-NEXT:          <key>col</key><integer>23</integer>
3729 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3730 // CHECK-NEXT:         </dict>
3731 // CHECK-NEXT:        </array>
3732 // CHECK-NEXT:      </array>
3733 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
3734 // CHECK-NEXT:      <key>extended_message</key>
3735 // CHECK-NEXT:      <string>Passing null pointer value via 1st parameter &apos;p&apos;</string>
3736 // CHECK-NEXT:      <key>message</key>
3737 // CHECK-NEXT:      <string>Passing null pointer value via 1st parameter &apos;p&apos;</string>
3738 // CHECK-NEXT:     </dict>
3739 // CHECK-NEXT:     <dict>
3740 // CHECK-NEXT:      <key>kind</key><string>control</string>
3741 // CHECK-NEXT:      <key>edges</key>
3742 // CHECK-NEXT:       <array>
3743 // CHECK-NEXT:        <dict>
3744 // CHECK-NEXT:         <key>start</key>
3745 // CHECK-NEXT:          <array>
3746 // CHECK-NEXT:           <dict>
3747 // CHECK-NEXT:            <key>line</key><integer>205</integer>
3748 // CHECK-NEXT:            <key>col</key><integer>23</integer>
3749 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3750 // CHECK-NEXT:           </dict>
3751 // CHECK-NEXT:           <dict>
3752 // CHECK-NEXT:            <key>line</key><integer>205</integer>
3753 // CHECK-NEXT:            <key>col</key><integer>23</integer>
3754 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3755 // CHECK-NEXT:           </dict>
3756 // CHECK-NEXT:          </array>
3757 // CHECK-NEXT:         <key>end</key>
3758 // CHECK-NEXT:          <array>
3759 // CHECK-NEXT:           <dict>
3760 // CHECK-NEXT:            <key>line</key><integer>205</integer>
3761 // CHECK-NEXT:            <key>col</key><integer>21</integer>
3762 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3763 // CHECK-NEXT:           </dict>
3764 // CHECK-NEXT:           <dict>
3765 // CHECK-NEXT:            <key>line</key><integer>205</integer>
3766 // CHECK-NEXT:            <key>col</key><integer>21</integer>
3767 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3768 // CHECK-NEXT:           </dict>
3769 // CHECK-NEXT:          </array>
3770 // CHECK-NEXT:        </dict>
3771 // CHECK-NEXT:       </array>
3772 // CHECK-NEXT:     </dict>
3773 // CHECK-NEXT:     <dict>
3774 // CHECK-NEXT:      <key>kind</key><string>event</string>
3775 // CHECK-NEXT:      <key>location</key>
3776 // CHECK-NEXT:      <dict>
3777 // CHECK-NEXT:       <key>line</key><integer>205</integer>
3778 // CHECK-NEXT:       <key>col</key><integer>21</integer>
3779 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3780 // CHECK-NEXT:      </dict>
3781 // CHECK-NEXT:      <key>ranges</key>
3782 // CHECK-NEXT:      <array>
3783 // CHECK-NEXT:        <array>
3784 // CHECK-NEXT:         <dict>
3785 // CHECK-NEXT:          <key>line</key><integer>205</integer>
3786 // CHECK-NEXT:          <key>col</key><integer>21</integer>
3787 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3788 // CHECK-NEXT:         </dict>
3789 // CHECK-NEXT:         <dict>
3790 // CHECK-NEXT:          <key>line</key><integer>205</integer>
3791 // CHECK-NEXT:          <key>col</key><integer>24</integer>
3792 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3793 // CHECK-NEXT:         </dict>
3794 // CHECK-NEXT:        </array>
3795 // CHECK-NEXT:      </array>
3796 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
3797 // CHECK-NEXT:      <key>extended_message</key>
3798 // CHECK-NEXT:      <string>Calling constructor for &apos;FooWithInitializer&apos;</string>
3799 // CHECK-NEXT:      <key>message</key>
3800 // CHECK-NEXT:      <string>Calling constructor for &apos;FooWithInitializer&apos;</string>
3801 // CHECK-NEXT:     </dict>
3802 // CHECK-NEXT:     <dict>
3803 // CHECK-NEXT:      <key>kind</key><string>event</string>
3804 // CHECK-NEXT:      <key>location</key>
3805 // CHECK-NEXT:      <dict>
3806 // CHECK-NEXT:       <key>line</key><integer>196</integer>
3807 // CHECK-NEXT:       <key>col</key><integer>2</integer>
3808 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3809 // CHECK-NEXT:      </dict>
3810 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
3811 // CHECK-NEXT:      <key>extended_message</key>
3812 // CHECK-NEXT:      <string>Entered call from &apos;testPathNoteOnInitializer&apos;</string>
3813 // CHECK-NEXT:      <key>message</key>
3814 // CHECK-NEXT:      <string>Entered call from &apos;testPathNoteOnInitializer&apos;</string>
3815 // CHECK-NEXT:     </dict>
3816 // CHECK-NEXT:     <dict>
3817 // CHECK-NEXT:      <key>kind</key><string>control</string>
3818 // CHECK-NEXT:      <key>edges</key>
3819 // CHECK-NEXT:       <array>
3820 // CHECK-NEXT:        <dict>
3821 // CHECK-NEXT:         <key>start</key>
3822 // CHECK-NEXT:          <array>
3823 // CHECK-NEXT:           <dict>
3824 // CHECK-NEXT:            <key>line</key><integer>196</integer>
3825 // CHECK-NEXT:            <key>col</key><integer>2</integer>
3826 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3827 // CHECK-NEXT:           </dict>
3828 // CHECK-NEXT:           <dict>
3829 // CHECK-NEXT:            <key>line</key><integer>196</integer>
3830 // CHECK-NEXT:            <key>col</key><integer>19</integer>
3831 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3832 // CHECK-NEXT:           </dict>
3833 // CHECK-NEXT:          </array>
3834 // CHECK-NEXT:         <key>end</key>
3835 // CHECK-NEXT:          <array>
3836 // CHECK-NEXT:           <dict>
3837 // CHECK-NEXT:            <key>line</key><integer>196</integer>
3838 // CHECK-NEXT:            <key>col</key><integer>35</integer>
3839 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3840 // CHECK-NEXT:           </dict>
3841 // CHECK-NEXT:           <dict>
3842 // CHECK-NEXT:            <key>line</key><integer>196</integer>
3843 // CHECK-NEXT:            <key>col</key><integer>35</integer>
3844 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3845 // CHECK-NEXT:           </dict>
3846 // CHECK-NEXT:          </array>
3847 // CHECK-NEXT:        </dict>
3848 // CHECK-NEXT:       </array>
3849 // CHECK-NEXT:     </dict>
3850 // CHECK-NEXT:     <dict>
3851 // CHECK-NEXT:      <key>kind</key><string>control</string>
3852 // CHECK-NEXT:      <key>edges</key>
3853 // CHECK-NEXT:       <array>
3854 // CHECK-NEXT:        <dict>
3855 // CHECK-NEXT:         <key>start</key>
3856 // CHECK-NEXT:          <array>
3857 // CHECK-NEXT:           <dict>
3858 // CHECK-NEXT:            <key>line</key><integer>196</integer>
3859 // CHECK-NEXT:            <key>col</key><integer>35</integer>
3860 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3861 // CHECK-NEXT:           </dict>
3862 // CHECK-NEXT:           <dict>
3863 // CHECK-NEXT:            <key>line</key><integer>196</integer>
3864 // CHECK-NEXT:            <key>col</key><integer>35</integer>
3865 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3866 // CHECK-NEXT:           </dict>
3867 // CHECK-NEXT:          </array>
3868 // CHECK-NEXT:         <key>end</key>
3869 // CHECK-NEXT:          <array>
3870 // CHECK-NEXT:           <dict>
3871 // CHECK-NEXT:            <key>line</key><integer>196</integer>
3872 // CHECK-NEXT:            <key>col</key><integer>31</integer>
3873 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3874 // CHECK-NEXT:           </dict>
3875 // CHECK-NEXT:           <dict>
3876 // CHECK-NEXT:            <key>line</key><integer>196</integer>
3877 // CHECK-NEXT:            <key>col</key><integer>33</integer>
3878 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3879 // CHECK-NEXT:           </dict>
3880 // CHECK-NEXT:          </array>
3881 // CHECK-NEXT:        </dict>
3882 // CHECK-NEXT:       </array>
3883 // CHECK-NEXT:     </dict>
3884 // CHECK-NEXT:     <dict>
3885 // CHECK-NEXT:      <key>kind</key><string>event</string>
3886 // CHECK-NEXT:      <key>location</key>
3887 // CHECK-NEXT:      <dict>
3888 // CHECK-NEXT:       <key>line</key><integer>196</integer>
3889 // CHECK-NEXT:       <key>col</key><integer>31</integer>
3890 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3891 // CHECK-NEXT:      </dict>
3892 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
3893 // CHECK-NEXT:      <key>extended_message</key>
3894 // CHECK-NEXT:      <string>Null pointer value stored to &apos;f.ptr&apos;</string>
3895 // CHECK-NEXT:      <key>message</key>
3896 // CHECK-NEXT:      <string>Null pointer value stored to &apos;f.ptr&apos;</string>
3897 // CHECK-NEXT:     </dict>
3898 // CHECK-NEXT:     <dict>
3899 // CHECK-NEXT:      <key>kind</key><string>control</string>
3900 // CHECK-NEXT:      <key>edges</key>
3901 // CHECK-NEXT:       <array>
3902 // CHECK-NEXT:        <dict>
3903 // CHECK-NEXT:         <key>start</key>
3904 // CHECK-NEXT:          <array>
3905 // CHECK-NEXT:           <dict>
3906 // CHECK-NEXT:            <key>line</key><integer>196</integer>
3907 // CHECK-NEXT:            <key>col</key><integer>31</integer>
3908 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3909 // CHECK-NEXT:           </dict>
3910 // CHECK-NEXT:           <dict>
3911 // CHECK-NEXT:            <key>line</key><integer>196</integer>
3912 // CHECK-NEXT:            <key>col</key><integer>33</integer>
3913 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3914 // CHECK-NEXT:           </dict>
3915 // CHECK-NEXT:          </array>
3916 // CHECK-NEXT:         <key>end</key>
3917 // CHECK-NEXT:          <array>
3918 // CHECK-NEXT:           <dict>
3919 // CHECK-NEXT:            <key>line</key><integer>197</integer>
3920 // CHECK-NEXT:            <key>col</key><integer>8</integer>
3921 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3922 // CHECK-NEXT:           </dict>
3923 // CHECK-NEXT:           <dict>
3924 // CHECK-NEXT:            <key>line</key><integer>197</integer>
3925 // CHECK-NEXT:            <key>col</key><integer>8</integer>
3926 // CHECK-NEXT:            <key>file</key><integer>0</integer>
3927 // CHECK-NEXT:           </dict>
3928 // CHECK-NEXT:          </array>
3929 // CHECK-NEXT:        </dict>
3930 // CHECK-NEXT:       </array>
3931 // CHECK-NEXT:     </dict>
3932 // CHECK-NEXT:     <dict>
3933 // CHECK-NEXT:      <key>kind</key><string>event</string>
3934 // CHECK-NEXT:      <key>location</key>
3935 // CHECK-NEXT:      <dict>
3936 // CHECK-NEXT:       <key>line</key><integer>197</integer>
3937 // CHECK-NEXT:       <key>col</key><integer>8</integer>
3938 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3939 // CHECK-NEXT:      </dict>
3940 // CHECK-NEXT:      <key>ranges</key>
3941 // CHECK-NEXT:      <array>
3942 // CHECK-NEXT:        <array>
3943 // CHECK-NEXT:         <dict>
3944 // CHECK-NEXT:          <key>line</key><integer>197</integer>
3945 // CHECK-NEXT:          <key>col</key><integer>4</integer>
3946 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3947 // CHECK-NEXT:         </dict>
3948 // CHECK-NEXT:         <dict>
3949 // CHECK-NEXT:          <key>line</key><integer>197</integer>
3950 // CHECK-NEXT:          <key>col</key><integer>6</integer>
3951 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3952 // CHECK-NEXT:         </dict>
3953 // CHECK-NEXT:        </array>
3954 // CHECK-NEXT:      </array>
3955 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
3956 // CHECK-NEXT:      <key>extended_message</key>
3957 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from field &apos;ptr&apos;)</string>
3958 // CHECK-NEXT:      <key>message</key>
3959 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from field &apos;ptr&apos;)</string>
3960 // CHECK-NEXT:     </dict>
3961 // CHECK-NEXT:    </array>
3962 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from field &apos;ptr&apos;)</string>
3963 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
3964 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
3965 // CHECK-NEXT:   <key>issue_hash</key><string>1</string>
3966 // CHECK-NEXT:   <key>location</key>
3967 // CHECK-NEXT:   <dict>
3968 // CHECK-NEXT:    <key>line</key><integer>197</integer>
3969 // CHECK-NEXT:    <key>col</key><integer>8</integer>
3970 // CHECK-NEXT:    <key>file</key><integer>0</integer>
3971 // CHECK-NEXT:   </dict>
3972 // CHECK-NEXT:   </dict>
3973 // CHECK-NEXT:   <dict>
3974 // CHECK-NEXT:    <key>path</key>
3975 // CHECK-NEXT:    <array>
3976 // CHECK-NEXT:     <dict>
3977 // CHECK-NEXT:      <key>kind</key><string>event</string>
3978 // CHECK-NEXT:      <key>location</key>
3979 // CHECK-NEXT:      <dict>
3980 // CHECK-NEXT:       <key>line</key><integer>210</integer>
3981 // CHECK-NEXT:       <key>col</key><integer>3</integer>
3982 // CHECK-NEXT:       <key>file</key><integer>0</integer>
3983 // CHECK-NEXT:      </dict>
3984 // CHECK-NEXT:      <key>ranges</key>
3985 // CHECK-NEXT:      <array>
3986 // CHECK-NEXT:        <array>
3987 // CHECK-NEXT:         <dict>
3988 // CHECK-NEXT:          <key>line</key><integer>210</integer>
3989 // CHECK-NEXT:          <key>col</key><integer>3</integer>
3990 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3991 // CHECK-NEXT:         </dict>
3992 // CHECK-NEXT:         <dict>
3993 // CHECK-NEXT:          <key>line</key><integer>210</integer>
3994 // CHECK-NEXT:          <key>col</key><integer>9</integer>
3995 // CHECK-NEXT:          <key>file</key><integer>0</integer>
3996 // CHECK-NEXT:         </dict>
3997 // CHECK-NEXT:        </array>
3998 // CHECK-NEXT:      </array>
3999 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
4000 // CHECK-NEXT:      <key>extended_message</key>
4001 // CHECK-NEXT:      <string>&apos;y&apos; initialized here</string>
4002 // CHECK-NEXT:      <key>message</key>
4003 // CHECK-NEXT:      <string>&apos;y&apos; initialized here</string>
4004 // CHECK-NEXT:     </dict>
4005 // CHECK-NEXT:     <dict>
4006 // CHECK-NEXT:      <key>kind</key><string>control</string>
4007 // CHECK-NEXT:      <key>edges</key>
4008 // CHECK-NEXT:       <array>
4009 // CHECK-NEXT:        <dict>
4010 // CHECK-NEXT:         <key>start</key>
4011 // CHECK-NEXT:          <array>
4012 // CHECK-NEXT:           <dict>
4013 // CHECK-NEXT:            <key>line</key><integer>210</integer>
4014 // CHECK-NEXT:            <key>col</key><integer>3</integer>
4015 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4016 // CHECK-NEXT:           </dict>
4017 // CHECK-NEXT:           <dict>
4018 // CHECK-NEXT:            <key>line</key><integer>210</integer>
4019 // CHECK-NEXT:            <key>col</key><integer>5</integer>
4020 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4021 // CHECK-NEXT:           </dict>
4022 // CHECK-NEXT:          </array>
4023 // CHECK-NEXT:         <key>end</key>
4024 // CHECK-NEXT:          <array>
4025 // CHECK-NEXT:           <dict>
4026 // CHECK-NEXT:            <key>line</key><integer>211</integer>
4027 // CHECK-NEXT:            <key>col</key><integer>3</integer>
4028 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4029 // CHECK-NEXT:           </dict>
4030 // CHECK-NEXT:           <dict>
4031 // CHECK-NEXT:            <key>line</key><integer>211</integer>
4032 // CHECK-NEXT:            <key>col</key><integer>3</integer>
4033 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4034 // CHECK-NEXT:           </dict>
4035 // CHECK-NEXT:          </array>
4036 // CHECK-NEXT:        </dict>
4037 // CHECK-NEXT:       </array>
4038 // CHECK-NEXT:     </dict>
4039 // CHECK-NEXT:     <dict>
4040 // CHECK-NEXT:      <key>kind</key><string>event</string>
4041 // CHECK-NEXT:      <key>location</key>
4042 // CHECK-NEXT:      <dict>
4043 // CHECK-NEXT:       <key>line</key><integer>211</integer>
4044 // CHECK-NEXT:       <key>col</key><integer>3</integer>
4045 // CHECK-NEXT:       <key>file</key><integer>0</integer>
4046 // CHECK-NEXT:      </dict>
4047 // CHECK-NEXT:      <key>ranges</key>
4048 // CHECK-NEXT:      <array>
4049 // CHECK-NEXT:        <array>
4050 // CHECK-NEXT:         <dict>
4051 // CHECK-NEXT:          <key>line</key><integer>211</integer>
4052 // CHECK-NEXT:          <key>col</key><integer>3</integer>
4053 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4054 // CHECK-NEXT:         </dict>
4055 // CHECK-NEXT:         <dict>
4056 // CHECK-NEXT:          <key>line</key><integer>211</integer>
4057 // CHECK-NEXT:          <key>col</key><integer>7</integer>
4058 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4059 // CHECK-NEXT:         </dict>
4060 // CHECK-NEXT:        </array>
4061 // CHECK-NEXT:      </array>
4062 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
4063 // CHECK-NEXT:      <key>extended_message</key>
4064 // CHECK-NEXT:      <string>Storing null pointer value</string>
4065 // CHECK-NEXT:      <key>message</key>
4066 // CHECK-NEXT:      <string>Storing null pointer value</string>
4067 // CHECK-NEXT:     </dict>
4068 // CHECK-NEXT:     <dict>
4069 // CHECK-NEXT:      <key>kind</key><string>control</string>
4070 // CHECK-NEXT:      <key>edges</key>
4071 // CHECK-NEXT:       <array>
4072 // CHECK-NEXT:        <dict>
4073 // CHECK-NEXT:         <key>start</key>
4074 // CHECK-NEXT:          <array>
4075 // CHECK-NEXT:           <dict>
4076 // CHECK-NEXT:            <key>line</key><integer>211</integer>
4077 // CHECK-NEXT:            <key>col</key><integer>3</integer>
4078 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4079 // CHECK-NEXT:           </dict>
4080 // CHECK-NEXT:           <dict>
4081 // CHECK-NEXT:            <key>line</key><integer>211</integer>
4082 // CHECK-NEXT:            <key>col</key><integer>3</integer>
4083 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4084 // CHECK-NEXT:           </dict>
4085 // CHECK-NEXT:          </array>
4086 // CHECK-NEXT:         <key>end</key>
4087 // CHECK-NEXT:          <array>
4088 // CHECK-NEXT:           <dict>
4089 // CHECK-NEXT:            <key>line</key><integer>212</integer>
4090 // CHECK-NEXT:            <key>col</key><integer>3</integer>
4091 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4092 // CHECK-NEXT:           </dict>
4093 // CHECK-NEXT:           <dict>
4094 // CHECK-NEXT:            <key>line</key><integer>212</integer>
4095 // CHECK-NEXT:            <key>col</key><integer>8</integer>
4096 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4097 // CHECK-NEXT:           </dict>
4098 // CHECK-NEXT:          </array>
4099 // CHECK-NEXT:        </dict>
4100 // CHECK-NEXT:       </array>
4101 // CHECK-NEXT:     </dict>
4102 // CHECK-NEXT:     <dict>
4103 // CHECK-NEXT:      <key>kind</key><string>control</string>
4104 // CHECK-NEXT:      <key>edges</key>
4105 // CHECK-NEXT:       <array>
4106 // CHECK-NEXT:        <dict>
4107 // CHECK-NEXT:         <key>start</key>
4108 // CHECK-NEXT:          <array>
4109 // CHECK-NEXT:           <dict>
4110 // CHECK-NEXT:            <key>line</key><integer>212</integer>
4111 // CHECK-NEXT:            <key>col</key><integer>3</integer>
4112 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4113 // CHECK-NEXT:           </dict>
4114 // CHECK-NEXT:           <dict>
4115 // CHECK-NEXT:            <key>line</key><integer>212</integer>
4116 // CHECK-NEXT:            <key>col</key><integer>8</integer>
4117 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4118 // CHECK-NEXT:           </dict>
4119 // CHECK-NEXT:          </array>
4120 // CHECK-NEXT:         <key>end</key>
4121 // CHECK-NEXT:          <array>
4122 // CHECK-NEXT:           <dict>
4123 // CHECK-NEXT:            <key>line</key><integer>212</integer>
4124 // CHECK-NEXT:            <key>col</key><integer>10</integer>
4125 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4126 // CHECK-NEXT:           </dict>
4127 // CHECK-NEXT:           <dict>
4128 // CHECK-NEXT:            <key>line</key><integer>212</integer>
4129 // CHECK-NEXT:            <key>col</key><integer>10</integer>
4130 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4131 // CHECK-NEXT:           </dict>
4132 // CHECK-NEXT:          </array>
4133 // CHECK-NEXT:        </dict>
4134 // CHECK-NEXT:       </array>
4135 // CHECK-NEXT:     </dict>
4136 // CHECK-NEXT:     <dict>
4137 // CHECK-NEXT:      <key>kind</key><string>event</string>
4138 // CHECK-NEXT:      <key>location</key>
4139 // CHECK-NEXT:      <dict>
4140 // CHECK-NEXT:       <key>line</key><integer>212</integer>
4141 // CHECK-NEXT:       <key>col</key><integer>10</integer>
4142 // CHECK-NEXT:       <key>file</key><integer>0</integer>
4143 // CHECK-NEXT:      </dict>
4144 // CHECK-NEXT:      <key>ranges</key>
4145 // CHECK-NEXT:      <array>
4146 // CHECK-NEXT:        <array>
4147 // CHECK-NEXT:         <dict>
4148 // CHECK-NEXT:          <key>line</key><integer>212</integer>
4149 // CHECK-NEXT:          <key>col</key><integer>11</integer>
4150 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4151 // CHECK-NEXT:         </dict>
4152 // CHECK-NEXT:         <dict>
4153 // CHECK-NEXT:          <key>line</key><integer>212</integer>
4154 // CHECK-NEXT:          <key>col</key><integer>11</integer>
4155 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4156 // CHECK-NEXT:         </dict>
4157 // CHECK-NEXT:        </array>
4158 // CHECK-NEXT:      </array>
4159 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
4160 // CHECK-NEXT:      <key>extended_message</key>
4161 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;y&apos;)</string>
4162 // CHECK-NEXT:      <key>message</key>
4163 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;y&apos;)</string>
4164 // CHECK-NEXT:     </dict>
4165 // CHECK-NEXT:    </array>
4166 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;y&apos;)</string>
4167 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
4168 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
4169 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
4170 // CHECK-NEXT:   <key>issue_context</key><string>testNonPrintableAssignment</string>
4171 // CHECK-NEXT:   <key>issue_hash</key><string>3</string>
4172 // CHECK-NEXT:   <key>location</key>
4173 // CHECK-NEXT:   <dict>
4174 // CHECK-NEXT:    <key>line</key><integer>212</integer>
4175 // CHECK-NEXT:    <key>col</key><integer>10</integer>
4176 // CHECK-NEXT:    <key>file</key><integer>0</integer>
4177 // CHECK-NEXT:   </dict>
4178 // CHECK-NEXT:   </dict>
4179 // CHECK-NEXT:   <dict>
4180 // CHECK-NEXT:    <key>path</key>
4181 // CHECK-NEXT:    <array>
4182 // CHECK-NEXT:     <dict>
4183 // CHECK-NEXT:      <key>kind</key><string>event</string>
4184 // CHECK-NEXT:      <key>location</key>
4185 // CHECK-NEXT:      <dict>
4186 // CHECK-NEXT:       <key>line</key><integer>220</integer>
4187 // CHECK-NEXT:       <key>col</key><integer>3</integer>
4188 // CHECK-NEXT:       <key>file</key><integer>0</integer>
4189 // CHECK-NEXT:      </dict>
4190 // CHECK-NEXT:      <key>ranges</key>
4191 // CHECK-NEXT:      <array>
4192 // CHECK-NEXT:        <array>
4193 // CHECK-NEXT:         <dict>
4194 // CHECK-NEXT:          <key>line</key><integer>220</integer>
4195 // CHECK-NEXT:          <key>col</key><integer>3</integer>
4196 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4197 // CHECK-NEXT:         </dict>
4198 // CHECK-NEXT:         <dict>
4199 // CHECK-NEXT:          <key>line</key><integer>220</integer>
4200 // CHECK-NEXT:          <key>col</key><integer>9</integer>
4201 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4202 // CHECK-NEXT:         </dict>
4203 // CHECK-NEXT:        </array>
4204 // CHECK-NEXT:      </array>
4205 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
4206 // CHECK-NEXT:      <key>extended_message</key>
4207 // CHECK-NEXT:      <string>Null pointer value stored to &apos;d.x&apos;</string>
4208 // CHECK-NEXT:      <key>message</key>
4209 // CHECK-NEXT:      <string>Null pointer value stored to &apos;d.x&apos;</string>
4210 // CHECK-NEXT:     </dict>
4211 // CHECK-NEXT:     <dict>
4212 // CHECK-NEXT:      <key>kind</key><string>control</string>
4213 // CHECK-NEXT:      <key>edges</key>
4214 // CHECK-NEXT:       <array>
4215 // CHECK-NEXT:        <dict>
4216 // CHECK-NEXT:         <key>start</key>
4217 // CHECK-NEXT:          <array>
4218 // CHECK-NEXT:           <dict>
4219 // CHECK-NEXT:            <key>line</key><integer>220</integer>
4220 // CHECK-NEXT:            <key>col</key><integer>3</integer>
4221 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4222 // CHECK-NEXT:           </dict>
4223 // CHECK-NEXT:           <dict>
4224 // CHECK-NEXT:            <key>line</key><integer>220</integer>
4225 // CHECK-NEXT:            <key>col</key><integer>3</integer>
4226 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4227 // CHECK-NEXT:           </dict>
4228 // CHECK-NEXT:          </array>
4229 // CHECK-NEXT:         <key>end</key>
4230 // CHECK-NEXT:          <array>
4231 // CHECK-NEXT:           <dict>
4232 // CHECK-NEXT:            <key>line</key><integer>221</integer>
4233 // CHECK-NEXT:            <key>col</key><integer>8</integer>
4234 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4235 // CHECK-NEXT:           </dict>
4236 // CHECK-NEXT:           <dict>
4237 // CHECK-NEXT:            <key>line</key><integer>221</integer>
4238 // CHECK-NEXT:            <key>col</key><integer>8</integer>
4239 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4240 // CHECK-NEXT:           </dict>
4241 // CHECK-NEXT:          </array>
4242 // CHECK-NEXT:        </dict>
4243 // CHECK-NEXT:       </array>
4244 // CHECK-NEXT:     </dict>
4245 // CHECK-NEXT:     <dict>
4246 // CHECK-NEXT:      <key>kind</key><string>event</string>
4247 // CHECK-NEXT:      <key>location</key>
4248 // CHECK-NEXT:      <dict>
4249 // CHECK-NEXT:       <key>line</key><integer>221</integer>
4250 // CHECK-NEXT:       <key>col</key><integer>8</integer>
4251 // CHECK-NEXT:       <key>file</key><integer>0</integer>
4252 // CHECK-NEXT:      </dict>
4253 // CHECK-NEXT:      <key>ranges</key>
4254 // CHECK-NEXT:      <array>
4255 // CHECK-NEXT:        <array>
4256 // CHECK-NEXT:         <dict>
4257 // CHECK-NEXT:          <key>line</key><integer>221</integer>
4258 // CHECK-NEXT:          <key>col</key><integer>6</integer>
4259 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4260 // CHECK-NEXT:         </dict>
4261 // CHECK-NEXT:         <dict>
4262 // CHECK-NEXT:          <key>line</key><integer>221</integer>
4263 // CHECK-NEXT:          <key>col</key><integer>6</integer>
4264 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4265 // CHECK-NEXT:         </dict>
4266 // CHECK-NEXT:        </array>
4267 // CHECK-NEXT:      </array>
4268 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
4269 // CHECK-NEXT:      <key>extended_message</key>
4270 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from field &apos;x&apos;)</string>
4271 // CHECK-NEXT:      <key>message</key>
4272 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from field &apos;x&apos;)</string>
4273 // CHECK-NEXT:     </dict>
4274 // CHECK-NEXT:    </array>
4275 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from field &apos;x&apos;)</string>
4276 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
4277 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
4278 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
4279 // CHECK-NEXT:   <key>issue_context</key><string>test</string>
4280 // CHECK-NEXT:   <key>issue_hash</key><string>2</string>
4281 // CHECK-NEXT:   <key>location</key>
4282 // CHECK-NEXT:   <dict>
4283 // CHECK-NEXT:    <key>line</key><integer>221</integer>
4284 // CHECK-NEXT:    <key>col</key><integer>8</integer>
4285 // CHECK-NEXT:    <key>file</key><integer>0</integer>
4286 // CHECK-NEXT:   </dict>
4287 // CHECK-NEXT:   </dict>
4288 // CHECK-NEXT:   <dict>
4289 // CHECK-NEXT:    <key>path</key>
4290 // CHECK-NEXT:    <array>
4291 // CHECK-NEXT:     <dict>
4292 // CHECK-NEXT:      <key>kind</key><string>control</string>
4293 // CHECK-NEXT:      <key>edges</key>
4294 // CHECK-NEXT:       <array>
4295 // CHECK-NEXT:        <dict>
4296 // CHECK-NEXT:         <key>start</key>
4297 // CHECK-NEXT:          <array>
4298 // CHECK-NEXT:           <dict>
4299 // CHECK-NEXT:            <key>line</key><integer>234</integer>
4300 // CHECK-NEXT:            <key>col</key><integer>2</integer>
4301 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4302 // CHECK-NEXT:           </dict>
4303 // CHECK-NEXT:           <dict>
4304 // CHECK-NEXT:            <key>line</key><integer>234</integer>
4305 // CHECK-NEXT:            <key>col</key><integer>3</integer>
4306 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4307 // CHECK-NEXT:           </dict>
4308 // CHECK-NEXT:          </array>
4309 // CHECK-NEXT:         <key>end</key>
4310 // CHECK-NEXT:          <array>
4311 // CHECK-NEXT:           <dict>
4312 // CHECK-NEXT:            <key>line</key><integer>234</integer>
4313 // CHECK-NEXT:            <key>col</key><integer>6</integer>
4314 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4315 // CHECK-NEXT:           </dict>
4316 // CHECK-NEXT:           <dict>
4317 // CHECK-NEXT:            <key>line</key><integer>234</integer>
4318 // CHECK-NEXT:            <key>col</key><integer>8</integer>
4319 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4320 // CHECK-NEXT:           </dict>
4321 // CHECK-NEXT:          </array>
4322 // CHECK-NEXT:        </dict>
4323 // CHECK-NEXT:       </array>
4324 // CHECK-NEXT:     </dict>
4325 // CHECK-NEXT:     <dict>
4326 // CHECK-NEXT:      <key>kind</key><string>event</string>
4327 // CHECK-NEXT:      <key>location</key>
4328 // CHECK-NEXT:      <dict>
4329 // CHECK-NEXT:       <key>line</key><integer>234</integer>
4330 // CHECK-NEXT:       <key>col</key><integer>6</integer>
4331 // CHECK-NEXT:       <key>file</key><integer>0</integer>
4332 // CHECK-NEXT:      </dict>
4333 // CHECK-NEXT:      <key>ranges</key>
4334 // CHECK-NEXT:      <array>
4335 // CHECK-NEXT:        <array>
4336 // CHECK-NEXT:         <dict>
4337 // CHECK-NEXT:          <key>line</key><integer>234</integer>
4338 // CHECK-NEXT:          <key>col</key><integer>6</integer>
4339 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4340 // CHECK-NEXT:         </dict>
4341 // CHECK-NEXT:         <dict>
4342 // CHECK-NEXT:          <key>line</key><integer>234</integer>
4343 // CHECK-NEXT:          <key>col</key><integer>8</integer>
4344 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4345 // CHECK-NEXT:         </dict>
4346 // CHECK-NEXT:        </array>
4347 // CHECK-NEXT:      </array>
4348 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
4349 // CHECK-NEXT:      <key>extended_message</key>
4350 // CHECK-NEXT:      <string>Assuming pointer value is null</string>
4351 // CHECK-NEXT:      <key>message</key>
4352 // CHECK-NEXT:      <string>Assuming pointer value is null</string>
4353 // CHECK-NEXT:     </dict>
4354 // CHECK-NEXT:     <dict>
4355 // CHECK-NEXT:      <key>kind</key><string>control</string>
4356 // CHECK-NEXT:      <key>edges</key>
4357 // CHECK-NEXT:       <array>
4358 // CHECK-NEXT:        <dict>
4359 // CHECK-NEXT:         <key>start</key>
4360 // CHECK-NEXT:          <array>
4361 // CHECK-NEXT:           <dict>
4362 // CHECK-NEXT:            <key>line</key><integer>234</integer>
4363 // CHECK-NEXT:            <key>col</key><integer>6</integer>
4364 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4365 // CHECK-NEXT:           </dict>
4366 // CHECK-NEXT:           <dict>
4367 // CHECK-NEXT:            <key>line</key><integer>234</integer>
4368 // CHECK-NEXT:            <key>col</key><integer>8</integer>
4369 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4370 // CHECK-NEXT:           </dict>
4371 // CHECK-NEXT:          </array>
4372 // CHECK-NEXT:         <key>end</key>
4373 // CHECK-NEXT:          <array>
4374 // CHECK-NEXT:           <dict>
4375 // CHECK-NEXT:            <key>line</key><integer>237</integer>
4376 // CHECK-NEXT:            <key>col</key><integer>2</integer>
4377 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4378 // CHECK-NEXT:           </dict>
4379 // CHECK-NEXT:           <dict>
4380 // CHECK-NEXT:            <key>line</key><integer>237</integer>
4381 // CHECK-NEXT:            <key>col</key><integer>4</integer>
4382 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4383 // CHECK-NEXT:           </dict>
4384 // CHECK-NEXT:          </array>
4385 // CHECK-NEXT:        </dict>
4386 // CHECK-NEXT:       </array>
4387 // CHECK-NEXT:     </dict>
4388 // CHECK-NEXT:     <dict>
4389 // CHECK-NEXT:      <key>kind</key><string>control</string>
4390 // CHECK-NEXT:      <key>edges</key>
4391 // CHECK-NEXT:       <array>
4392 // CHECK-NEXT:        <dict>
4393 // CHECK-NEXT:         <key>start</key>
4394 // CHECK-NEXT:          <array>
4395 // CHECK-NEXT:           <dict>
4396 // CHECK-NEXT:            <key>line</key><integer>237</integer>
4397 // CHECK-NEXT:            <key>col</key><integer>2</integer>
4398 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4399 // CHECK-NEXT:           </dict>
4400 // CHECK-NEXT:           <dict>
4401 // CHECK-NEXT:            <key>line</key><integer>237</integer>
4402 // CHECK-NEXT:            <key>col</key><integer>4</integer>
4403 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4404 // CHECK-NEXT:           </dict>
4405 // CHECK-NEXT:          </array>
4406 // CHECK-NEXT:         <key>end</key>
4407 // CHECK-NEXT:          <array>
4408 // CHECK-NEXT:           <dict>
4409 // CHECK-NEXT:            <key>line</key><integer>237</integer>
4410 // CHECK-NEXT:            <key>col</key><integer>11</integer>
4411 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4412 // CHECK-NEXT:           </dict>
4413 // CHECK-NEXT:           <dict>
4414 // CHECK-NEXT:            <key>line</key><integer>237</integer>
4415 // CHECK-NEXT:            <key>col</key><integer>11</integer>
4416 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4417 // CHECK-NEXT:           </dict>
4418 // CHECK-NEXT:          </array>
4419 // CHECK-NEXT:        </dict>
4420 // CHECK-NEXT:       </array>
4421 // CHECK-NEXT:     </dict>
4422 // CHECK-NEXT:     <dict>
4423 // CHECK-NEXT:      <key>kind</key><string>event</string>
4424 // CHECK-NEXT:      <key>location</key>
4425 // CHECK-NEXT:      <dict>
4426 // CHECK-NEXT:       <key>line</key><integer>237</integer>
4427 // CHECK-NEXT:       <key>col</key><integer>11</integer>
4428 // CHECK-NEXT:       <key>file</key><integer>0</integer>
4429 // CHECK-NEXT:      </dict>
4430 // CHECK-NEXT:      <key>ranges</key>
4431 // CHECK-NEXT:      <array>
4432 // CHECK-NEXT:        <array>
4433 // CHECK-NEXT:         <dict>
4434 // CHECK-NEXT:          <key>line</key><integer>237</integer>
4435 // CHECK-NEXT:          <key>col</key><integer>2</integer>
4436 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4437 // CHECK-NEXT:         </dict>
4438 // CHECK-NEXT:         <dict>
4439 // CHECK-NEXT:          <key>line</key><integer>237</integer>
4440 // CHECK-NEXT:          <key>col</key><integer>13</integer>
4441 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4442 // CHECK-NEXT:         </dict>
4443 // CHECK-NEXT:        </array>
4444 // CHECK-NEXT:      </array>
4445 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
4446 // CHECK-NEXT:      <key>extended_message</key>
4447 // CHECK-NEXT:      <string>Dereference of null pointer</string>
4448 // CHECK-NEXT:      <key>message</key>
4449 // CHECK-NEXT:      <string>Dereference of null pointer</string>
4450 // CHECK-NEXT:     </dict>
4451 // CHECK-NEXT:    </array>
4452 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer</string>
4453 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
4454 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
4455 // CHECK-NEXT:   <key>issue_context_kind</key><string>C++ method</string>
4456 // CHECK-NEXT:   <key>issue_context</key><string>testGetDerefExprOnMemberExprWithADot</string>
4457 // CHECK-NEXT:   <key>issue_hash</key><string>4</string>
4458 // CHECK-NEXT:   <key>location</key>
4459 // CHECK-NEXT:   <dict>
4460 // CHECK-NEXT:    <key>line</key><integer>237</integer>
4461 // CHECK-NEXT:    <key>col</key><integer>11</integer>
4462 // CHECK-NEXT:    <key>file</key><integer>0</integer>
4463 // CHECK-NEXT:   </dict>
4464 // CHECK-NEXT:   </dict>
4465 // CHECK-NEXT:   <dict>
4466 // CHECK-NEXT:    <key>path</key>
4467 // CHECK-NEXT:    <array>
4468 // CHECK-NEXT:     <dict>
4469 // CHECK-NEXT:      <key>kind</key><string>event</string>
4470 // CHECK-NEXT:      <key>location</key>
4471 // CHECK-NEXT:      <dict>
4472 // CHECK-NEXT:       <key>line</key><integer>242</integer>
4473 // CHECK-NEXT:       <key>col</key><integer>3</integer>
4474 // CHECK-NEXT:       <key>file</key><integer>0</integer>
4475 // CHECK-NEXT:      </dict>
4476 // CHECK-NEXT:      <key>ranges</key>
4477 // CHECK-NEXT:      <array>
4478 // CHECK-NEXT:        <array>
4479 // CHECK-NEXT:         <dict>
4480 // CHECK-NEXT:          <key>line</key><integer>242</integer>
4481 // CHECK-NEXT:          <key>col</key><integer>3</integer>
4482 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4483 // CHECK-NEXT:         </dict>
4484 // CHECK-NEXT:         <dict>
4485 // CHECK-NEXT:          <key>line</key><integer>242</integer>
4486 // CHECK-NEXT:          <key>col</key><integer>21</integer>
4487 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4488 // CHECK-NEXT:         </dict>
4489 // CHECK-NEXT:        </array>
4490 // CHECK-NEXT:      </array>
4491 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
4492 // CHECK-NEXT:      <key>extended_message</key>
4493 // CHECK-NEXT:      <string>&apos;arr&apos; declared without an initial value</string>
4494 // CHECK-NEXT:      <key>message</key>
4495 // CHECK-NEXT:      <string>&apos;arr&apos; declared without an initial value</string>
4496 // CHECK-NEXT:     </dict>
4497 // CHECK-NEXT:     <dict>
4498 // CHECK-NEXT:      <key>kind</key><string>control</string>
4499 // CHECK-NEXT:      <key>edges</key>
4500 // CHECK-NEXT:       <array>
4501 // CHECK-NEXT:        <dict>
4502 // CHECK-NEXT:         <key>start</key>
4503 // CHECK-NEXT:          <array>
4504 // CHECK-NEXT:           <dict>
4505 // CHECK-NEXT:            <key>line</key><integer>242</integer>
4506 // CHECK-NEXT:            <key>col</key><integer>3</integer>
4507 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4508 // CHECK-NEXT:           </dict>
4509 // CHECK-NEXT:           <dict>
4510 // CHECK-NEXT:            <key>line</key><integer>242</integer>
4511 // CHECK-NEXT:            <key>col</key><integer>7</integer>
4512 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4513 // CHECK-NEXT:           </dict>
4514 // CHECK-NEXT:          </array>
4515 // CHECK-NEXT:         <key>end</key>
4516 // CHECK-NEXT:          <array>
4517 // CHECK-NEXT:           <dict>
4518 // CHECK-NEXT:            <key>line</key><integer>243</integer>
4519 // CHECK-NEXT:            <key>col</key><integer>11</integer>
4520 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4521 // CHECK-NEXT:           </dict>
4522 // CHECK-NEXT:           <dict>
4523 // CHECK-NEXT:            <key>line</key><integer>243</integer>
4524 // CHECK-NEXT:            <key>col</key><integer>11</integer>
4525 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4526 // CHECK-NEXT:           </dict>
4527 // CHECK-NEXT:          </array>
4528 // CHECK-NEXT:        </dict>
4529 // CHECK-NEXT:       </array>
4530 // CHECK-NEXT:     </dict>
4531 // CHECK-NEXT:     <dict>
4532 // CHECK-NEXT:      <key>kind</key><string>event</string>
4533 // CHECK-NEXT:      <key>location</key>
4534 // CHECK-NEXT:      <dict>
4535 // CHECK-NEXT:       <key>line</key><integer>243</integer>
4536 // CHECK-NEXT:       <key>col</key><integer>11</integer>
4537 // CHECK-NEXT:       <key>file</key><integer>0</integer>
4538 // CHECK-NEXT:      </dict>
4539 // CHECK-NEXT:      <key>ranges</key>
4540 // CHECK-NEXT:      <array>
4541 // CHECK-NEXT:        <array>
4542 // CHECK-NEXT:         <dict>
4543 // CHECK-NEXT:          <key>line</key><integer>243</integer>
4544 // CHECK-NEXT:          <key>col</key><integer>2</integer>
4545 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4546 // CHECK-NEXT:         </dict>
4547 // CHECK-NEXT:         <dict>
4548 // CHECK-NEXT:          <key>line</key><integer>243</integer>
4549 // CHECK-NEXT:          <key>col</key><integer>13</integer>
4550 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4551 // CHECK-NEXT:         </dict>
4552 // CHECK-NEXT:        </array>
4553 // CHECK-NEXT:      </array>
4554 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
4555 // CHECK-NEXT:      <key>extended_message</key>
4556 // CHECK-NEXT:      <string>Dereference of undefined pointer value</string>
4557 // CHECK-NEXT:      <key>message</key>
4558 // CHECK-NEXT:      <string>Dereference of undefined pointer value</string>
4559 // CHECK-NEXT:     </dict>
4560 // CHECK-NEXT:    </array>
4561 // CHECK-NEXT:    <key>description</key><string>Dereference of undefined pointer value</string>
4562 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
4563 // CHECK-NEXT:    <key>type</key><string>Dereference of undefined pointer value</string>
4564 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
4565 // CHECK-NEXT:   <key>issue_context</key><string>testGetDerefExprOnMemberExprWithADot</string>
4566 // CHECK-NEXT:   <key>issue_hash</key><string>2</string>
4567 // CHECK-NEXT:   <key>location</key>
4568 // CHECK-NEXT:   <dict>
4569 // CHECK-NEXT:    <key>line</key><integer>243</integer>
4570 // CHECK-NEXT:    <key>col</key><integer>11</integer>
4571 // CHECK-NEXT:    <key>file</key><integer>0</integer>
4572 // CHECK-NEXT:   </dict>
4573 // CHECK-NEXT:   </dict>
4574 // CHECK-NEXT:   <dict>
4575 // CHECK-NEXT:    <key>path</key>
4576 // CHECK-NEXT:    <array>
4577 // CHECK-NEXT:     <dict>
4578 // CHECK-NEXT:      <key>kind</key><string>event</string>
4579 // CHECK-NEXT:      <key>location</key>
4580 // CHECK-NEXT:      <dict>
4581 // CHECK-NEXT:       <key>line</key><integer>254</integer>
4582 // CHECK-NEXT:       <key>col</key><integer>3</integer>
4583 // CHECK-NEXT:       <key>file</key><integer>0</integer>
4584 // CHECK-NEXT:      </dict>
4585 // CHECK-NEXT:      <key>ranges</key>
4586 // CHECK-NEXT:      <array>
4587 // CHECK-NEXT:        <array>
4588 // CHECK-NEXT:         <dict>
4589 // CHECK-NEXT:          <key>line</key><integer>254</integer>
4590 // CHECK-NEXT:          <key>col</key><integer>3</integer>
4591 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4592 // CHECK-NEXT:         </dict>
4593 // CHECK-NEXT:         <dict>
4594 // CHECK-NEXT:          <key>line</key><integer>254</integer>
4595 // CHECK-NEXT:          <key>col</key><integer>14</integer>
4596 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4597 // CHECK-NEXT:         </dict>
4598 // CHECK-NEXT:        </array>
4599 // CHECK-NEXT:      </array>
4600 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
4601 // CHECK-NEXT:      <key>extended_message</key>
4602 // CHECK-NEXT:      <string>&apos;val&apos; initialized here</string>
4603 // CHECK-NEXT:      <key>message</key>
4604 // CHECK-NEXT:      <string>&apos;val&apos; initialized here</string>
4605 // CHECK-NEXT:     </dict>
4606 // CHECK-NEXT:     <dict>
4607 // CHECK-NEXT:      <key>kind</key><string>control</string>
4608 // CHECK-NEXT:      <key>edges</key>
4609 // CHECK-NEXT:       <array>
4610 // CHECK-NEXT:        <dict>
4611 // CHECK-NEXT:         <key>start</key>
4612 // CHECK-NEXT:          <array>
4613 // CHECK-NEXT:           <dict>
4614 // CHECK-NEXT:            <key>line</key><integer>254</integer>
4615 // CHECK-NEXT:            <key>col</key><integer>3</integer>
4616 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4617 // CHECK-NEXT:           </dict>
4618 // CHECK-NEXT:           <dict>
4619 // CHECK-NEXT:            <key>line</key><integer>254</integer>
4620 // CHECK-NEXT:            <key>col</key><integer>7</integer>
4621 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4622 // CHECK-NEXT:           </dict>
4623 // CHECK-NEXT:          </array>
4624 // CHECK-NEXT:         <key>end</key>
4625 // CHECK-NEXT:          <array>
4626 // CHECK-NEXT:           <dict>
4627 // CHECK-NEXT:            <key>line</key><integer>259</integer>
4628 // CHECK-NEXT:            <key>col</key><integer>3</integer>
4629 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4630 // CHECK-NEXT:           </dict>
4631 // CHECK-NEXT:           <dict>
4632 // CHECK-NEXT:            <key>line</key><integer>259</integer>
4633 // CHECK-NEXT:            <key>col</key><integer>4</integer>
4634 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4635 // CHECK-NEXT:           </dict>
4636 // CHECK-NEXT:          </array>
4637 // CHECK-NEXT:        </dict>
4638 // CHECK-NEXT:       </array>
4639 // CHECK-NEXT:     </dict>
4640 // CHECK-NEXT:     <dict>
4641 // CHECK-NEXT:      <key>kind</key><string>control</string>
4642 // CHECK-NEXT:      <key>edges</key>
4643 // CHECK-NEXT:       <array>
4644 // CHECK-NEXT:        <dict>
4645 // CHECK-NEXT:         <key>start</key>
4646 // CHECK-NEXT:          <array>
4647 // CHECK-NEXT:           <dict>
4648 // CHECK-NEXT:            <key>line</key><integer>259</integer>
4649 // CHECK-NEXT:            <key>col</key><integer>3</integer>
4650 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4651 // CHECK-NEXT:           </dict>
4652 // CHECK-NEXT:           <dict>
4653 // CHECK-NEXT:            <key>line</key><integer>259</integer>
4654 // CHECK-NEXT:            <key>col</key><integer>4</integer>
4655 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4656 // CHECK-NEXT:           </dict>
4657 // CHECK-NEXT:          </array>
4658 // CHECK-NEXT:         <key>end</key>
4659 // CHECK-NEXT:          <array>
4660 // CHECK-NEXT:           <dict>
4661 // CHECK-NEXT:            <key>line</key><integer>259</integer>
4662 // CHECK-NEXT:            <key>col</key><integer>7</integer>
4663 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4664 // CHECK-NEXT:           </dict>
4665 // CHECK-NEXT:           <dict>
4666 // CHECK-NEXT:            <key>line</key><integer>259</integer>
4667 // CHECK-NEXT:            <key>col</key><integer>7</integer>
4668 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4669 // CHECK-NEXT:           </dict>
4670 // CHECK-NEXT:          </array>
4671 // CHECK-NEXT:        </dict>
4672 // CHECK-NEXT:       </array>
4673 // CHECK-NEXT:     </dict>
4674 // CHECK-NEXT:     <dict>
4675 // CHECK-NEXT:      <key>kind</key><string>event</string>
4676 // CHECK-NEXT:      <key>location</key>
4677 // CHECK-NEXT:      <dict>
4678 // CHECK-NEXT:       <key>line</key><integer>259</integer>
4679 // CHECK-NEXT:       <key>col</key><integer>7</integer>
4680 // CHECK-NEXT:       <key>file</key><integer>0</integer>
4681 // CHECK-NEXT:      </dict>
4682 // CHECK-NEXT:      <key>ranges</key>
4683 // CHECK-NEXT:      <array>
4684 // CHECK-NEXT:        <array>
4685 // CHECK-NEXT:         <dict>
4686 // CHECK-NEXT:          <key>line</key><integer>259</integer>
4687 // CHECK-NEXT:          <key>col</key><integer>7</integer>
4688 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4689 // CHECK-NEXT:         </dict>
4690 // CHECK-NEXT:         <dict>
4691 // CHECK-NEXT:          <key>line</key><integer>259</integer>
4692 // CHECK-NEXT:          <key>col</key><integer>15</integer>
4693 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4694 // CHECK-NEXT:         </dict>
4695 // CHECK-NEXT:        </array>
4696 // CHECK-NEXT:      </array>
4697 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
4698 // CHECK-NEXT:      <key>extended_message</key>
4699 // CHECK-NEXT:      <string>Assuming pointer value is null</string>
4700 // CHECK-NEXT:      <key>message</key>
4701 // CHECK-NEXT:      <string>Assuming pointer value is null</string>
4702 // CHECK-NEXT:     </dict>
4703 // CHECK-NEXT:     <dict>
4704 // CHECK-NEXT:      <key>kind</key><string>control</string>
4705 // CHECK-NEXT:      <key>edges</key>
4706 // CHECK-NEXT:       <array>
4707 // CHECK-NEXT:        <dict>
4708 // CHECK-NEXT:         <key>start</key>
4709 // CHECK-NEXT:          <array>
4710 // CHECK-NEXT:           <dict>
4711 // CHECK-NEXT:            <key>line</key><integer>259</integer>
4712 // CHECK-NEXT:            <key>col</key><integer>7</integer>
4713 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4714 // CHECK-NEXT:           </dict>
4715 // CHECK-NEXT:           <dict>
4716 // CHECK-NEXT:            <key>line</key><integer>259</integer>
4717 // CHECK-NEXT:            <key>col</key><integer>7</integer>
4718 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4719 // CHECK-NEXT:           </dict>
4720 // CHECK-NEXT:          </array>
4721 // CHECK-NEXT:         <key>end</key>
4722 // CHECK-NEXT:          <array>
4723 // CHECK-NEXT:           <dict>
4724 // CHECK-NEXT:            <key>line</key><integer>261</integer>
4725 // CHECK-NEXT:            <key>col</key><integer>5</integer>
4726 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4727 // CHECK-NEXT:           </dict>
4728 // CHECK-NEXT:           <dict>
4729 // CHECK-NEXT:            <key>line</key><integer>261</integer>
4730 // CHECK-NEXT:            <key>col</key><integer>7</integer>
4731 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4732 // CHECK-NEXT:           </dict>
4733 // CHECK-NEXT:          </array>
4734 // CHECK-NEXT:        </dict>
4735 // CHECK-NEXT:       </array>
4736 // CHECK-NEXT:     </dict>
4737 // CHECK-NEXT:     <dict>
4738 // CHECK-NEXT:      <key>kind</key><string>event</string>
4739 // CHECK-NEXT:      <key>location</key>
4740 // CHECK-NEXT:      <dict>
4741 // CHECK-NEXT:       <key>line</key><integer>261</integer>
4742 // CHECK-NEXT:       <key>col</key><integer>5</integer>
4743 // CHECK-NEXT:       <key>file</key><integer>0</integer>
4744 // CHECK-NEXT:      </dict>
4745 // CHECK-NEXT:      <key>ranges</key>
4746 // CHECK-NEXT:      <array>
4747 // CHECK-NEXT:        <array>
4748 // CHECK-NEXT:         <dict>
4749 // CHECK-NEXT:          <key>line</key><integer>261</integer>
4750 // CHECK-NEXT:          <key>col</key><integer>5</integer>
4751 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4752 // CHECK-NEXT:         </dict>
4753 // CHECK-NEXT:         <dict>
4754 // CHECK-NEXT:          <key>line</key><integer>261</integer>
4755 // CHECK-NEXT:          <key>col</key><integer>7</integer>
4756 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4757 // CHECK-NEXT:         </dict>
4758 // CHECK-NEXT:        </array>
4759 // CHECK-NEXT:      </array>
4760 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
4761 // CHECK-NEXT:      <key>extended_message</key>
4762 // CHECK-NEXT:      <string>Called C++ object pointer is null</string>
4763 // CHECK-NEXT:      <key>message</key>
4764 // CHECK-NEXT:      <string>Called C++ object pointer is null</string>
4765 // CHECK-NEXT:     </dict>
4766 // CHECK-NEXT:    </array>
4767 // CHECK-NEXT:    <key>description</key><string>Called C++ object pointer is null</string>
4768 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
4769 // CHECK-NEXT:    <key>type</key><string>Called C++ object pointer is null</string>
4770 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
4771 // CHECK-NEXT:   <key>issue_context</key><string>testDeclRefExprToReferenceInGetDerefExpr</string>
4772 // CHECK-NEXT:   <key>issue_hash</key><string>8</string>
4773 // CHECK-NEXT:   <key>location</key>
4774 // CHECK-NEXT:   <dict>
4775 // CHECK-NEXT:    <key>line</key><integer>261</integer>
4776 // CHECK-NEXT:    <key>col</key><integer>5</integer>
4777 // CHECK-NEXT:    <key>file</key><integer>0</integer>
4778 // CHECK-NEXT:   </dict>
4779 // CHECK-NEXT:   </dict>
4780 // CHECK-NEXT:   <dict>
4781 // CHECK-NEXT:    <key>path</key>
4782 // CHECK-NEXT:    <array>
4783 // CHECK-NEXT:     <dict>
4784 // CHECK-NEXT:      <key>kind</key><string>control</string>
4785 // CHECK-NEXT:      <key>edges</key>
4786 // CHECK-NEXT:       <array>
4787 // CHECK-NEXT:        <dict>
4788 // CHECK-NEXT:         <key>start</key>
4789 // CHECK-NEXT:          <array>
4790 // CHECK-NEXT:           <dict>
4791 // CHECK-NEXT:            <key>line</key><integer>273</integer>
4792 // CHECK-NEXT:            <key>col</key><integer>3</integer>
4793 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4794 // CHECK-NEXT:           </dict>
4795 // CHECK-NEXT:           <dict>
4796 // CHECK-NEXT:            <key>line</key><integer>273</integer>
4797 // CHECK-NEXT:            <key>col</key><integer>8</integer>
4798 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4799 // CHECK-NEXT:           </dict>
4800 // CHECK-NEXT:          </array>
4801 // CHECK-NEXT:         <key>end</key>
4802 // CHECK-NEXT:          <array>
4803 // CHECK-NEXT:           <dict>
4804 // CHECK-NEXT:            <key>line</key><integer>273</integer>
4805 // CHECK-NEXT:            <key>col</key><integer>10</integer>
4806 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4807 // CHECK-NEXT:           </dict>
4808 // CHECK-NEXT:           <dict>
4809 // CHECK-NEXT:            <key>line</key><integer>273</integer>
4810 // CHECK-NEXT:            <key>col</key><integer>38</integer>
4811 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4812 // CHECK-NEXT:           </dict>
4813 // CHECK-NEXT:          </array>
4814 // CHECK-NEXT:        </dict>
4815 // CHECK-NEXT:       </array>
4816 // CHECK-NEXT:     </dict>
4817 // CHECK-NEXT:     <dict>
4818 // CHECK-NEXT:      <key>kind</key><string>event</string>
4819 // CHECK-NEXT:      <key>location</key>
4820 // CHECK-NEXT:      <dict>
4821 // CHECK-NEXT:       <key>line</key><integer>273</integer>
4822 // CHECK-NEXT:       <key>col</key><integer>10</integer>
4823 // CHECK-NEXT:       <key>file</key><integer>0</integer>
4824 // CHECK-NEXT:      </dict>
4825 // CHECK-NEXT:      <key>ranges</key>
4826 // CHECK-NEXT:      <array>
4827 // CHECK-NEXT:        <array>
4828 // CHECK-NEXT:         <dict>
4829 // CHECK-NEXT:          <key>line</key><integer>273</integer>
4830 // CHECK-NEXT:          <key>col</key><integer>10</integer>
4831 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4832 // CHECK-NEXT:         </dict>
4833 // CHECK-NEXT:         <dict>
4834 // CHECK-NEXT:          <key>line</key><integer>273</integer>
4835 // CHECK-NEXT:          <key>col</key><integer>41</integer>
4836 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4837 // CHECK-NEXT:         </dict>
4838 // CHECK-NEXT:        </array>
4839 // CHECK-NEXT:      </array>
4840 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
4841 // CHECK-NEXT:      <key>extended_message</key>
4842 // CHECK-NEXT:      <string>Passing the value 0 via 2nd parameter &apos;two&apos;</string>
4843 // CHECK-NEXT:      <key>message</key>
4844 // CHECK-NEXT:      <string>Passing the value 0 via 2nd parameter &apos;two&apos;</string>
4845 // CHECK-NEXT:     </dict>
4846 // CHECK-NEXT:     <dict>
4847 // CHECK-NEXT:      <key>kind</key><string>event</string>
4848 // CHECK-NEXT:      <key>location</key>
4849 // CHECK-NEXT:      <dict>
4850 // CHECK-NEXT:       <key>line</key><integer>273</integer>
4851 // CHECK-NEXT:       <key>col</key><integer>10</integer>
4852 // CHECK-NEXT:       <key>file</key><integer>0</integer>
4853 // CHECK-NEXT:      </dict>
4854 // CHECK-NEXT:      <key>ranges</key>
4855 // CHECK-NEXT:      <array>
4856 // CHECK-NEXT:        <array>
4857 // CHECK-NEXT:         <dict>
4858 // CHECK-NEXT:          <key>line</key><integer>273</integer>
4859 // CHECK-NEXT:          <key>col</key><integer>10</integer>
4860 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4861 // CHECK-NEXT:         </dict>
4862 // CHECK-NEXT:         <dict>
4863 // CHECK-NEXT:          <key>line</key><integer>273</integer>
4864 // CHECK-NEXT:          <key>col</key><integer>41</integer>
4865 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4866 // CHECK-NEXT:         </dict>
4867 // CHECK-NEXT:        </array>
4868 // CHECK-NEXT:      </array>
4869 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
4870 // CHECK-NEXT:      <key>extended_message</key>
4871 // CHECK-NEXT:      <string>Calling &apos;generateNoteOnDefaultArgument&apos;</string>
4872 // CHECK-NEXT:      <key>message</key>
4873 // CHECK-NEXT:      <string>Calling &apos;generateNoteOnDefaultArgument&apos;</string>
4874 // CHECK-NEXT:     </dict>
4875 // CHECK-NEXT:     <dict>
4876 // CHECK-NEXT:      <key>kind</key><string>event</string>
4877 // CHECK-NEXT:      <key>location</key>
4878 // CHECK-NEXT:      <dict>
4879 // CHECK-NEXT:       <key>line</key><integer>268</integer>
4880 // CHECK-NEXT:       <key>col</key><integer>1</integer>
4881 // CHECK-NEXT:       <key>file</key><integer>0</integer>
4882 // CHECK-NEXT:      </dict>
4883 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
4884 // CHECK-NEXT:      <key>extended_message</key>
4885 // CHECK-NEXT:      <string>Entered call from &apos;callGenerateNoteOnDefaultArgument&apos;</string>
4886 // CHECK-NEXT:      <key>message</key>
4887 // CHECK-NEXT:      <string>Entered call from &apos;callGenerateNoteOnDefaultArgument&apos;</string>
4888 // CHECK-NEXT:     </dict>
4889 // CHECK-NEXT:     <dict>
4890 // CHECK-NEXT:      <key>kind</key><string>control</string>
4891 // CHECK-NEXT:      <key>edges</key>
4892 // CHECK-NEXT:       <array>
4893 // CHECK-NEXT:        <dict>
4894 // CHECK-NEXT:         <key>start</key>
4895 // CHECK-NEXT:          <array>
4896 // CHECK-NEXT:           <dict>
4897 // CHECK-NEXT:            <key>line</key><integer>268</integer>
4898 // CHECK-NEXT:            <key>col</key><integer>1</integer>
4899 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4900 // CHECK-NEXT:           </dict>
4901 // CHECK-NEXT:           <dict>
4902 // CHECK-NEXT:            <key>line</key><integer>268</integer>
4903 // CHECK-NEXT:            <key>col</key><integer>3</integer>
4904 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4905 // CHECK-NEXT:           </dict>
4906 // CHECK-NEXT:          </array>
4907 // CHECK-NEXT:         <key>end</key>
4908 // CHECK-NEXT:          <array>
4909 // CHECK-NEXT:           <dict>
4910 // CHECK-NEXT:            <key>line</key><integer>269</integer>
4911 // CHECK-NEXT:            <key>col</key><integer>3</integer>
4912 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4913 // CHECK-NEXT:           </dict>
4914 // CHECK-NEXT:           <dict>
4915 // CHECK-NEXT:            <key>line</key><integer>269</integer>
4916 // CHECK-NEXT:            <key>col</key><integer>8</integer>
4917 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4918 // CHECK-NEXT:           </dict>
4919 // CHECK-NEXT:          </array>
4920 // CHECK-NEXT:        </dict>
4921 // CHECK-NEXT:       </array>
4922 // CHECK-NEXT:     </dict>
4923 // CHECK-NEXT:     <dict>
4924 // CHECK-NEXT:      <key>kind</key><string>control</string>
4925 // CHECK-NEXT:      <key>edges</key>
4926 // CHECK-NEXT:       <array>
4927 // CHECK-NEXT:        <dict>
4928 // CHECK-NEXT:         <key>start</key>
4929 // CHECK-NEXT:          <array>
4930 // CHECK-NEXT:           <dict>
4931 // CHECK-NEXT:            <key>line</key><integer>269</integer>
4932 // CHECK-NEXT:            <key>col</key><integer>3</integer>
4933 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4934 // CHECK-NEXT:           </dict>
4935 // CHECK-NEXT:           <dict>
4936 // CHECK-NEXT:            <key>line</key><integer>269</integer>
4937 // CHECK-NEXT:            <key>col</key><integer>8</integer>
4938 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4939 // CHECK-NEXT:           </dict>
4940 // CHECK-NEXT:          </array>
4941 // CHECK-NEXT:         <key>end</key>
4942 // CHECK-NEXT:          <array>
4943 // CHECK-NEXT:           <dict>
4944 // CHECK-NEXT:            <key>line</key><integer>269</integer>
4945 // CHECK-NEXT:            <key>col</key><integer>13</integer>
4946 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4947 // CHECK-NEXT:           </dict>
4948 // CHECK-NEXT:           <dict>
4949 // CHECK-NEXT:            <key>line</key><integer>269</integer>
4950 // CHECK-NEXT:            <key>col</key><integer>13</integer>
4951 // CHECK-NEXT:            <key>file</key><integer>0</integer>
4952 // CHECK-NEXT:           </dict>
4953 // CHECK-NEXT:          </array>
4954 // CHECK-NEXT:        </dict>
4955 // CHECK-NEXT:       </array>
4956 // CHECK-NEXT:     </dict>
4957 // CHECK-NEXT:     <dict>
4958 // CHECK-NEXT:      <key>kind</key><string>event</string>
4959 // CHECK-NEXT:      <key>location</key>
4960 // CHECK-NEXT:      <dict>
4961 // CHECK-NEXT:       <key>line</key><integer>269</integer>
4962 // CHECK-NEXT:       <key>col</key><integer>13</integer>
4963 // CHECK-NEXT:       <key>file</key><integer>0</integer>
4964 // CHECK-NEXT:      </dict>
4965 // CHECK-NEXT:      <key>ranges</key>
4966 // CHECK-NEXT:      <array>
4967 // CHECK-NEXT:        <array>
4968 // CHECK-NEXT:         <dict>
4969 // CHECK-NEXT:          <key>line</key><integer>269</integer>
4970 // CHECK-NEXT:          <key>col</key><integer>10</integer>
4971 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4972 // CHECK-NEXT:         </dict>
4973 // CHECK-NEXT:         <dict>
4974 // CHECK-NEXT:          <key>line</key><integer>269</integer>
4975 // CHECK-NEXT:          <key>col</key><integer>16</integer>
4976 // CHECK-NEXT:          <key>file</key><integer>0</integer>
4977 // CHECK-NEXT:         </dict>
4978 // CHECK-NEXT:        </array>
4979 // CHECK-NEXT:      </array>
4980 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
4981 // CHECK-NEXT:      <key>extended_message</key>
4982 // CHECK-NEXT:      <string>Division by zero</string>
4983 // CHECK-NEXT:      <key>message</key>
4984 // CHECK-NEXT:      <string>Division by zero</string>
4985 // CHECK-NEXT:     </dict>
4986 // CHECK-NEXT:    </array>
4987 // CHECK-NEXT:    <key>description</key><string>Division by zero</string>
4988 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
4989 // CHECK-NEXT:    <key>type</key><string>Division by zero</string>
4990 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
4991 // CHECK-NEXT:   <key>issue_context</key><string>generateNoteOnDefaultArgument</string>
4992 // CHECK-NEXT:   <key>issue_hash</key><string>1</string>
4993 // CHECK-NEXT:   <key>location</key>
4994 // CHECK-NEXT:   <dict>
4995 // CHECK-NEXT:    <key>line</key><integer>269</integer>
4996 // CHECK-NEXT:    <key>col</key><integer>13</integer>
4997 // CHECK-NEXT:    <key>file</key><integer>0</integer>
4998 // CHECK-NEXT:   </dict>
4999 // CHECK-NEXT:   </dict>
5000 // CHECK-NEXT:   <dict>
5001 // CHECK-NEXT:    <key>path</key>
5002 // CHECK-NEXT:    <array>
5003 // CHECK-NEXT:     <dict>
5004 // CHECK-NEXT:      <key>kind</key><string>event</string>
5005 // CHECK-NEXT:      <key>location</key>
5006 // CHECK-NEXT:      <dict>
5007 // CHECK-NEXT:       <key>line</key><integer>296</integer>
5008 // CHECK-NEXT:       <key>col</key><integer>5</integer>
5009 // CHECK-NEXT:       <key>file</key><integer>0</integer>
5010 // CHECK-NEXT:      </dict>
5011 // CHECK-NEXT:      <key>ranges</key>
5012 // CHECK-NEXT:      <array>
5013 // CHECK-NEXT:        <array>
5014 // CHECK-NEXT:         <dict>
5015 // CHECK-NEXT:          <key>line</key><integer>296</integer>
5016 // CHECK-NEXT:          <key>col</key><integer>5</integer>
5017 // CHECK-NEXT:          <key>file</key><integer>0</integer>
5018 // CHECK-NEXT:         </dict>
5019 // CHECK-NEXT:         <dict>
5020 // CHECK-NEXT:          <key>line</key><integer>296</integer>
5021 // CHECK-NEXT:          <key>col</key><integer>16</integer>
5022 // CHECK-NEXT:          <key>file</key><integer>0</integer>
5023 // CHECK-NEXT:         </dict>
5024 // CHECK-NEXT:        </array>
5025 // CHECK-NEXT:      </array>
5026 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
5027 // CHECK-NEXT:      <key>extended_message</key>
5028 // CHECK-NEXT:      <string>Calling &apos;~Outer&apos;</string>
5029 // CHECK-NEXT:      <key>message</key>
5030 // CHECK-NEXT:      <string>Calling &apos;~Outer&apos;</string>
5031 // CHECK-NEXT:     </dict>
5032 // CHECK-NEXT:     <dict>
5033 // CHECK-NEXT:      <key>kind</key><string>event</string>
5034 // CHECK-NEXT:      <key>location</key>
5035 // CHECK-NEXT:      <dict>
5036 // CHECK-NEXT:       <key>line</key><integer>289</integer>
5037 // CHECK-NEXT:       <key>col</key><integer>5</integer>
5038 // CHECK-NEXT:       <key>file</key><integer>0</integer>
5039 // CHECK-NEXT:      </dict>
5040 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
5041 // CHECK-NEXT:      <key>extended_message</key>
5042 // CHECK-NEXT:      <string>Entered call from &apos;test&apos;</string>
5043 // CHECK-NEXT:      <key>message</key>
5044 // CHECK-NEXT:      <string>Entered call from &apos;test&apos;</string>
5045 // CHECK-NEXT:     </dict>
5046 // CHECK-NEXT:     <dict>
5047 // CHECK-NEXT:      <key>kind</key><string>control</string>
5048 // CHECK-NEXT:      <key>edges</key>
5049 // CHECK-NEXT:       <array>
5050 // CHECK-NEXT:        <dict>
5051 // CHECK-NEXT:         <key>start</key>
5052 // CHECK-NEXT:          <array>
5053 // CHECK-NEXT:           <dict>
5054 // CHECK-NEXT:            <key>line</key><integer>289</integer>
5055 // CHECK-NEXT:            <key>col</key><integer>5</integer>
5056 // CHECK-NEXT:            <key>file</key><integer>0</integer>
5057 // CHECK-NEXT:           </dict>
5058 // CHECK-NEXT:           <dict>
5059 // CHECK-NEXT:            <key>line</key><integer>289</integer>
5060 // CHECK-NEXT:            <key>col</key><integer>5</integer>
5061 // CHECK-NEXT:            <key>file</key><integer>0</integer>
5062 // CHECK-NEXT:           </dict>
5063 // CHECK-NEXT:          </array>
5064 // CHECK-NEXT:         <key>end</key>
5065 // CHECK-NEXT:          <array>
5066 // CHECK-NEXT:           <dict>
5067 // CHECK-NEXT:            <key>line</key><integer>290</integer>
5068 // CHECK-NEXT:            <key>col</key><integer>7</integer>
5069 // CHECK-NEXT:            <key>file</key><integer>0</integer>
5070 // CHECK-NEXT:           </dict>
5071 // CHECK-NEXT:           <dict>
5072 // CHECK-NEXT:            <key>line</key><integer>290</integer>
5073 // CHECK-NEXT:            <key>col</key><integer>12</integer>
5074 // CHECK-NEXT:            <key>file</key><integer>0</integer>
5075 // CHECK-NEXT:           </dict>
5076 // CHECK-NEXT:          </array>
5077 // CHECK-NEXT:        </dict>
5078 // CHECK-NEXT:       </array>
5079 // CHECK-NEXT:     </dict>
5080 // CHECK-NEXT:     <dict>
5081 // CHECK-NEXT:      <key>kind</key><string>event</string>
5082 // CHECK-NEXT:      <key>location</key>
5083 // CHECK-NEXT:      <dict>
5084 // CHECK-NEXT:       <key>line</key><integer>290</integer>
5085 // CHECK-NEXT:       <key>col</key><integer>7</integer>
5086 // CHECK-NEXT:       <key>file</key><integer>0</integer>
5087 // CHECK-NEXT:      </dict>
5088 // CHECK-NEXT:      <key>ranges</key>
5089 // CHECK-NEXT:      <array>
5090 // CHECK-NEXT:        <array>
5091 // CHECK-NEXT:         <dict>
5092 // CHECK-NEXT:          <key>line</key><integer>290</integer>
5093 // CHECK-NEXT:          <key>col</key><integer>7</integer>
5094 // CHECK-NEXT:          <key>file</key><integer>0</integer>
5095 // CHECK-NEXT:         </dict>
5096 // CHECK-NEXT:         <dict>
5097 // CHECK-NEXT:          <key>line</key><integer>290</integer>
5098 // CHECK-NEXT:          <key>col</key><integer>18</integer>
5099 // CHECK-NEXT:          <key>file</key><integer>0</integer>
5100 // CHECK-NEXT:         </dict>
5101 // CHECK-NEXT:        </array>
5102 // CHECK-NEXT:      </array>
5103 // CHECK-NEXT:      <key>depth</key><integer>1</integer>
5104 // CHECK-NEXT:      <key>extended_message</key>
5105 // CHECK-NEXT:      <string>Calling &apos;~Inner&apos;</string>
5106 // CHECK-NEXT:      <key>message</key>
5107 // CHECK-NEXT:      <string>Calling &apos;~Inner&apos;</string>
5108 // CHECK-NEXT:     </dict>
5109 // CHECK-NEXT:     <dict>
5110 // CHECK-NEXT:      <key>kind</key><string>event</string>
5111 // CHECK-NEXT:      <key>location</key>
5112 // CHECK-NEXT:      <dict>
5113 // CHECK-NEXT:       <key>line</key><integer>280</integer>
5114 // CHECK-NEXT:       <key>col</key><integer>5</integer>
5115 // CHECK-NEXT:       <key>file</key><integer>0</integer>
5116 // CHECK-NEXT:      </dict>
5117 // CHECK-NEXT:      <key>depth</key><integer>2</integer>
5118 // CHECK-NEXT:      <key>extended_message</key>
5119 // CHECK-NEXT:      <string>Entered call from &apos;~Outer&apos;</string>
5120 // CHECK-NEXT:      <key>message</key>
5121 // CHECK-NEXT:      <string>Entered call from &apos;~Outer&apos;</string>
5122 // CHECK-NEXT:     </dict>
5123 // CHECK-NEXT:     <dict>
5124 // CHECK-NEXT:      <key>kind</key><string>control</string>
5125 // CHECK-NEXT:      <key>edges</key>
5126 // CHECK-NEXT:       <array>
5127 // CHECK-NEXT:        <dict>
5128 // CHECK-NEXT:         <key>start</key>
5129 // CHECK-NEXT:          <array>
5130 // CHECK-NEXT:           <dict>
5131 // CHECK-NEXT:            <key>line</key><integer>280</integer>
5132 // CHECK-NEXT:            <key>col</key><integer>5</integer>
5133 // CHECK-NEXT:            <key>file</key><integer>0</integer>
5134 // CHECK-NEXT:           </dict>
5135 // CHECK-NEXT:           <dict>
5136 // CHECK-NEXT:            <key>line</key><integer>280</integer>
5137 // CHECK-NEXT:            <key>col</key><integer>5</integer>
5138 // CHECK-NEXT:            <key>file</key><integer>0</integer>
5139 // CHECK-NEXT:           </dict>
5140 // CHECK-NEXT:          </array>
5141 // CHECK-NEXT:         <key>end</key>
5142 // CHECK-NEXT:          <array>
5143 // CHECK-NEXT:           <dict>
5144 // CHECK-NEXT:            <key>line</key><integer>281</integer>
5145 // CHECK-NEXT:            <key>col</key><integer>7</integer>
5146 // CHECK-NEXT:            <key>file</key><integer>0</integer>
5147 // CHECK-NEXT:           </dict>
5148 // CHECK-NEXT:           <dict>
5149 // CHECK-NEXT:            <key>line</key><integer>281</integer>
5150 // CHECK-NEXT:            <key>col</key><integer>7</integer>
5151 // CHECK-NEXT:            <key>file</key><integer>0</integer>
5152 // CHECK-NEXT:           </dict>
5153 // CHECK-NEXT:          </array>
5154 // CHECK-NEXT:        </dict>
5155 // CHECK-NEXT:       </array>
5156 // CHECK-NEXT:     </dict>
5157 // CHECK-NEXT:     <dict>
5158 // CHECK-NEXT:      <key>kind</key><string>control</string>
5159 // CHECK-NEXT:      <key>edges</key>
5160 // CHECK-NEXT:       <array>
5161 // CHECK-NEXT:        <dict>
5162 // CHECK-NEXT:         <key>start</key>
5163 // CHECK-NEXT:          <array>
5164 // CHECK-NEXT:           <dict>
5165 // CHECK-NEXT:            <key>line</key><integer>281</integer>
5166 // CHECK-NEXT:            <key>col</key><integer>7</integer>
5167 // CHECK-NEXT:            <key>file</key><integer>0</integer>
5168 // CHECK-NEXT:           </dict>
5169 // CHECK-NEXT:           <dict>
5170 // CHECK-NEXT:            <key>line</key><integer>281</integer>
5171 // CHECK-NEXT:            <key>col</key><integer>7</integer>
5172 // CHECK-NEXT:            <key>file</key><integer>0</integer>
5173 // CHECK-NEXT:           </dict>
5174 // CHECK-NEXT:          </array>
5175 // CHECK-NEXT:         <key>end</key>
5176 // CHECK-NEXT:          <array>
5177 // CHECK-NEXT:           <dict>
5178 // CHECK-NEXT:            <key>line</key><integer>281</integer>
5179 // CHECK-NEXT:            <key>col</key><integer>26</integer>
5180 // CHECK-NEXT:            <key>file</key><integer>0</integer>
5181 // CHECK-NEXT:           </dict>
5182 // CHECK-NEXT:           <dict>
5183 // CHECK-NEXT:            <key>line</key><integer>281</integer>
5184 // CHECK-NEXT:            <key>col</key><integer>26</integer>
5185 // CHECK-NEXT:            <key>file</key><integer>0</integer>
5186 // CHECK-NEXT:           </dict>
5187 // CHECK-NEXT:          </array>
5188 // CHECK-NEXT:        </dict>
5189 // CHECK-NEXT:       </array>
5190 // CHECK-NEXT:     </dict>
5191 // CHECK-NEXT:     <dict>
5192 // CHECK-NEXT:      <key>kind</key><string>event</string>
5193 // CHECK-NEXT:      <key>location</key>
5194 // CHECK-NEXT:      <dict>
5195 // CHECK-NEXT:       <key>line</key><integer>281</integer>
5196 // CHECK-NEXT:       <key>col</key><integer>26</integer>
5197 // CHECK-NEXT:       <key>file</key><integer>0</integer>
5198 // CHECK-NEXT:      </dict>
5199 // CHECK-NEXT:      <key>ranges</key>
5200 // CHECK-NEXT:      <array>
5201 // CHECK-NEXT:        <array>
5202 // CHECK-NEXT:         <dict>
5203 // CHECK-NEXT:          <key>line</key><integer>281</integer>
5204 // CHECK-NEXT:          <key>col</key><integer>7</integer>
5205 // CHECK-NEXT:          <key>file</key><integer>0</integer>
5206 // CHECK-NEXT:         </dict>
5207 // CHECK-NEXT:         <dict>
5208 // CHECK-NEXT:          <key>line</key><integer>281</integer>
5209 // CHECK-NEXT:          <key>col</key><integer>28</integer>
5210 // CHECK-NEXT:          <key>file</key><integer>0</integer>
5211 // CHECK-NEXT:         </dict>
5212 // CHECK-NEXT:        </array>
5213 // CHECK-NEXT:      </array>
5214 // CHECK-NEXT:      <key>depth</key><integer>2</integer>
5215 // CHECK-NEXT:      <key>extended_message</key>
5216 // CHECK-NEXT:      <string>Dereference of null pointer</string>
5217 // CHECK-NEXT:      <key>message</key>
5218 // CHECK-NEXT:      <string>Dereference of null pointer</string>
5219 // CHECK-NEXT:     </dict>
5220 // CHECK-NEXT:    </array>
5221 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer</string>
5222 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
5223 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
5224 // CHECK-NEXT:   <key>issue_hash</key><string>1</string>
5225 // CHECK-NEXT:   <key>location</key>
5226 // CHECK-NEXT:   <dict>
5227 // CHECK-NEXT:    <key>line</key><integer>281</integer>
5228 // CHECK-NEXT:    <key>col</key><integer>26</integer>
5229 // CHECK-NEXT:    <key>file</key><integer>0</integer>
5230 // CHECK-NEXT:   </dict>
5231 // CHECK-NEXT:   </dict>
5232 // CHECK-NEXT:  </array>