path-notes.c revision 23df2437a47ff129d2923ae325d42e79682a7f14
1// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-output=text -verify %s 2// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-output=plist-multi-file %s -o - | FileCheck %s 3 4void zero(int **p) { 5 *p = 0; 6 // expected-note@-1 {{Null pointer value stored to 'a'}} 7} 8 9void testZero(int *a) { 10 zero(&a); 11 // expected-note@-1 {{Calling 'zero'}} 12 // expected-note@-2 {{Returning from 'zero'}} 13 *a = 1; // expected-warning{{Dereference of null pointer}} 14 // expected-note@-1 {{Dereference of null pointer (loaded from variable 'a')}} 15} 16 17 18void check(int *p) { 19 if (p) { 20 // expected-note@-1 + {{Assuming 'p' is null}} 21 // expected-note@-2 + {{Assuming pointer value is null}} 22 // expected-note@-3 + {{Taking false branch}} 23 return; 24 } 25 return; 26} 27 28void testCheck(int *a) { 29 check(a); 30 // expected-note@-1 {{Calling 'check'}} 31 // expected-note@-2 {{Returning from 'check'}} 32 *a = 1; // expected-warning{{Dereference of null pointer}} 33 // expected-note@-1 {{Dereference of null pointer (loaded from variable 'a')}} 34} 35 36 37int *getPointer(); 38 39void testInitCheck() { 40 int *a = getPointer(); 41 // expected-note@-1 {{Variable 'a' initialized here}} 42 check(a); 43 // expected-note@-1 {{Calling 'check'}} 44 // expected-note@-2 {{Returning from 'check'}} 45 *a = 1; // expected-warning{{Dereference of null pointer}} 46 // expected-note@-1 {{Dereference of null pointer (loaded from variable 'a')}} 47} 48 49void testStoreCheck(int *a) { 50 a = getPointer(); 51 // expected-note@-1 {{Value assigned to 'a'}} 52 check(a); 53 // expected-note@-1 {{Calling 'check'}} 54 // expected-note@-2 {{Returning from 'check'}} 55 *a = 1; // expected-warning{{Dereference of null pointer}} 56 // expected-note@-1 {{Dereference of null pointer (loaded from variable 'a')}} 57} 58 59 60int *getZero() { 61 int *p = 0; 62 // expected-note@-1 {{Variable 'p' initialized to a null pointer value}} 63 // ^ This note checks that we add a second visitor for the return value. 64 return p; 65 // expected-note@-1 {{Returning null pointer (loaded from 'p')}} 66} 67 68void testReturnZero() { 69 *getZero() = 1; // expected-warning{{Dereference of null pointer}} 70 // expected-note@-1 {{Calling 'getZero'}} 71 // expected-note@-2 {{Returning from 'getZero'}} 72 // expected-note@-3 {{Dereference of null pointer}} 73} 74 75void testInitZero() { 76 // FIXME: <rdar://problem/12114689> Diagnostics: Need to step into the function whose result is assigned to an interesting region 77 int *a = getZero(); 78 // expected-note@-1 {{Variable 'a' initialized to a null pointer value}} 79 *a = 1; // expected-warning{{Dereference of null pointer}} 80 // expected-note@-1 {{Dereference of null pointer (loaded from variable 'a')}} 81} 82 83void testStoreZero(int *a) { 84 // FIXME: <rdar://problem/12114689> Diagnostics: Need to step into the function whose result is assigned to an interesting region 85 a = getZero(); 86 // expected-note@-1 {{Null pointer value stored to 'a'}} 87 *a = 1; // expected-warning{{Dereference of null pointer}} 88 // expected-note@-1 {{Dereference of null pointer (loaded from variable 'a')}} 89} 90 91 92// CHECK: <?xml version="1.0" encoding="UTF-8"?> 93// CHECK: <!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd"> 94// CHECK: <plist version="1.0"> 95// CHECK: <dict> 96// CHECK: <key>files</key> 97// CHECK: <array> 98// CHECK: <string>{{.*}}path-notes.c</string> 99// CHECK: </array> 100// CHECK: <key>diagnostics</key> 101// CHECK: <array> 102// CHECK: <dict> 103// CHECK: <key>path</key> 104// CHECK: <array> 105// CHECK: <dict> 106// CHECK: <key>kind</key><string>event</string> 107// CHECK: <key>location</key> 108// CHECK: <dict> 109// CHECK: <key>line</key><integer>10</integer> 110// CHECK: <key>col</key><integer>3</integer> 111// CHECK: <key>file</key><integer>0</integer> 112// CHECK: </dict> 113// CHECK: <key>ranges</key> 114// CHECK: <array> 115// CHECK: <array> 116// CHECK: <dict> 117// CHECK: <key>line</key><integer>10</integer> 118// CHECK: <key>col</key><integer>3</integer> 119// CHECK: <key>file</key><integer>0</integer> 120// CHECK: </dict> 121// CHECK: <dict> 122// CHECK: <key>line</key><integer>10</integer> 123// CHECK: <key>col</key><integer>10</integer> 124// CHECK: <key>file</key><integer>0</integer> 125// CHECK: </dict> 126// CHECK: </array> 127// CHECK: </array> 128// CHECK: <key>depth</key><integer>0</integer> 129// CHECK: <key>extended_message</key> 130// CHECK: <string>Calling 'zero'</string> 131// CHECK: <key>message</key> 132// CHECK: <string>Calling 'zero'</string> 133// CHECK: </dict> 134// CHECK: <dict> 135// CHECK: <key>kind</key><string>event</string> 136// CHECK: <key>location</key> 137// CHECK: <dict> 138// CHECK: <key>line</key><integer>4</integer> 139// CHECK: <key>col</key><integer>1</integer> 140// CHECK: <key>file</key><integer>0</integer> 141// CHECK: </dict> 142// CHECK: <key>depth</key><integer>1</integer> 143// CHECK: <key>extended_message</key> 144// CHECK: <string>Entered call from 'testZero'</string> 145// CHECK: <key>message</key> 146// CHECK: <string>Entered call from 'testZero'</string> 147// CHECK: </dict> 148// CHECK: <dict> 149// CHECK: <key>kind</key><string>control</string> 150// CHECK: <key>edges</key> 151// CHECK: <array> 152// CHECK: <dict> 153// CHECK: <key>start</key> 154// CHECK: <array> 155// CHECK: <dict> 156// CHECK: <key>line</key><integer>4</integer> 157// CHECK: <key>col</key><integer>1</integer> 158// CHECK: <key>file</key><integer>0</integer> 159// CHECK: </dict> 160// CHECK: <dict> 161// CHECK: <key>line</key><integer>4</integer> 162// CHECK: <key>col</key><integer>4</integer> 163// CHECK: <key>file</key><integer>0</integer> 164// CHECK: </dict> 165// CHECK: </array> 166// CHECK: <key>end</key> 167// CHECK: <array> 168// CHECK: <dict> 169// CHECK: <key>line</key><integer>5</integer> 170// CHECK: <key>col</key><integer>3</integer> 171// CHECK: <key>file</key><integer>0</integer> 172// CHECK: </dict> 173// CHECK: <dict> 174// CHECK: <key>line</key><integer>5</integer> 175// CHECK: <key>col</key><integer>3</integer> 176// CHECK: <key>file</key><integer>0</integer> 177// CHECK: </dict> 178// CHECK: </array> 179// CHECK: </dict> 180// CHECK: </array> 181// CHECK: </dict> 182// CHECK: <dict> 183// CHECK: <key>kind</key><string>event</string> 184// CHECK: <key>location</key> 185// CHECK: <dict> 186// CHECK: <key>line</key><integer>5</integer> 187// CHECK: <key>col</key><integer>3</integer> 188// CHECK: <key>file</key><integer>0</integer> 189// CHECK: </dict> 190// CHECK: <key>ranges</key> 191// CHECK: <array> 192// CHECK: <array> 193// CHECK: <dict> 194// CHECK: <key>line</key><integer>5</integer> 195// CHECK: <key>col</key><integer>3</integer> 196// CHECK: <key>file</key><integer>0</integer> 197// CHECK: </dict> 198// CHECK: <dict> 199// CHECK: <key>line</key><integer>5</integer> 200// CHECK: <key>col</key><integer>8</integer> 201// CHECK: <key>file</key><integer>0</integer> 202// CHECK: </dict> 203// CHECK: </array> 204// CHECK: </array> 205// CHECK: <key>depth</key><integer>1</integer> 206// CHECK: <key>extended_message</key> 207// CHECK: <string>Null pointer value stored to 'a'</string> 208// CHECK: <key>message</key> 209// CHECK: <string>Null pointer value stored to 'a'</string> 210// CHECK: </dict> 211// CHECK: <dict> 212// CHECK: <key>kind</key><string>event</string> 213// CHECK: <key>location</key> 214// CHECK: <dict> 215// CHECK: <key>line</key><integer>10</integer> 216// CHECK: <key>col</key><integer>3</integer> 217// CHECK: <key>file</key><integer>0</integer> 218// CHECK: </dict> 219// CHECK: <key>ranges</key> 220// CHECK: <array> 221// CHECK: <array> 222// CHECK: <dict> 223// CHECK: <key>line</key><integer>10</integer> 224// CHECK: <key>col</key><integer>3</integer> 225// CHECK: <key>file</key><integer>0</integer> 226// CHECK: </dict> 227// CHECK: <dict> 228// CHECK: <key>line</key><integer>10</integer> 229// CHECK: <key>col</key><integer>10</integer> 230// CHECK: <key>file</key><integer>0</integer> 231// CHECK: </dict> 232// CHECK: </array> 233// CHECK: </array> 234// CHECK: <key>depth</key><integer>1</integer> 235// CHECK: <key>extended_message</key> 236// CHECK: <string>Returning from 'zero'</string> 237// CHECK: <key>message</key> 238// CHECK: <string>Returning from 'zero'</string> 239// CHECK: </dict> 240// CHECK: <dict> 241// CHECK: <key>kind</key><string>control</string> 242// CHECK: <key>edges</key> 243// CHECK: <array> 244// CHECK: <dict> 245// CHECK: <key>start</key> 246// CHECK: <array> 247// CHECK: <dict> 248// CHECK: <key>line</key><integer>10</integer> 249// CHECK: <key>col</key><integer>3</integer> 250// CHECK: <key>file</key><integer>0</integer> 251// CHECK: </dict> 252// CHECK: <dict> 253// CHECK: <key>line</key><integer>10</integer> 254// CHECK: <key>col</key><integer>6</integer> 255// CHECK: <key>file</key><integer>0</integer> 256// CHECK: </dict> 257// CHECK: </array> 258// CHECK: <key>end</key> 259// CHECK: <array> 260// CHECK: <dict> 261// CHECK: <key>line</key><integer>13</integer> 262// CHECK: <key>col</key><integer>3</integer> 263// CHECK: <key>file</key><integer>0</integer> 264// CHECK: </dict> 265// CHECK: <dict> 266// CHECK: <key>line</key><integer>13</integer> 267// CHECK: <key>col</key><integer>3</integer> 268// CHECK: <key>file</key><integer>0</integer> 269// CHECK: </dict> 270// CHECK: </array> 271// CHECK: </dict> 272// CHECK: </array> 273// CHECK: </dict> 274// CHECK: <dict> 275// CHECK: <key>kind</key><string>event</string> 276// CHECK: <key>location</key> 277// CHECK: <dict> 278// CHECK: <key>line</key><integer>13</integer> 279// CHECK: <key>col</key><integer>3</integer> 280// CHECK: <key>file</key><integer>0</integer> 281// CHECK: </dict> 282// CHECK: <key>ranges</key> 283// CHECK: <array> 284// CHECK: <array> 285// CHECK: <dict> 286// CHECK: <key>line</key><integer>13</integer> 287// CHECK: <key>col</key><integer>4</integer> 288// CHECK: <key>file</key><integer>0</integer> 289// CHECK: </dict> 290// CHECK: <dict> 291// CHECK: <key>line</key><integer>13</integer> 292// CHECK: <key>col</key><integer>4</integer> 293// CHECK: <key>file</key><integer>0</integer> 294// CHECK: </dict> 295// CHECK: </array> 296// CHECK: </array> 297// CHECK: <key>depth</key><integer>0</integer> 298// CHECK: <key>extended_message</key> 299// CHECK: <string>Dereference of null pointer (loaded from variable 'a')</string> 300// CHECK: <key>message</key> 301// CHECK: <string>Dereference of null pointer (loaded from variable 'a')</string> 302// CHECK: </dict> 303// CHECK: </array> 304// CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</string> 305// CHECK: <key>category</key><string>Logic error</string> 306// CHECK: <key>type</key><string>Dereference of null pointer</string> 307// CHECK: <key>issue_context_kind</key><string>function</string> 308// CHECK: <key>issue_context</key><string>testZero</string> 309// CHECK: <key>issue_hash</key><integer>4</integer> 310// CHECK: <key>location</key> 311// CHECK: <dict> 312// CHECK: <key>line</key><integer>13</integer> 313// CHECK: <key>col</key><integer>3</integer> 314// CHECK: <key>file</key><integer>0</integer> 315// CHECK: </dict> 316// CHECK: </dict> 317// CHECK: <dict> 318// CHECK: <key>path</key> 319// CHECK: <array> 320// CHECK: <dict> 321// CHECK: <key>kind</key><string>event</string> 322// CHECK: <key>location</key> 323// CHECK: <dict> 324// CHECK: <key>line</key><integer>29</integer> 325// CHECK: <key>col</key><integer>3</integer> 326// CHECK: <key>file</key><integer>0</integer> 327// CHECK: </dict> 328// CHECK: <key>ranges</key> 329// CHECK: <array> 330// CHECK: <array> 331// CHECK: <dict> 332// CHECK: <key>line</key><integer>29</integer> 333// CHECK: <key>col</key><integer>3</integer> 334// CHECK: <key>file</key><integer>0</integer> 335// CHECK: </dict> 336// CHECK: <dict> 337// CHECK: <key>line</key><integer>29</integer> 338// CHECK: <key>col</key><integer>10</integer> 339// CHECK: <key>file</key><integer>0</integer> 340// CHECK: </dict> 341// CHECK: </array> 342// CHECK: </array> 343// CHECK: <key>depth</key><integer>0</integer> 344// CHECK: <key>extended_message</key> 345// CHECK: <string>Calling 'check'</string> 346// CHECK: <key>message</key> 347// CHECK: <string>Calling 'check'</string> 348// CHECK: </dict> 349// CHECK: <dict> 350// CHECK: <key>kind</key><string>event</string> 351// CHECK: <key>location</key> 352// CHECK: <dict> 353// CHECK: <key>line</key><integer>18</integer> 354// CHECK: <key>col</key><integer>1</integer> 355// CHECK: <key>file</key><integer>0</integer> 356// CHECK: </dict> 357// CHECK: <key>depth</key><integer>1</integer> 358// CHECK: <key>extended_message</key> 359// CHECK: <string>Entered call from 'testCheck'</string> 360// CHECK: <key>message</key> 361// CHECK: <string>Entered call from 'testCheck'</string> 362// CHECK: </dict> 363// CHECK: <dict> 364// CHECK: <key>kind</key><string>control</string> 365// CHECK: <key>edges</key> 366// CHECK: <array> 367// CHECK: <dict> 368// CHECK: <key>start</key> 369// CHECK: <array> 370// CHECK: <dict> 371// CHECK: <key>line</key><integer>18</integer> 372// CHECK: <key>col</key><integer>1</integer> 373// CHECK: <key>file</key><integer>0</integer> 374// CHECK: </dict> 375// CHECK: <dict> 376// CHECK: <key>line</key><integer>18</integer> 377// CHECK: <key>col</key><integer>4</integer> 378// CHECK: <key>file</key><integer>0</integer> 379// CHECK: </dict> 380// CHECK: </array> 381// CHECK: <key>end</key> 382// CHECK: <array> 383// CHECK: <dict> 384// CHECK: <key>line</key><integer>19</integer> 385// CHECK: <key>col</key><integer>3</integer> 386// CHECK: <key>file</key><integer>0</integer> 387// CHECK: </dict> 388// CHECK: <dict> 389// CHECK: <key>line</key><integer>19</integer> 390// CHECK: <key>col</key><integer>4</integer> 391// CHECK: <key>file</key><integer>0</integer> 392// CHECK: </dict> 393// CHECK: </array> 394// CHECK: </dict> 395// CHECK: </array> 396// CHECK: </dict> 397// CHECK: <dict> 398// CHECK: <key>kind</key><string>control</string> 399// CHECK: <key>edges</key> 400// CHECK: <array> 401// CHECK: <dict> 402// CHECK: <key>start</key> 403// CHECK: <array> 404// CHECK: <dict> 405// CHECK: <key>line</key><integer>19</integer> 406// CHECK: <key>col</key><integer>3</integer> 407// CHECK: <key>file</key><integer>0</integer> 408// CHECK: </dict> 409// CHECK: <dict> 410// CHECK: <key>line</key><integer>19</integer> 411// CHECK: <key>col</key><integer>4</integer> 412// CHECK: <key>file</key><integer>0</integer> 413// CHECK: </dict> 414// CHECK: </array> 415// CHECK: <key>end</key> 416// CHECK: <array> 417// CHECK: <dict> 418// CHECK: <key>line</key><integer>19</integer> 419// CHECK: <key>col</key><integer>7</integer> 420// CHECK: <key>file</key><integer>0</integer> 421// CHECK: </dict> 422// CHECK: <dict> 423// CHECK: <key>line</key><integer>19</integer> 424// CHECK: <key>col</key><integer>7</integer> 425// CHECK: <key>file</key><integer>0</integer> 426// CHECK: </dict> 427// CHECK: </array> 428// CHECK: </dict> 429// CHECK: </array> 430// CHECK: </dict> 431// CHECK: <dict> 432// CHECK: <key>kind</key><string>event</string> 433// CHECK: <key>location</key> 434// CHECK: <dict> 435// CHECK: <key>line</key><integer>19</integer> 436// CHECK: <key>col</key><integer>7</integer> 437// CHECK: <key>file</key><integer>0</integer> 438// CHECK: </dict> 439// CHECK: <key>ranges</key> 440// CHECK: <array> 441// CHECK: <array> 442// CHECK: <dict> 443// CHECK: <key>line</key><integer>19</integer> 444// CHECK: <key>col</key><integer>7</integer> 445// CHECK: <key>file</key><integer>0</integer> 446// CHECK: </dict> 447// CHECK: <dict> 448// CHECK: <key>line</key><integer>19</integer> 449// CHECK: <key>col</key><integer>7</integer> 450// CHECK: <key>file</key><integer>0</integer> 451// CHECK: </dict> 452// CHECK: </array> 453// CHECK: </array> 454// CHECK: <key>depth</key><integer>1</integer> 455// CHECK: <key>extended_message</key> 456// CHECK: <string>Assuming 'p' is null</string> 457// CHECK: <key>message</key> 458// CHECK: <string>Assuming 'p' is null</string> 459// CHECK: </dict> 460// CHECK: <dict> 461// CHECK: <key>kind</key><string>event</string> 462// CHECK: <key>location</key> 463// CHECK: <dict> 464// CHECK: <key>line</key><integer>19</integer> 465// CHECK: <key>col</key><integer>7</integer> 466// CHECK: <key>file</key><integer>0</integer> 467// CHECK: </dict> 468// CHECK: <key>ranges</key> 469// CHECK: <array> 470// CHECK: <array> 471// CHECK: <dict> 472// CHECK: <key>line</key><integer>19</integer> 473// CHECK: <key>col</key><integer>7</integer> 474// CHECK: <key>file</key><integer>0</integer> 475// CHECK: </dict> 476// CHECK: <dict> 477// CHECK: <key>line</key><integer>19</integer> 478// CHECK: <key>col</key><integer>7</integer> 479// CHECK: <key>file</key><integer>0</integer> 480// CHECK: </dict> 481// CHECK: </array> 482// CHECK: </array> 483// CHECK: <key>depth</key><integer>1</integer> 484// CHECK: <key>extended_message</key> 485// CHECK: <string>Assuming pointer value is null</string> 486// CHECK: <key>message</key> 487// CHECK: <string>Assuming pointer value is null</string> 488// CHECK: </dict> 489// CHECK: <dict> 490// CHECK: <key>kind</key><string>control</string> 491// CHECK: <key>edges</key> 492// CHECK: <array> 493// CHECK: <dict> 494// CHECK: <key>start</key> 495// CHECK: <array> 496// CHECK: <dict> 497// CHECK: <key>line</key><integer>19</integer> 498// CHECK: <key>col</key><integer>7</integer> 499// CHECK: <key>file</key><integer>0</integer> 500// CHECK: </dict> 501// CHECK: <dict> 502// CHECK: <key>line</key><integer>19</integer> 503// CHECK: <key>col</key><integer>7</integer> 504// CHECK: <key>file</key><integer>0</integer> 505// CHECK: </dict> 506// CHECK: </array> 507// CHECK: <key>end</key> 508// CHECK: <array> 509// CHECK: <dict> 510// CHECK: <key>line</key><integer>25</integer> 511// CHECK: <key>col</key><integer>3</integer> 512// CHECK: <key>file</key><integer>0</integer> 513// CHECK: </dict> 514// CHECK: <dict> 515// CHECK: <key>line</key><integer>25</integer> 516// CHECK: <key>col</key><integer>8</integer> 517// CHECK: <key>file</key><integer>0</integer> 518// CHECK: </dict> 519// CHECK: </array> 520// CHECK: </dict> 521// CHECK: </array> 522// CHECK: </dict> 523// CHECK: <dict> 524// CHECK: <key>kind</key><string>event</string> 525// CHECK: <key>location</key> 526// CHECK: <dict> 527// CHECK: <key>line</key><integer>29</integer> 528// CHECK: <key>col</key><integer>3</integer> 529// CHECK: <key>file</key><integer>0</integer> 530// CHECK: </dict> 531// CHECK: <key>ranges</key> 532// CHECK: <array> 533// CHECK: <array> 534// CHECK: <dict> 535// CHECK: <key>line</key><integer>29</integer> 536// CHECK: <key>col</key><integer>3</integer> 537// CHECK: <key>file</key><integer>0</integer> 538// CHECK: </dict> 539// CHECK: <dict> 540// CHECK: <key>line</key><integer>29</integer> 541// CHECK: <key>col</key><integer>10</integer> 542// CHECK: <key>file</key><integer>0</integer> 543// CHECK: </dict> 544// CHECK: </array> 545// CHECK: </array> 546// CHECK: <key>depth</key><integer>1</integer> 547// CHECK: <key>extended_message</key> 548// CHECK: <string>Returning from 'check'</string> 549// CHECK: <key>message</key> 550// CHECK: <string>Returning from 'check'</string> 551// CHECK: </dict> 552// CHECK: <dict> 553// CHECK: <key>kind</key><string>control</string> 554// CHECK: <key>edges</key> 555// CHECK: <array> 556// CHECK: <dict> 557// CHECK: <key>start</key> 558// CHECK: <array> 559// CHECK: <dict> 560// CHECK: <key>line</key><integer>29</integer> 561// CHECK: <key>col</key><integer>3</integer> 562// CHECK: <key>file</key><integer>0</integer> 563// CHECK: </dict> 564// CHECK: <dict> 565// CHECK: <key>line</key><integer>29</integer> 566// CHECK: <key>col</key><integer>7</integer> 567// CHECK: <key>file</key><integer>0</integer> 568// CHECK: </dict> 569// CHECK: </array> 570// CHECK: <key>end</key> 571// CHECK: <array> 572// CHECK: <dict> 573// CHECK: <key>line</key><integer>32</integer> 574// CHECK: <key>col</key><integer>3</integer> 575// CHECK: <key>file</key><integer>0</integer> 576// CHECK: </dict> 577// CHECK: <dict> 578// CHECK: <key>line</key><integer>32</integer> 579// CHECK: <key>col</key><integer>3</integer> 580// CHECK: <key>file</key><integer>0</integer> 581// CHECK: </dict> 582// CHECK: </array> 583// CHECK: </dict> 584// CHECK: </array> 585// CHECK: </dict> 586// CHECK: <dict> 587// CHECK: <key>kind</key><string>event</string> 588// CHECK: <key>location</key> 589// CHECK: <dict> 590// CHECK: <key>line</key><integer>32</integer> 591// CHECK: <key>col</key><integer>3</integer> 592// CHECK: <key>file</key><integer>0</integer> 593// CHECK: </dict> 594// CHECK: <key>ranges</key> 595// CHECK: <array> 596// CHECK: <array> 597// CHECK: <dict> 598// CHECK: <key>line</key><integer>32</integer> 599// CHECK: <key>col</key><integer>4</integer> 600// CHECK: <key>file</key><integer>0</integer> 601// CHECK: </dict> 602// CHECK: <dict> 603// CHECK: <key>line</key><integer>32</integer> 604// CHECK: <key>col</key><integer>4</integer> 605// CHECK: <key>file</key><integer>0</integer> 606// CHECK: </dict> 607// CHECK: </array> 608// CHECK: </array> 609// CHECK: <key>depth</key><integer>0</integer> 610// CHECK: <key>extended_message</key> 611// CHECK: <string>Dereference of null pointer (loaded from variable 'a')</string> 612// CHECK: <key>message</key> 613// CHECK: <string>Dereference of null pointer (loaded from variable 'a')</string> 614// CHECK: </dict> 615// CHECK: </array> 616// CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</string> 617// CHECK: <key>category</key><string>Logic error</string> 618// CHECK: <key>type</key><string>Dereference of null pointer</string> 619// CHECK: <key>issue_context_kind</key><string>function</string> 620// CHECK: <key>issue_context</key><string>testCheck</string> 621// CHECK: <key>issue_hash</key><integer>4</integer> 622// CHECK: <key>location</key> 623// CHECK: <dict> 624// CHECK: <key>line</key><integer>32</integer> 625// CHECK: <key>col</key><integer>3</integer> 626// CHECK: <key>file</key><integer>0</integer> 627// CHECK: </dict> 628// CHECK: </dict> 629// CHECK: <dict> 630// CHECK: <key>path</key> 631// CHECK: <array> 632// CHECK: <dict> 633// CHECK: <key>kind</key><string>event</string> 634// CHECK: <key>location</key> 635// CHECK: <dict> 636// CHECK: <key>line</key><integer>40</integer> 637// CHECK: <key>col</key><integer>3</integer> 638// CHECK: <key>file</key><integer>0</integer> 639// CHECK: </dict> 640// CHECK: <key>ranges</key> 641// CHECK: <array> 642// CHECK: <array> 643// CHECK: <dict> 644// CHECK: <key>line</key><integer>40</integer> 645// CHECK: <key>col</key><integer>3</integer> 646// CHECK: <key>file</key><integer>0</integer> 647// CHECK: </dict> 648// CHECK: <dict> 649// CHECK: <key>line</key><integer>40</integer> 650// CHECK: <key>col</key><integer>8</integer> 651// CHECK: <key>file</key><integer>0</integer> 652// CHECK: </dict> 653// CHECK: </array> 654// CHECK: </array> 655// CHECK: <key>depth</key><integer>0</integer> 656// CHECK: <key>extended_message</key> 657// CHECK: <string>Variable 'a' initialized here</string> 658// CHECK: <key>message</key> 659// CHECK: <string>Variable 'a' initialized here</string> 660// CHECK: </dict> 661// CHECK: <dict> 662// CHECK: <key>kind</key><string>control</string> 663// CHECK: <key>edges</key> 664// CHECK: <array> 665// CHECK: <dict> 666// CHECK: <key>start</key> 667// CHECK: <array> 668// CHECK: <dict> 669// CHECK: <key>line</key><integer>40</integer> 670// CHECK: <key>col</key><integer>3</integer> 671// CHECK: <key>file</key><integer>0</integer> 672// CHECK: </dict> 673// CHECK: <dict> 674// CHECK: <key>line</key><integer>40</integer> 675// CHECK: <key>col</key><integer>5</integer> 676// CHECK: <key>file</key><integer>0</integer> 677// CHECK: </dict> 678// CHECK: </array> 679// CHECK: <key>end</key> 680// CHECK: <array> 681// CHECK: <dict> 682// CHECK: <key>line</key><integer>42</integer> 683// CHECK: <key>col</key><integer>3</integer> 684// CHECK: <key>file</key><integer>0</integer> 685// CHECK: </dict> 686// CHECK: <dict> 687// CHECK: <key>line</key><integer>42</integer> 688// CHECK: <key>col</key><integer>7</integer> 689// CHECK: <key>file</key><integer>0</integer> 690// CHECK: </dict> 691// CHECK: </array> 692// CHECK: </dict> 693// CHECK: </array> 694// CHECK: </dict> 695// CHECK: <dict> 696// CHECK: <key>kind</key><string>event</string> 697// CHECK: <key>location</key> 698// CHECK: <dict> 699// CHECK: <key>line</key><integer>42</integer> 700// CHECK: <key>col</key><integer>3</integer> 701// CHECK: <key>file</key><integer>0</integer> 702// CHECK: </dict> 703// CHECK: <key>ranges</key> 704// CHECK: <array> 705// CHECK: <array> 706// CHECK: <dict> 707// CHECK: <key>line</key><integer>42</integer> 708// CHECK: <key>col</key><integer>3</integer> 709// CHECK: <key>file</key><integer>0</integer> 710// CHECK: </dict> 711// CHECK: <dict> 712// CHECK: <key>line</key><integer>42</integer> 713// CHECK: <key>col</key><integer>10</integer> 714// CHECK: <key>file</key><integer>0</integer> 715// CHECK: </dict> 716// CHECK: </array> 717// CHECK: </array> 718// CHECK: <key>depth</key><integer>0</integer> 719// CHECK: <key>extended_message</key> 720// CHECK: <string>Calling 'check'</string> 721// CHECK: <key>message</key> 722// CHECK: <string>Calling 'check'</string> 723// CHECK: </dict> 724// CHECK: <dict> 725// CHECK: <key>kind</key><string>event</string> 726// CHECK: <key>location</key> 727// CHECK: <dict> 728// CHECK: <key>line</key><integer>18</integer> 729// CHECK: <key>col</key><integer>1</integer> 730// CHECK: <key>file</key><integer>0</integer> 731// CHECK: </dict> 732// CHECK: <key>depth</key><integer>1</integer> 733// CHECK: <key>extended_message</key> 734// CHECK: <string>Entered call from 'testInitCheck'</string> 735// CHECK: <key>message</key> 736// CHECK: <string>Entered call from 'testInitCheck'</string> 737// CHECK: </dict> 738// CHECK: <dict> 739// CHECK: <key>kind</key><string>control</string> 740// CHECK: <key>edges</key> 741// CHECK: <array> 742// CHECK: <dict> 743// CHECK: <key>start</key> 744// CHECK: <array> 745// CHECK: <dict> 746// CHECK: <key>line</key><integer>18</integer> 747// CHECK: <key>col</key><integer>1</integer> 748// CHECK: <key>file</key><integer>0</integer> 749// CHECK: </dict> 750// CHECK: <dict> 751// CHECK: <key>line</key><integer>18</integer> 752// CHECK: <key>col</key><integer>4</integer> 753// CHECK: <key>file</key><integer>0</integer> 754// CHECK: </dict> 755// CHECK: </array> 756// CHECK: <key>end</key> 757// CHECK: <array> 758// CHECK: <dict> 759// CHECK: <key>line</key><integer>19</integer> 760// CHECK: <key>col</key><integer>3</integer> 761// CHECK: <key>file</key><integer>0</integer> 762// CHECK: </dict> 763// CHECK: <dict> 764// CHECK: <key>line</key><integer>19</integer> 765// CHECK: <key>col</key><integer>4</integer> 766// CHECK: <key>file</key><integer>0</integer> 767// CHECK: </dict> 768// CHECK: </array> 769// CHECK: </dict> 770// CHECK: </array> 771// CHECK: </dict> 772// CHECK: <dict> 773// CHECK: <key>kind</key><string>control</string> 774// CHECK: <key>edges</key> 775// CHECK: <array> 776// CHECK: <dict> 777// CHECK: <key>start</key> 778// CHECK: <array> 779// CHECK: <dict> 780// CHECK: <key>line</key><integer>19</integer> 781// CHECK: <key>col</key><integer>3</integer> 782// CHECK: <key>file</key><integer>0</integer> 783// CHECK: </dict> 784// CHECK: <dict> 785// CHECK: <key>line</key><integer>19</integer> 786// CHECK: <key>col</key><integer>4</integer> 787// CHECK: <key>file</key><integer>0</integer> 788// CHECK: </dict> 789// CHECK: </array> 790// CHECK: <key>end</key> 791// CHECK: <array> 792// CHECK: <dict> 793// CHECK: <key>line</key><integer>19</integer> 794// CHECK: <key>col</key><integer>7</integer> 795// CHECK: <key>file</key><integer>0</integer> 796// CHECK: </dict> 797// CHECK: <dict> 798// CHECK: <key>line</key><integer>19</integer> 799// CHECK: <key>col</key><integer>7</integer> 800// CHECK: <key>file</key><integer>0</integer> 801// CHECK: </dict> 802// CHECK: </array> 803// CHECK: </dict> 804// CHECK: </array> 805// CHECK: </dict> 806// CHECK: <dict> 807// CHECK: <key>kind</key><string>event</string> 808// CHECK: <key>location</key> 809// CHECK: <dict> 810// CHECK: <key>line</key><integer>19</integer> 811// CHECK: <key>col</key><integer>7</integer> 812// CHECK: <key>file</key><integer>0</integer> 813// CHECK: </dict> 814// CHECK: <key>ranges</key> 815// CHECK: <array> 816// CHECK: <array> 817// CHECK: <dict> 818// CHECK: <key>line</key><integer>19</integer> 819// CHECK: <key>col</key><integer>7</integer> 820// CHECK: <key>file</key><integer>0</integer> 821// CHECK: </dict> 822// CHECK: <dict> 823// CHECK: <key>line</key><integer>19</integer> 824// CHECK: <key>col</key><integer>7</integer> 825// CHECK: <key>file</key><integer>0</integer> 826// CHECK: </dict> 827// CHECK: </array> 828// CHECK: </array> 829// CHECK: <key>depth</key><integer>1</integer> 830// CHECK: <key>extended_message</key> 831// CHECK: <string>Assuming 'p' is null</string> 832// CHECK: <key>message</key> 833// CHECK: <string>Assuming 'p' is null</string> 834// CHECK: </dict> 835// CHECK: <dict> 836// CHECK: <key>kind</key><string>control</string> 837// CHECK: <key>edges</key> 838// CHECK: <array> 839// CHECK: <dict> 840// CHECK: <key>start</key> 841// CHECK: <array> 842// CHECK: <dict> 843// CHECK: <key>line</key><integer>19</integer> 844// CHECK: <key>col</key><integer>7</integer> 845// CHECK: <key>file</key><integer>0</integer> 846// CHECK: </dict> 847// CHECK: <dict> 848// CHECK: <key>line</key><integer>19</integer> 849// CHECK: <key>col</key><integer>7</integer> 850// CHECK: <key>file</key><integer>0</integer> 851// CHECK: </dict> 852// CHECK: </array> 853// CHECK: <key>end</key> 854// CHECK: <array> 855// CHECK: <dict> 856// CHECK: <key>line</key><integer>25</integer> 857// CHECK: <key>col</key><integer>3</integer> 858// CHECK: <key>file</key><integer>0</integer> 859// CHECK: </dict> 860// CHECK: <dict> 861// CHECK: <key>line</key><integer>25</integer> 862// CHECK: <key>col</key><integer>8</integer> 863// CHECK: <key>file</key><integer>0</integer> 864// CHECK: </dict> 865// CHECK: </array> 866// CHECK: </dict> 867// CHECK: </array> 868// CHECK: </dict> 869// CHECK: <dict> 870// CHECK: <key>kind</key><string>event</string> 871// CHECK: <key>location</key> 872// CHECK: <dict> 873// CHECK: <key>line</key><integer>42</integer> 874// CHECK: <key>col</key><integer>3</integer> 875// CHECK: <key>file</key><integer>0</integer> 876// CHECK: </dict> 877// CHECK: <key>ranges</key> 878// CHECK: <array> 879// CHECK: <array> 880// CHECK: <dict> 881// CHECK: <key>line</key><integer>42</integer> 882// CHECK: <key>col</key><integer>3</integer> 883// CHECK: <key>file</key><integer>0</integer> 884// CHECK: </dict> 885// CHECK: <dict> 886// CHECK: <key>line</key><integer>42</integer> 887// CHECK: <key>col</key><integer>10</integer> 888// CHECK: <key>file</key><integer>0</integer> 889// CHECK: </dict> 890// CHECK: </array> 891// CHECK: </array> 892// CHECK: <key>depth</key><integer>1</integer> 893// CHECK: <key>extended_message</key> 894// CHECK: <string>Returning from 'check'</string> 895// CHECK: <key>message</key> 896// CHECK: <string>Returning from 'check'</string> 897// CHECK: </dict> 898// CHECK: <dict> 899// CHECK: <key>kind</key><string>control</string> 900// CHECK: <key>edges</key> 901// CHECK: <array> 902// CHECK: <dict> 903// CHECK: <key>start</key> 904// CHECK: <array> 905// CHECK: <dict> 906// CHECK: <key>line</key><integer>42</integer> 907// CHECK: <key>col</key><integer>3</integer> 908// CHECK: <key>file</key><integer>0</integer> 909// CHECK: </dict> 910// CHECK: <dict> 911// CHECK: <key>line</key><integer>42</integer> 912// CHECK: <key>col</key><integer>7</integer> 913// CHECK: <key>file</key><integer>0</integer> 914// CHECK: </dict> 915// CHECK: </array> 916// CHECK: <key>end</key> 917// CHECK: <array> 918// CHECK: <dict> 919// CHECK: <key>line</key><integer>45</integer> 920// CHECK: <key>col</key><integer>3</integer> 921// CHECK: <key>file</key><integer>0</integer> 922// CHECK: </dict> 923// CHECK: <dict> 924// CHECK: <key>line</key><integer>45</integer> 925// CHECK: <key>col</key><integer>3</integer> 926// CHECK: <key>file</key><integer>0</integer> 927// CHECK: </dict> 928// CHECK: </array> 929// CHECK: </dict> 930// CHECK: </array> 931// CHECK: </dict> 932// CHECK: <dict> 933// CHECK: <key>kind</key><string>event</string> 934// CHECK: <key>location</key> 935// CHECK: <dict> 936// CHECK: <key>line</key><integer>45</integer> 937// CHECK: <key>col</key><integer>3</integer> 938// CHECK: <key>file</key><integer>0</integer> 939// CHECK: </dict> 940// CHECK: <key>ranges</key> 941// CHECK: <array> 942// CHECK: <array> 943// CHECK: <dict> 944// CHECK: <key>line</key><integer>45</integer> 945// CHECK: <key>col</key><integer>4</integer> 946// CHECK: <key>file</key><integer>0</integer> 947// CHECK: </dict> 948// CHECK: <dict> 949// CHECK: <key>line</key><integer>45</integer> 950// CHECK: <key>col</key><integer>4</integer> 951// CHECK: <key>file</key><integer>0</integer> 952// CHECK: </dict> 953// CHECK: </array> 954// CHECK: </array> 955// CHECK: <key>depth</key><integer>0</integer> 956// CHECK: <key>extended_message</key> 957// CHECK: <string>Dereference of null pointer (loaded from variable 'a')</string> 958// CHECK: <key>message</key> 959// CHECK: <string>Dereference of null pointer (loaded from variable 'a')</string> 960// CHECK: </dict> 961// CHECK: </array> 962// CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</string> 963// CHECK: <key>category</key><string>Logic error</string> 964// CHECK: <key>type</key><string>Dereference of null pointer</string> 965// CHECK: <key>issue_context_kind</key><string>function</string> 966// CHECK: <key>issue_context</key><string>testInitCheck</string> 967// CHECK: <key>issue_hash</key><integer>6</integer> 968// CHECK: <key>location</key> 969// CHECK: <dict> 970// CHECK: <key>line</key><integer>45</integer> 971// CHECK: <key>col</key><integer>3</integer> 972// CHECK: <key>file</key><integer>0</integer> 973// CHECK: </dict> 974// CHECK: </dict> 975// CHECK: <dict> 976// CHECK: <key>path</key> 977// CHECK: <array> 978// CHECK: <dict> 979// CHECK: <key>kind</key><string>event</string> 980// CHECK: <key>location</key> 981// CHECK: <dict> 982// CHECK: <key>line</key><integer>50</integer> 983// CHECK: <key>col</key><integer>3</integer> 984// CHECK: <key>file</key><integer>0</integer> 985// CHECK: </dict> 986// CHECK: <key>ranges</key> 987// CHECK: <array> 988// CHECK: <array> 989// CHECK: <dict> 990// CHECK: <key>line</key><integer>50</integer> 991// CHECK: <key>col</key><integer>3</integer> 992// CHECK: <key>file</key><integer>0</integer> 993// CHECK: </dict> 994// CHECK: <dict> 995// CHECK: <key>line</key><integer>50</integer> 996// CHECK: <key>col</key><integer>18</integer> 997// CHECK: <key>file</key><integer>0</integer> 998// CHECK: </dict> 999// CHECK: </array> 1000// CHECK: </array> 1001// CHECK: <key>depth</key><integer>0</integer> 1002// CHECK: <key>extended_message</key> 1003// CHECK: <string>Value assigned to 'a'</string> 1004// CHECK: <key>message</key> 1005// CHECK: <string>Value assigned to 'a'</string> 1006// CHECK: </dict> 1007// CHECK: <dict> 1008// CHECK: <key>kind</key><string>control</string> 1009// CHECK: <key>edges</key> 1010// CHECK: <array> 1011// CHECK: <dict> 1012// CHECK: <key>start</key> 1013// CHECK: <array> 1014// CHECK: <dict> 1015// CHECK: <key>line</key><integer>50</integer> 1016// CHECK: <key>col</key><integer>3</integer> 1017// CHECK: <key>file</key><integer>0</integer> 1018// CHECK: </dict> 1019// CHECK: <dict> 1020// CHECK: <key>line</key><integer>50</integer> 1021// CHECK: <key>col</key><integer>3</integer> 1022// CHECK: <key>file</key><integer>0</integer> 1023// CHECK: </dict> 1024// CHECK: </array> 1025// CHECK: <key>end</key> 1026// CHECK: <array> 1027// CHECK: <dict> 1028// CHECK: <key>line</key><integer>52</integer> 1029// CHECK: <key>col</key><integer>3</integer> 1030// CHECK: <key>file</key><integer>0</integer> 1031// CHECK: </dict> 1032// CHECK: <dict> 1033// CHECK: <key>line</key><integer>52</integer> 1034// CHECK: <key>col</key><integer>7</integer> 1035// CHECK: <key>file</key><integer>0</integer> 1036// CHECK: </dict> 1037// CHECK: </array> 1038// CHECK: </dict> 1039// CHECK: </array> 1040// CHECK: </dict> 1041// CHECK: <dict> 1042// CHECK: <key>kind</key><string>event</string> 1043// CHECK: <key>location</key> 1044// CHECK: <dict> 1045// CHECK: <key>line</key><integer>52</integer> 1046// CHECK: <key>col</key><integer>3</integer> 1047// CHECK: <key>file</key><integer>0</integer> 1048// CHECK: </dict> 1049// CHECK: <key>ranges</key> 1050// CHECK: <array> 1051// CHECK: <array> 1052// CHECK: <dict> 1053// CHECK: <key>line</key><integer>52</integer> 1054// CHECK: <key>col</key><integer>3</integer> 1055// CHECK: <key>file</key><integer>0</integer> 1056// CHECK: </dict> 1057// CHECK: <dict> 1058// CHECK: <key>line</key><integer>52</integer> 1059// CHECK: <key>col</key><integer>10</integer> 1060// CHECK: <key>file</key><integer>0</integer> 1061// CHECK: </dict> 1062// CHECK: </array> 1063// CHECK: </array> 1064// CHECK: <key>depth</key><integer>0</integer> 1065// CHECK: <key>extended_message</key> 1066// CHECK: <string>Calling 'check'</string> 1067// CHECK: <key>message</key> 1068// CHECK: <string>Calling 'check'</string> 1069// CHECK: </dict> 1070// CHECK: <dict> 1071// CHECK: <key>kind</key><string>event</string> 1072// CHECK: <key>location</key> 1073// CHECK: <dict> 1074// CHECK: <key>line</key><integer>18</integer> 1075// CHECK: <key>col</key><integer>1</integer> 1076// CHECK: <key>file</key><integer>0</integer> 1077// CHECK: </dict> 1078// CHECK: <key>depth</key><integer>1</integer> 1079// CHECK: <key>extended_message</key> 1080// CHECK: <string>Entered call from 'testStoreCheck'</string> 1081// CHECK: <key>message</key> 1082// CHECK: <string>Entered call from 'testStoreCheck'</string> 1083// CHECK: </dict> 1084// CHECK: <dict> 1085// CHECK: <key>kind</key><string>control</string> 1086// CHECK: <key>edges</key> 1087// CHECK: <array> 1088// CHECK: <dict> 1089// CHECK: <key>start</key> 1090// CHECK: <array> 1091// CHECK: <dict> 1092// CHECK: <key>line</key><integer>18</integer> 1093// CHECK: <key>col</key><integer>1</integer> 1094// CHECK: <key>file</key><integer>0</integer> 1095// CHECK: </dict> 1096// CHECK: <dict> 1097// CHECK: <key>line</key><integer>18</integer> 1098// CHECK: <key>col</key><integer>4</integer> 1099// CHECK: <key>file</key><integer>0</integer> 1100// CHECK: </dict> 1101// CHECK: </array> 1102// CHECK: <key>end</key> 1103// CHECK: <array> 1104// CHECK: <dict> 1105// CHECK: <key>line</key><integer>19</integer> 1106// CHECK: <key>col</key><integer>3</integer> 1107// CHECK: <key>file</key><integer>0</integer> 1108// CHECK: </dict> 1109// CHECK: <dict> 1110// CHECK: <key>line</key><integer>19</integer> 1111// CHECK: <key>col</key><integer>4</integer> 1112// CHECK: <key>file</key><integer>0</integer> 1113// CHECK: </dict> 1114// CHECK: </array> 1115// CHECK: </dict> 1116// CHECK: </array> 1117// CHECK: </dict> 1118// CHECK: <dict> 1119// CHECK: <key>kind</key><string>control</string> 1120// CHECK: <key>edges</key> 1121// CHECK: <array> 1122// CHECK: <dict> 1123// CHECK: <key>start</key> 1124// CHECK: <array> 1125// CHECK: <dict> 1126// CHECK: <key>line</key><integer>19</integer> 1127// CHECK: <key>col</key><integer>3</integer> 1128// CHECK: <key>file</key><integer>0</integer> 1129// CHECK: </dict> 1130// CHECK: <dict> 1131// CHECK: <key>line</key><integer>19</integer> 1132// CHECK: <key>col</key><integer>4</integer> 1133// CHECK: <key>file</key><integer>0</integer> 1134// CHECK: </dict> 1135// CHECK: </array> 1136// CHECK: <key>end</key> 1137// CHECK: <array> 1138// CHECK: <dict> 1139// CHECK: <key>line</key><integer>19</integer> 1140// CHECK: <key>col</key><integer>7</integer> 1141// CHECK: <key>file</key><integer>0</integer> 1142// CHECK: </dict> 1143// CHECK: <dict> 1144// CHECK: <key>line</key><integer>19</integer> 1145// CHECK: <key>col</key><integer>7</integer> 1146// CHECK: <key>file</key><integer>0</integer> 1147// CHECK: </dict> 1148// CHECK: </array> 1149// CHECK: </dict> 1150// CHECK: </array> 1151// CHECK: </dict> 1152// CHECK: <dict> 1153// CHECK: <key>kind</key><string>event</string> 1154// CHECK: <key>location</key> 1155// CHECK: <dict> 1156// CHECK: <key>line</key><integer>19</integer> 1157// CHECK: <key>col</key><integer>7</integer> 1158// CHECK: <key>file</key><integer>0</integer> 1159// CHECK: </dict> 1160// CHECK: <key>ranges</key> 1161// CHECK: <array> 1162// CHECK: <array> 1163// CHECK: <dict> 1164// CHECK: <key>line</key><integer>19</integer> 1165// CHECK: <key>col</key><integer>7</integer> 1166// CHECK: <key>file</key><integer>0</integer> 1167// CHECK: </dict> 1168// CHECK: <dict> 1169// CHECK: <key>line</key><integer>19</integer> 1170// CHECK: <key>col</key><integer>7</integer> 1171// CHECK: <key>file</key><integer>0</integer> 1172// CHECK: </dict> 1173// CHECK: </array> 1174// CHECK: </array> 1175// CHECK: <key>depth</key><integer>1</integer> 1176// CHECK: <key>extended_message</key> 1177// CHECK: <string>Assuming 'p' is null</string> 1178// CHECK: <key>message</key> 1179// CHECK: <string>Assuming 'p' is null</string> 1180// CHECK: </dict> 1181// CHECK: <dict> 1182// CHECK: <key>kind</key><string>control</string> 1183// CHECK: <key>edges</key> 1184// CHECK: <array> 1185// CHECK: <dict> 1186// CHECK: <key>start</key> 1187// CHECK: <array> 1188// CHECK: <dict> 1189// CHECK: <key>line</key><integer>19</integer> 1190// CHECK: <key>col</key><integer>7</integer> 1191// CHECK: <key>file</key><integer>0</integer> 1192// CHECK: </dict> 1193// CHECK: <dict> 1194// CHECK: <key>line</key><integer>19</integer> 1195// CHECK: <key>col</key><integer>7</integer> 1196// CHECK: <key>file</key><integer>0</integer> 1197// CHECK: </dict> 1198// CHECK: </array> 1199// CHECK: <key>end</key> 1200// CHECK: <array> 1201// CHECK: <dict> 1202// CHECK: <key>line</key><integer>25</integer> 1203// CHECK: <key>col</key><integer>3</integer> 1204// CHECK: <key>file</key><integer>0</integer> 1205// CHECK: </dict> 1206// CHECK: <dict> 1207// CHECK: <key>line</key><integer>25</integer> 1208// CHECK: <key>col</key><integer>8</integer> 1209// CHECK: <key>file</key><integer>0</integer> 1210// CHECK: </dict> 1211// CHECK: </array> 1212// CHECK: </dict> 1213// CHECK: </array> 1214// CHECK: </dict> 1215// CHECK: <dict> 1216// CHECK: <key>kind</key><string>event</string> 1217// CHECK: <key>location</key> 1218// CHECK: <dict> 1219// CHECK: <key>line</key><integer>52</integer> 1220// CHECK: <key>col</key><integer>3</integer> 1221// CHECK: <key>file</key><integer>0</integer> 1222// CHECK: </dict> 1223// CHECK: <key>ranges</key> 1224// CHECK: <array> 1225// CHECK: <array> 1226// CHECK: <dict> 1227// CHECK: <key>line</key><integer>52</integer> 1228// CHECK: <key>col</key><integer>3</integer> 1229// CHECK: <key>file</key><integer>0</integer> 1230// CHECK: </dict> 1231// CHECK: <dict> 1232// CHECK: <key>line</key><integer>52</integer> 1233// CHECK: <key>col</key><integer>10</integer> 1234// CHECK: <key>file</key><integer>0</integer> 1235// CHECK: </dict> 1236// CHECK: </array> 1237// CHECK: </array> 1238// CHECK: <key>depth</key><integer>1</integer> 1239// CHECK: <key>extended_message</key> 1240// CHECK: <string>Returning from 'check'</string> 1241// CHECK: <key>message</key> 1242// CHECK: <string>Returning from 'check'</string> 1243// CHECK: </dict> 1244// CHECK: <dict> 1245// CHECK: <key>kind</key><string>control</string> 1246// CHECK: <key>edges</key> 1247// CHECK: <array> 1248// CHECK: <dict> 1249// CHECK: <key>start</key> 1250// CHECK: <array> 1251// CHECK: <dict> 1252// CHECK: <key>line</key><integer>52</integer> 1253// CHECK: <key>col</key><integer>3</integer> 1254// CHECK: <key>file</key><integer>0</integer> 1255// CHECK: </dict> 1256// CHECK: <dict> 1257// CHECK: <key>line</key><integer>52</integer> 1258// CHECK: <key>col</key><integer>7</integer> 1259// CHECK: <key>file</key><integer>0</integer> 1260// CHECK: </dict> 1261// CHECK: </array> 1262// CHECK: <key>end</key> 1263// CHECK: <array> 1264// CHECK: <dict> 1265// CHECK: <key>line</key><integer>55</integer> 1266// CHECK: <key>col</key><integer>3</integer> 1267// CHECK: <key>file</key><integer>0</integer> 1268// CHECK: </dict> 1269// CHECK: <dict> 1270// CHECK: <key>line</key><integer>55</integer> 1271// CHECK: <key>col</key><integer>3</integer> 1272// CHECK: <key>file</key><integer>0</integer> 1273// CHECK: </dict> 1274// CHECK: </array> 1275// CHECK: </dict> 1276// CHECK: </array> 1277// CHECK: </dict> 1278// CHECK: <dict> 1279// CHECK: <key>kind</key><string>event</string> 1280// CHECK: <key>location</key> 1281// CHECK: <dict> 1282// CHECK: <key>line</key><integer>55</integer> 1283// CHECK: <key>col</key><integer>3</integer> 1284// CHECK: <key>file</key><integer>0</integer> 1285// CHECK: </dict> 1286// CHECK: <key>ranges</key> 1287// CHECK: <array> 1288// CHECK: <array> 1289// CHECK: <dict> 1290// CHECK: <key>line</key><integer>55</integer> 1291// CHECK: <key>col</key><integer>4</integer> 1292// CHECK: <key>file</key><integer>0</integer> 1293// CHECK: </dict> 1294// CHECK: <dict> 1295// CHECK: <key>line</key><integer>55</integer> 1296// CHECK: <key>col</key><integer>4</integer> 1297// CHECK: <key>file</key><integer>0</integer> 1298// CHECK: </dict> 1299// CHECK: </array> 1300// CHECK: </array> 1301// CHECK: <key>depth</key><integer>0</integer> 1302// CHECK: <key>extended_message</key> 1303// CHECK: <string>Dereference of null pointer (loaded from variable 'a')</string> 1304// CHECK: <key>message</key> 1305// CHECK: <string>Dereference of null pointer (loaded from variable 'a')</string> 1306// CHECK: </dict> 1307// CHECK: </array> 1308// CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</string> 1309// CHECK: <key>category</key><string>Logic error</string> 1310// CHECK: <key>type</key><string>Dereference of null pointer</string> 1311// CHECK: <key>issue_context_kind</key><string>function</string> 1312// CHECK: <key>issue_context</key><string>testStoreCheck</string> 1313// CHECK: <key>issue_hash</key><integer>6</integer> 1314// CHECK: <key>location</key> 1315// CHECK: <dict> 1316// CHECK: <key>line</key><integer>55</integer> 1317// CHECK: <key>col</key><integer>3</integer> 1318// CHECK: <key>file</key><integer>0</integer> 1319// CHECK: </dict> 1320// CHECK: </dict> 1321// CHECK: <dict> 1322// CHECK: <key>path</key> 1323// CHECK: <array> 1324// CHECK: <dict> 1325// CHECK: <key>kind</key><string>control</string> 1326// CHECK: <key>edges</key> 1327// CHECK: <array> 1328// CHECK: <dict> 1329// CHECK: <key>start</key> 1330// CHECK: <array> 1331// CHECK: <dict> 1332// CHECK: <key>line</key><integer>69</integer> 1333// CHECK: <key>col</key><integer>3</integer> 1334// CHECK: <key>file</key><integer>0</integer> 1335// CHECK: </dict> 1336// CHECK: <dict> 1337// CHECK: <key>line</key><integer>69</integer> 1338// CHECK: <key>col</key><integer>3</integer> 1339// CHECK: <key>file</key><integer>0</integer> 1340// CHECK: </dict> 1341// CHECK: </array> 1342// CHECK: <key>end</key> 1343// CHECK: <array> 1344// CHECK: <dict> 1345// CHECK: <key>line</key><integer>69</integer> 1346// CHECK: <key>col</key><integer>4</integer> 1347// CHECK: <key>file</key><integer>0</integer> 1348// CHECK: </dict> 1349// CHECK: <dict> 1350// CHECK: <key>line</key><integer>69</integer> 1351// CHECK: <key>col</key><integer>10</integer> 1352// CHECK: <key>file</key><integer>0</integer> 1353// CHECK: </dict> 1354// CHECK: </array> 1355// CHECK: </dict> 1356// CHECK: </array> 1357// CHECK: </dict> 1358// CHECK: <dict> 1359// CHECK: <key>kind</key><string>event</string> 1360// CHECK: <key>location</key> 1361// CHECK: <dict> 1362// CHECK: <key>line</key><integer>69</integer> 1363// CHECK: <key>col</key><integer>4</integer> 1364// CHECK: <key>file</key><integer>0</integer> 1365// CHECK: </dict> 1366// CHECK: <key>ranges</key> 1367// CHECK: <array> 1368// CHECK: <array> 1369// CHECK: <dict> 1370// CHECK: <key>line</key><integer>69</integer> 1371// CHECK: <key>col</key><integer>4</integer> 1372// CHECK: <key>file</key><integer>0</integer> 1373// CHECK: </dict> 1374// CHECK: <dict> 1375// CHECK: <key>line</key><integer>69</integer> 1376// CHECK: <key>col</key><integer>12</integer> 1377// CHECK: <key>file</key><integer>0</integer> 1378// CHECK: </dict> 1379// CHECK: </array> 1380// CHECK: </array> 1381// CHECK: <key>depth</key><integer>0</integer> 1382// CHECK: <key>extended_message</key> 1383// CHECK: <string>Calling 'getZero'</string> 1384// CHECK: <key>message</key> 1385// CHECK: <string>Calling 'getZero'</string> 1386// CHECK: </dict> 1387// CHECK: <dict> 1388// CHECK: <key>kind</key><string>event</string> 1389// CHECK: <key>location</key> 1390// CHECK: <dict> 1391// CHECK: <key>line</key><integer>60</integer> 1392// CHECK: <key>col</key><integer>1</integer> 1393// CHECK: <key>file</key><integer>0</integer> 1394// CHECK: </dict> 1395// CHECK: <key>depth</key><integer>1</integer> 1396// CHECK: <key>extended_message</key> 1397// CHECK: <string>Entered call from 'testReturnZero'</string> 1398// CHECK: <key>message</key> 1399// CHECK: <string>Entered call from 'testReturnZero'</string> 1400// CHECK: </dict> 1401// CHECK: <dict> 1402// CHECK: <key>kind</key><string>control</string> 1403// CHECK: <key>edges</key> 1404// CHECK: <array> 1405// CHECK: <dict> 1406// CHECK: <key>start</key> 1407// CHECK: <array> 1408// CHECK: <dict> 1409// CHECK: <key>line</key><integer>60</integer> 1410// CHECK: <key>col</key><integer>1</integer> 1411// CHECK: <key>file</key><integer>0</integer> 1412// CHECK: </dict> 1413// CHECK: <dict> 1414// CHECK: <key>line</key><integer>60</integer> 1415// CHECK: <key>col</key><integer>3</integer> 1416// CHECK: <key>file</key><integer>0</integer> 1417// CHECK: </dict> 1418// CHECK: </array> 1419// CHECK: <key>end</key> 1420// CHECK: <array> 1421// CHECK: <dict> 1422// CHECK: <key>line</key><integer>61</integer> 1423// CHECK: <key>col</key><integer>3</integer> 1424// CHECK: <key>file</key><integer>0</integer> 1425// CHECK: </dict> 1426// CHECK: <dict> 1427// CHECK: <key>line</key><integer>61</integer> 1428// CHECK: <key>col</key><integer>5</integer> 1429// CHECK: <key>file</key><integer>0</integer> 1430// CHECK: </dict> 1431// CHECK: </array> 1432// CHECK: </dict> 1433// CHECK: </array> 1434// CHECK: </dict> 1435// CHECK: <dict> 1436// CHECK: <key>kind</key><string>event</string> 1437// CHECK: <key>location</key> 1438// CHECK: <dict> 1439// CHECK: <key>line</key><integer>61</integer> 1440// CHECK: <key>col</key><integer>3</integer> 1441// CHECK: <key>file</key><integer>0</integer> 1442// CHECK: </dict> 1443// CHECK: <key>ranges</key> 1444// CHECK: <array> 1445// CHECK: <array> 1446// CHECK: <dict> 1447// CHECK: <key>line</key><integer>61</integer> 1448// CHECK: <key>col</key><integer>3</integer> 1449// CHECK: <key>file</key><integer>0</integer> 1450// CHECK: </dict> 1451// CHECK: <dict> 1452// CHECK: <key>line</key><integer>61</integer> 1453// CHECK: <key>col</key><integer>8</integer> 1454// CHECK: <key>file</key><integer>0</integer> 1455// CHECK: </dict> 1456// CHECK: </array> 1457// CHECK: </array> 1458// CHECK: <key>depth</key><integer>1</integer> 1459// CHECK: <key>extended_message</key> 1460// CHECK: <string>Variable 'p' initialized to a null pointer value</string> 1461// CHECK: <key>message</key> 1462// CHECK: <string>Variable 'p' initialized to a null pointer value</string> 1463// CHECK: </dict> 1464// CHECK: <dict> 1465// CHECK: <key>kind</key><string>control</string> 1466// CHECK: <key>edges</key> 1467// CHECK: <array> 1468// CHECK: <dict> 1469// CHECK: <key>start</key> 1470// CHECK: <array> 1471// CHECK: <dict> 1472// CHECK: <key>line</key><integer>61</integer> 1473// CHECK: <key>col</key><integer>3</integer> 1474// CHECK: <key>file</key><integer>0</integer> 1475// CHECK: </dict> 1476// CHECK: <dict> 1477// CHECK: <key>line</key><integer>61</integer> 1478// CHECK: <key>col</key><integer>5</integer> 1479// CHECK: <key>file</key><integer>0</integer> 1480// CHECK: </dict> 1481// CHECK: </array> 1482// CHECK: <key>end</key> 1483// CHECK: <array> 1484// CHECK: <dict> 1485// CHECK: <key>line</key><integer>64</integer> 1486// CHECK: <key>col</key><integer>3</integer> 1487// CHECK: <key>file</key><integer>0</integer> 1488// CHECK: </dict> 1489// CHECK: <dict> 1490// CHECK: <key>line</key><integer>64</integer> 1491// CHECK: <key>col</key><integer>8</integer> 1492// CHECK: <key>file</key><integer>0</integer> 1493// CHECK: </dict> 1494// CHECK: </array> 1495// CHECK: </dict> 1496// CHECK: </array> 1497// CHECK: </dict> 1498// CHECK: <dict> 1499// CHECK: <key>kind</key><string>event</string> 1500// CHECK: <key>location</key> 1501// CHECK: <dict> 1502// CHECK: <key>line</key><integer>64</integer> 1503// CHECK: <key>col</key><integer>3</integer> 1504// CHECK: <key>file</key><integer>0</integer> 1505// CHECK: </dict> 1506// CHECK: <key>ranges</key> 1507// CHECK: <array> 1508// CHECK: <array> 1509// CHECK: <dict> 1510// CHECK: <key>line</key><integer>64</integer> 1511// CHECK: <key>col</key><integer>3</integer> 1512// CHECK: <key>file</key><integer>0</integer> 1513// CHECK: </dict> 1514// CHECK: <dict> 1515// CHECK: <key>line</key><integer>64</integer> 1516// CHECK: <key>col</key><integer>10</integer> 1517// CHECK: <key>file</key><integer>0</integer> 1518// CHECK: </dict> 1519// CHECK: </array> 1520// CHECK: </array> 1521// CHECK: <key>depth</key><integer>1</integer> 1522// CHECK: <key>extended_message</key> 1523// CHECK: <string>Returning null pointer (loaded from 'p')</string> 1524// CHECK: <key>message</key> 1525// CHECK: <string>Returning null pointer (loaded from 'p')</string> 1526// CHECK: </dict> 1527// CHECK: <dict> 1528// CHECK: <key>kind</key><string>event</string> 1529// CHECK: <key>location</key> 1530// CHECK: <dict> 1531// CHECK: <key>line</key><integer>69</integer> 1532// CHECK: <key>col</key><integer>4</integer> 1533// CHECK: <key>file</key><integer>0</integer> 1534// CHECK: </dict> 1535// CHECK: <key>ranges</key> 1536// CHECK: <array> 1537// CHECK: <array> 1538// CHECK: <dict> 1539// CHECK: <key>line</key><integer>69</integer> 1540// CHECK: <key>col</key><integer>4</integer> 1541// CHECK: <key>file</key><integer>0</integer> 1542// CHECK: </dict> 1543// CHECK: <dict> 1544// CHECK: <key>line</key><integer>69</integer> 1545// CHECK: <key>col</key><integer>12</integer> 1546// CHECK: <key>file</key><integer>0</integer> 1547// CHECK: </dict> 1548// CHECK: </array> 1549// CHECK: </array> 1550// CHECK: <key>depth</key><integer>1</integer> 1551// CHECK: <key>extended_message</key> 1552// CHECK: <string>Returning from 'getZero'</string> 1553// CHECK: <key>message</key> 1554// CHECK: <string>Returning from 'getZero'</string> 1555// CHECK: </dict> 1556// CHECK: <dict> 1557// CHECK: <key>kind</key><string>control</string> 1558// CHECK: <key>edges</key> 1559// CHECK: <array> 1560// CHECK: <dict> 1561// CHECK: <key>start</key> 1562// CHECK: <array> 1563// CHECK: <dict> 1564// CHECK: <key>line</key><integer>69</integer> 1565// CHECK: <key>col</key><integer>3</integer> 1566// CHECK: <key>file</key><integer>0</integer> 1567// CHECK: </dict> 1568// CHECK: <dict> 1569// CHECK: <key>line</key><integer>69</integer> 1570// CHECK: <key>col</key><integer>3</integer> 1571// CHECK: <key>file</key><integer>0</integer> 1572// CHECK: </dict> 1573// CHECK: </array> 1574// CHECK: <key>end</key> 1575// CHECK: <array> 1576// CHECK: <dict> 1577// CHECK: <key>line</key><integer>69</integer> 1578// CHECK: <key>col</key><integer>4</integer> 1579// CHECK: <key>file</key><integer>0</integer> 1580// CHECK: </dict> 1581// CHECK: <dict> 1582// CHECK: <key>line</key><integer>69</integer> 1583// CHECK: <key>col</key><integer>10</integer> 1584// CHECK: <key>file</key><integer>0</integer> 1585// CHECK: </dict> 1586// CHECK: </array> 1587// CHECK: </dict> 1588// CHECK: </array> 1589// CHECK: </dict> 1590// CHECK: <dict> 1591// CHECK: <key>kind</key><string>control</string> 1592// CHECK: <key>edges</key> 1593// CHECK: <array> 1594// CHECK: <dict> 1595// CHECK: <key>start</key> 1596// CHECK: <array> 1597// CHECK: <dict> 1598// CHECK: <key>line</key><integer>69</integer> 1599// CHECK: <key>col</key><integer>4</integer> 1600// CHECK: <key>file</key><integer>0</integer> 1601// CHECK: </dict> 1602// CHECK: <dict> 1603// CHECK: <key>line</key><integer>69</integer> 1604// CHECK: <key>col</key><integer>10</integer> 1605// CHECK: <key>file</key><integer>0</integer> 1606// CHECK: </dict> 1607// CHECK: </array> 1608// CHECK: <key>end</key> 1609// CHECK: <array> 1610// CHECK: <dict> 1611// CHECK: <key>line</key><integer>69</integer> 1612// CHECK: <key>col</key><integer>3</integer> 1613// CHECK: <key>file</key><integer>0</integer> 1614// CHECK: </dict> 1615// CHECK: <dict> 1616// CHECK: <key>line</key><integer>69</integer> 1617// CHECK: <key>col</key><integer>3</integer> 1618// CHECK: <key>file</key><integer>0</integer> 1619// CHECK: </dict> 1620// CHECK: </array> 1621// CHECK: </dict> 1622// CHECK: </array> 1623// CHECK: </dict> 1624// CHECK: <dict> 1625// CHECK: <key>kind</key><string>event</string> 1626// CHECK: <key>location</key> 1627// CHECK: <dict> 1628// CHECK: <key>line</key><integer>69</integer> 1629// CHECK: <key>col</key><integer>3</integer> 1630// CHECK: <key>file</key><integer>0</integer> 1631// CHECK: </dict> 1632// CHECK: <key>ranges</key> 1633// CHECK: <array> 1634// CHECK: <array> 1635// CHECK: <dict> 1636// CHECK: <key>line</key><integer>69</integer> 1637// CHECK: <key>col</key><integer>3</integer> 1638// CHECK: <key>file</key><integer>0</integer> 1639// CHECK: </dict> 1640// CHECK: <dict> 1641// CHECK: <key>line</key><integer>69</integer> 1642// CHECK: <key>col</key><integer>16</integer> 1643// CHECK: <key>file</key><integer>0</integer> 1644// CHECK: </dict> 1645// CHECK: </array> 1646// CHECK: </array> 1647// CHECK: <key>depth</key><integer>0</integer> 1648// CHECK: <key>extended_message</key> 1649// CHECK: <string>Dereference of null pointer</string> 1650// CHECK: <key>message</key> 1651// CHECK: <string>Dereference of null pointer</string> 1652// CHECK: </dict> 1653// CHECK: </array> 1654// CHECK: <key>description</key><string>Dereference of null pointer</string> 1655// CHECK: <key>category</key><string>Logic error</string> 1656// CHECK: <key>type</key><string>Dereference of null pointer</string> 1657// CHECK: <key>issue_context_kind</key><string>function</string> 1658// CHECK: <key>issue_context</key><string>testReturnZero</string> 1659// CHECK: <key>issue_hash</key><integer>1</integer> 1660// CHECK: <key>location</key> 1661// CHECK: <dict> 1662// CHECK: <key>line</key><integer>69</integer> 1663// CHECK: <key>col</key><integer>3</integer> 1664// CHECK: <key>file</key><integer>0</integer> 1665// CHECK: </dict> 1666// CHECK: </dict> 1667// CHECK: <dict> 1668// CHECK: <key>path</key> 1669// CHECK: <array> 1670// CHECK: <dict> 1671// CHECK: <key>kind</key><string>control</string> 1672// CHECK: <key>edges</key> 1673// CHECK: <array> 1674// CHECK: <dict> 1675// CHECK: <key>start</key> 1676// CHECK: <array> 1677// CHECK: <dict> 1678// CHECK: <key>line</key><integer>77</integer> 1679// CHECK: <key>col</key><integer>3</integer> 1680// CHECK: <key>file</key><integer>0</integer> 1681// CHECK: </dict> 1682// CHECK: <dict> 1683// CHECK: <key>line</key><integer>77</integer> 1684// CHECK: <key>col</key><integer>5</integer> 1685// CHECK: <key>file</key><integer>0</integer> 1686// CHECK: </dict> 1687// CHECK: </array> 1688// CHECK: <key>end</key> 1689// CHECK: <array> 1690// CHECK: <dict> 1691// CHECK: <key>line</key><integer>77</integer> 1692// CHECK: <key>col</key><integer>12</integer> 1693// CHECK: <key>file</key><integer>0</integer> 1694// CHECK: </dict> 1695// CHECK: <dict> 1696// CHECK: <key>line</key><integer>77</integer> 1697// CHECK: <key>col</key><integer>18</integer> 1698// CHECK: <key>file</key><integer>0</integer> 1699// CHECK: </dict> 1700// CHECK: </array> 1701// CHECK: </dict> 1702// CHECK: </array> 1703// CHECK: </dict> 1704// CHECK: <dict> 1705// CHECK: <key>kind</key><string>control</string> 1706// CHECK: <key>edges</key> 1707// CHECK: <array> 1708// CHECK: <dict> 1709// CHECK: <key>start</key> 1710// CHECK: <array> 1711// CHECK: <dict> 1712// CHECK: <key>line</key><integer>77</integer> 1713// CHECK: <key>col</key><integer>3</integer> 1714// CHECK: <key>file</key><integer>0</integer> 1715// CHECK: </dict> 1716// CHECK: <dict> 1717// CHECK: <key>line</key><integer>77</integer> 1718// CHECK: <key>col</key><integer>5</integer> 1719// CHECK: <key>file</key><integer>0</integer> 1720// CHECK: </dict> 1721// CHECK: </array> 1722// CHECK: <key>end</key> 1723// CHECK: <array> 1724// CHECK: <dict> 1725// CHECK: <key>line</key><integer>77</integer> 1726// CHECK: <key>col</key><integer>12</integer> 1727// CHECK: <key>file</key><integer>0</integer> 1728// CHECK: </dict> 1729// CHECK: <dict> 1730// CHECK: <key>line</key><integer>77</integer> 1731// CHECK: <key>col</key><integer>18</integer> 1732// CHECK: <key>file</key><integer>0</integer> 1733// CHECK: </dict> 1734// CHECK: </array> 1735// CHECK: </dict> 1736// CHECK: </array> 1737// CHECK: </dict> 1738// CHECK: <dict> 1739// CHECK: <key>kind</key><string>control</string> 1740// CHECK: <key>edges</key> 1741// CHECK: <array> 1742// CHECK: <dict> 1743// CHECK: <key>start</key> 1744// CHECK: <array> 1745// CHECK: <dict> 1746// CHECK: <key>line</key><integer>77</integer> 1747// CHECK: <key>col</key><integer>12</integer> 1748// CHECK: <key>file</key><integer>0</integer> 1749// CHECK: </dict> 1750// CHECK: <dict> 1751// CHECK: <key>line</key><integer>77</integer> 1752// CHECK: <key>col</key><integer>18</integer> 1753// CHECK: <key>file</key><integer>0</integer> 1754// CHECK: </dict> 1755// CHECK: </array> 1756// CHECK: <key>end</key> 1757// CHECK: <array> 1758// CHECK: <dict> 1759// CHECK: <key>line</key><integer>77</integer> 1760// CHECK: <key>col</key><integer>3</integer> 1761// CHECK: <key>file</key><integer>0</integer> 1762// CHECK: </dict> 1763// CHECK: <dict> 1764// CHECK: <key>line</key><integer>77</integer> 1765// CHECK: <key>col</key><integer>5</integer> 1766// CHECK: <key>file</key><integer>0</integer> 1767// CHECK: </dict> 1768// CHECK: </array> 1769// CHECK: </dict> 1770// CHECK: </array> 1771// CHECK: </dict> 1772// CHECK: <dict> 1773// CHECK: <key>kind</key><string>event</string> 1774// CHECK: <key>location</key> 1775// CHECK: <dict> 1776// CHECK: <key>line</key><integer>77</integer> 1777// CHECK: <key>col</key><integer>3</integer> 1778// CHECK: <key>file</key><integer>0</integer> 1779// CHECK: </dict> 1780// CHECK: <key>ranges</key> 1781// CHECK: <array> 1782// CHECK: <array> 1783// CHECK: <dict> 1784// CHECK: <key>line</key><integer>77</integer> 1785// CHECK: <key>col</key><integer>3</integer> 1786// CHECK: <key>file</key><integer>0</integer> 1787// CHECK: </dict> 1788// CHECK: <dict> 1789// CHECK: <key>line</key><integer>77</integer> 1790// CHECK: <key>col</key><integer>8</integer> 1791// CHECK: <key>file</key><integer>0</integer> 1792// CHECK: </dict> 1793// CHECK: </array> 1794// CHECK: </array> 1795// CHECK: <key>depth</key><integer>0</integer> 1796// CHECK: <key>extended_message</key> 1797// CHECK: <string>Variable 'a' initialized to a null pointer value</string> 1798// CHECK: <key>message</key> 1799// CHECK: <string>Variable 'a' initialized to a null pointer value</string> 1800// CHECK: </dict> 1801// CHECK: <dict> 1802// CHECK: <key>kind</key><string>control</string> 1803// CHECK: <key>edges</key> 1804// CHECK: <array> 1805// CHECK: <dict> 1806// CHECK: <key>start</key> 1807// CHECK: <array> 1808// CHECK: <dict> 1809// CHECK: <key>line</key><integer>77</integer> 1810// CHECK: <key>col</key><integer>3</integer> 1811// CHECK: <key>file</key><integer>0</integer> 1812// CHECK: </dict> 1813// CHECK: <dict> 1814// CHECK: <key>line</key><integer>77</integer> 1815// CHECK: <key>col</key><integer>5</integer> 1816// CHECK: <key>file</key><integer>0</integer> 1817// CHECK: </dict> 1818// CHECK: </array> 1819// CHECK: <key>end</key> 1820// CHECK: <array> 1821// CHECK: <dict> 1822// CHECK: <key>line</key><integer>79</integer> 1823// CHECK: <key>col</key><integer>3</integer> 1824// CHECK: <key>file</key><integer>0</integer> 1825// CHECK: </dict> 1826// CHECK: <dict> 1827// CHECK: <key>line</key><integer>79</integer> 1828// CHECK: <key>col</key><integer>3</integer> 1829// CHECK: <key>file</key><integer>0</integer> 1830// CHECK: </dict> 1831// CHECK: </array> 1832// CHECK: </dict> 1833// CHECK: </array> 1834// CHECK: </dict> 1835// CHECK: <dict> 1836// CHECK: <key>kind</key><string>event</string> 1837// CHECK: <key>location</key> 1838// CHECK: <dict> 1839// CHECK: <key>line</key><integer>79</integer> 1840// CHECK: <key>col</key><integer>3</integer> 1841// CHECK: <key>file</key><integer>0</integer> 1842// CHECK: </dict> 1843// CHECK: <key>ranges</key> 1844// CHECK: <array> 1845// CHECK: <array> 1846// CHECK: <dict> 1847// CHECK: <key>line</key><integer>79</integer> 1848// CHECK: <key>col</key><integer>4</integer> 1849// CHECK: <key>file</key><integer>0</integer> 1850// CHECK: </dict> 1851// CHECK: <dict> 1852// CHECK: <key>line</key><integer>79</integer> 1853// CHECK: <key>col</key><integer>4</integer> 1854// CHECK: <key>file</key><integer>0</integer> 1855// CHECK: </dict> 1856// CHECK: </array> 1857// CHECK: </array> 1858// CHECK: <key>depth</key><integer>0</integer> 1859// CHECK: <key>extended_message</key> 1860// CHECK: <string>Dereference of null pointer (loaded from variable 'a')</string> 1861// CHECK: <key>message</key> 1862// CHECK: <string>Dereference of null pointer (loaded from variable 'a')</string> 1863// CHECK: </dict> 1864// CHECK: </array> 1865// CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</string> 1866// CHECK: <key>category</key><string>Logic error</string> 1867// CHECK: <key>type</key><string>Dereference of null pointer</string> 1868// CHECK: <key>issue_context_kind</key><string>function</string> 1869// CHECK: <key>issue_context</key><string>testInitZero</string> 1870// CHECK: <key>issue_hash</key><integer>4</integer> 1871// CHECK: <key>location</key> 1872// CHECK: <dict> 1873// CHECK: <key>line</key><integer>79</integer> 1874// CHECK: <key>col</key><integer>3</integer> 1875// CHECK: <key>file</key><integer>0</integer> 1876// CHECK: </dict> 1877// CHECK: </dict> 1878// CHECK: <dict> 1879// CHECK: <key>path</key> 1880// CHECK: <array> 1881// CHECK: <dict> 1882// CHECK: <key>kind</key><string>control</string> 1883// CHECK: <key>edges</key> 1884// CHECK: <array> 1885// CHECK: <dict> 1886// CHECK: <key>start</key> 1887// CHECK: <array> 1888// CHECK: <dict> 1889// CHECK: <key>line</key><integer>85</integer> 1890// CHECK: <key>col</key><integer>3</integer> 1891// CHECK: <key>file</key><integer>0</integer> 1892// CHECK: </dict> 1893// CHECK: <dict> 1894// CHECK: <key>line</key><integer>85</integer> 1895// CHECK: <key>col</key><integer>3</integer> 1896// CHECK: <key>file</key><integer>0</integer> 1897// CHECK: </dict> 1898// CHECK: </array> 1899// CHECK: <key>end</key> 1900// CHECK: <array> 1901// CHECK: <dict> 1902// CHECK: <key>line</key><integer>85</integer> 1903// CHECK: <key>col</key><integer>7</integer> 1904// CHECK: <key>file</key><integer>0</integer> 1905// CHECK: </dict> 1906// CHECK: <dict> 1907// CHECK: <key>line</key><integer>85</integer> 1908// CHECK: <key>col</key><integer>13</integer> 1909// CHECK: <key>file</key><integer>0</integer> 1910// CHECK: </dict> 1911// CHECK: </array> 1912// CHECK: </dict> 1913// CHECK: </array> 1914// CHECK: </dict> 1915// CHECK: <dict> 1916// CHECK: <key>kind</key><string>control</string> 1917// CHECK: <key>edges</key> 1918// CHECK: <array> 1919// CHECK: <dict> 1920// CHECK: <key>start</key> 1921// CHECK: <array> 1922// CHECK: <dict> 1923// CHECK: <key>line</key><integer>85</integer> 1924// CHECK: <key>col</key><integer>3</integer> 1925// CHECK: <key>file</key><integer>0</integer> 1926// CHECK: </dict> 1927// CHECK: <dict> 1928// CHECK: <key>line</key><integer>85</integer> 1929// CHECK: <key>col</key><integer>3</integer> 1930// CHECK: <key>file</key><integer>0</integer> 1931// CHECK: </dict> 1932// CHECK: </array> 1933// CHECK: <key>end</key> 1934// CHECK: <array> 1935// CHECK: <dict> 1936// CHECK: <key>line</key><integer>85</integer> 1937// CHECK: <key>col</key><integer>7</integer> 1938// CHECK: <key>file</key><integer>0</integer> 1939// CHECK: </dict> 1940// CHECK: <dict> 1941// CHECK: <key>line</key><integer>85</integer> 1942// CHECK: <key>col</key><integer>13</integer> 1943// CHECK: <key>file</key><integer>0</integer> 1944// CHECK: </dict> 1945// CHECK: </array> 1946// CHECK: </dict> 1947// CHECK: </array> 1948// CHECK: </dict> 1949// CHECK: <dict> 1950// CHECK: <key>kind</key><string>control</string> 1951// CHECK: <key>edges</key> 1952// CHECK: <array> 1953// CHECK: <dict> 1954// CHECK: <key>start</key> 1955// CHECK: <array> 1956// CHECK: <dict> 1957// CHECK: <key>line</key><integer>85</integer> 1958// CHECK: <key>col</key><integer>7</integer> 1959// CHECK: <key>file</key><integer>0</integer> 1960// CHECK: </dict> 1961// CHECK: <dict> 1962// CHECK: <key>line</key><integer>85</integer> 1963// CHECK: <key>col</key><integer>13</integer> 1964// CHECK: <key>file</key><integer>0</integer> 1965// CHECK: </dict> 1966// CHECK: </array> 1967// CHECK: <key>end</key> 1968// CHECK: <array> 1969// CHECK: <dict> 1970// CHECK: <key>line</key><integer>85</integer> 1971// CHECK: <key>col</key><integer>3</integer> 1972// CHECK: <key>file</key><integer>0</integer> 1973// CHECK: </dict> 1974// CHECK: <dict> 1975// CHECK: <key>line</key><integer>85</integer> 1976// CHECK: <key>col</key><integer>3</integer> 1977// CHECK: <key>file</key><integer>0</integer> 1978// CHECK: </dict> 1979// CHECK: </array> 1980// CHECK: </dict> 1981// CHECK: </array> 1982// CHECK: </dict> 1983// CHECK: <dict> 1984// CHECK: <key>kind</key><string>event</string> 1985// CHECK: <key>location</key> 1986// CHECK: <dict> 1987// CHECK: <key>line</key><integer>85</integer> 1988// CHECK: <key>col</key><integer>3</integer> 1989// CHECK: <key>file</key><integer>0</integer> 1990// CHECK: </dict> 1991// CHECK: <key>ranges</key> 1992// CHECK: <array> 1993// CHECK: <array> 1994// CHECK: <dict> 1995// CHECK: <key>line</key><integer>85</integer> 1996// CHECK: <key>col</key><integer>3</integer> 1997// CHECK: <key>file</key><integer>0</integer> 1998// CHECK: </dict> 1999// CHECK: <dict> 2000// CHECK: <key>line</key><integer>85</integer> 2001// CHECK: <key>col</key><integer>15</integer> 2002// CHECK: <key>file</key><integer>0</integer> 2003// CHECK: </dict> 2004// CHECK: </array> 2005// CHECK: </array> 2006// CHECK: <key>depth</key><integer>0</integer> 2007// CHECK: <key>extended_message</key> 2008// CHECK: <string>Null pointer value stored to 'a'</string> 2009// CHECK: <key>message</key> 2010// CHECK: <string>Null pointer value stored to 'a'</string> 2011// CHECK: </dict> 2012// CHECK: <dict> 2013// CHECK: <key>kind</key><string>control</string> 2014// CHECK: <key>edges</key> 2015// CHECK: <array> 2016// CHECK: <dict> 2017// CHECK: <key>start</key> 2018// CHECK: <array> 2019// CHECK: <dict> 2020// CHECK: <key>line</key><integer>85</integer> 2021// CHECK: <key>col</key><integer>3</integer> 2022// CHECK: <key>file</key><integer>0</integer> 2023// CHECK: </dict> 2024// CHECK: <dict> 2025// CHECK: <key>line</key><integer>85</integer> 2026// CHECK: <key>col</key><integer>3</integer> 2027// CHECK: <key>file</key><integer>0</integer> 2028// CHECK: </dict> 2029// CHECK: </array> 2030// CHECK: <key>end</key> 2031// CHECK: <array> 2032// CHECK: <dict> 2033// CHECK: <key>line</key><integer>87</integer> 2034// CHECK: <key>col</key><integer>3</integer> 2035// CHECK: <key>file</key><integer>0</integer> 2036// CHECK: </dict> 2037// CHECK: <dict> 2038// CHECK: <key>line</key><integer>87</integer> 2039// CHECK: <key>col</key><integer>3</integer> 2040// CHECK: <key>file</key><integer>0</integer> 2041// CHECK: </dict> 2042// CHECK: </array> 2043// CHECK: </dict> 2044// CHECK: </array> 2045// CHECK: </dict> 2046// CHECK: <dict> 2047// CHECK: <key>kind</key><string>event</string> 2048// CHECK: <key>location</key> 2049// CHECK: <dict> 2050// CHECK: <key>line</key><integer>87</integer> 2051// CHECK: <key>col</key><integer>3</integer> 2052// CHECK: <key>file</key><integer>0</integer> 2053// CHECK: </dict> 2054// CHECK: <key>ranges</key> 2055// CHECK: <array> 2056// CHECK: <array> 2057// CHECK: <dict> 2058// CHECK: <key>line</key><integer>87</integer> 2059// CHECK: <key>col</key><integer>4</integer> 2060// CHECK: <key>file</key><integer>0</integer> 2061// CHECK: </dict> 2062// CHECK: <dict> 2063// CHECK: <key>line</key><integer>87</integer> 2064// CHECK: <key>col</key><integer>4</integer> 2065// CHECK: <key>file</key><integer>0</integer> 2066// CHECK: </dict> 2067// CHECK: </array> 2068// CHECK: </array> 2069// CHECK: <key>depth</key><integer>0</integer> 2070// CHECK: <key>extended_message</key> 2071// CHECK: <string>Dereference of null pointer (loaded from variable 'a')</string> 2072// CHECK: <key>message</key> 2073// CHECK: <string>Dereference of null pointer (loaded from variable 'a')</string> 2074// CHECK: </dict> 2075// CHECK: </array> 2076// CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</string> 2077// CHECK: <key>category</key><string>Logic error</string> 2078// CHECK: <key>type</key><string>Dereference of null pointer</string> 2079// CHECK: <key>issue_context_kind</key><string>function</string> 2080// CHECK: <key>issue_context</key><string>testStoreZero</string> 2081// CHECK: <key>issue_hash</key><integer>4</integer> 2082// CHECK: <key>location</key> 2083// CHECK: <dict> 2084// CHECK: <key>line</key><integer>87</integer> 2085// CHECK: <key>col</key><integer>3</integer> 2086// CHECK: <key>file</key><integer>0</integer> 2087// CHECK: </dict> 2088// CHECK: </dict> 2089// CHECK: </array> 2090// CHECK: </dict> 2091// CHECK: </plist> 2092