path-notes.c revision 7aba1171b32265b2206f3fa8f8886953051b58f5
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 75int testReturnZero2() { 76 return *getZero(); // expected-warning{{Dereference of null pointer}} 77 // expected-note@-1 {{Calling 'getZero'}} 78 // expected-note@-2 {{Returning from 'getZero'}} 79 // expected-note@-3 {{Dereference of null pointer}} 80} 81 82void testInitZero() { 83 int *a = getZero(); 84 // expected-note@-1 {{Calling 'getZero'}} 85 // expected-note@-2 {{Returning from 'getZero'}} 86 // expected-note@-3 {{Variable 'a' initialized to a null pointer value}} 87 *a = 1; // expected-warning{{Dereference of null pointer}} 88 // expected-note@-1 {{Dereference of null pointer (loaded from variable 'a')}} 89} 90 91void testStoreZero(int *a) { 92 a = getZero(); 93 // expected-note@-1 {{Calling 'getZero'}} 94 // expected-note@-2 {{Returning from 'getZero'}} 95 // expected-note@-3 {{Null pointer value stored to 'a'}} 96 *a = 1; // expected-warning{{Dereference of null pointer}} 97 // expected-note@-1 {{Dereference of null pointer (loaded from variable 'a')}} 98} 99 100 101// CHECK: <?xml version="1.0" encoding="UTF-8"?> 102// CHECK: <!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd"> 103// CHECK: <plist version="1.0"> 104// CHECK: <dict> 105// CHECK: <key>files</key> 106// CHECK: <array> 107// CHECK: <string>{{.*}}path-notes.c</string> 108// CHECK: </array> 109// CHECK: <key>diagnostics</key> 110// CHECK: <array> 111// CHECK: <dict> 112// CHECK: <key>path</key> 113// CHECK: <array> 114// CHECK: <dict> 115// CHECK: <key>kind</key><string>event</string> 116// CHECK: <key>location</key> 117// CHECK: <dict> 118// CHECK: <key>line</key><integer>10</integer> 119// CHECK: <key>col</key><integer>3</integer> 120// CHECK: <key>file</key><integer>0</integer> 121// CHECK: </dict> 122// CHECK: <key>ranges</key> 123// CHECK: <array> 124// CHECK: <array> 125// CHECK: <dict> 126// CHECK: <key>line</key><integer>10</integer> 127// CHECK: <key>col</key><integer>3</integer> 128// CHECK: <key>file</key><integer>0</integer> 129// CHECK: </dict> 130// CHECK: <dict> 131// CHECK: <key>line</key><integer>10</integer> 132// CHECK: <key>col</key><integer>10</integer> 133// CHECK: <key>file</key><integer>0</integer> 134// CHECK: </dict> 135// CHECK: </array> 136// CHECK: </array> 137// CHECK: <key>depth</key><integer>0</integer> 138// CHECK: <key>extended_message</key> 139// CHECK: <string>Calling 'zero'</string> 140// CHECK: <key>message</key> 141// CHECK: <string>Calling 'zero'</string> 142// CHECK: </dict> 143// CHECK: <dict> 144// CHECK: <key>kind</key><string>event</string> 145// CHECK: <key>location</key> 146// CHECK: <dict> 147// CHECK: <key>line</key><integer>4</integer> 148// CHECK: <key>col</key><integer>1</integer> 149// CHECK: <key>file</key><integer>0</integer> 150// CHECK: </dict> 151// CHECK: <key>depth</key><integer>1</integer> 152// CHECK: <key>extended_message</key> 153// CHECK: <string>Entered call from 'testZero'</string> 154// CHECK: <key>message</key> 155// CHECK: <string>Entered call from 'testZero'</string> 156// CHECK: </dict> 157// CHECK: <dict> 158// CHECK: <key>kind</key><string>control</string> 159// CHECK: <key>edges</key> 160// CHECK: <array> 161// CHECK: <dict> 162// CHECK: <key>start</key> 163// CHECK: <array> 164// CHECK: <dict> 165// CHECK: <key>line</key><integer>4</integer> 166// CHECK: <key>col</key><integer>1</integer> 167// CHECK: <key>file</key><integer>0</integer> 168// CHECK: </dict> 169// CHECK: <dict> 170// CHECK: <key>line</key><integer>4</integer> 171// CHECK: <key>col</key><integer>4</integer> 172// CHECK: <key>file</key><integer>0</integer> 173// CHECK: </dict> 174// CHECK: </array> 175// CHECK: <key>end</key> 176// CHECK: <array> 177// CHECK: <dict> 178// CHECK: <key>line</key><integer>5</integer> 179// CHECK: <key>col</key><integer>3</integer> 180// CHECK: <key>file</key><integer>0</integer> 181// CHECK: </dict> 182// CHECK: <dict> 183// CHECK: <key>line</key><integer>5</integer> 184// CHECK: <key>col</key><integer>3</integer> 185// CHECK: <key>file</key><integer>0</integer> 186// CHECK: </dict> 187// CHECK: </array> 188// CHECK: </dict> 189// CHECK: </array> 190// CHECK: </dict> 191// CHECK: <dict> 192// CHECK: <key>kind</key><string>event</string> 193// CHECK: <key>location</key> 194// CHECK: <dict> 195// CHECK: <key>line</key><integer>5</integer> 196// CHECK: <key>col</key><integer>3</integer> 197// CHECK: <key>file</key><integer>0</integer> 198// CHECK: </dict> 199// CHECK: <key>ranges</key> 200// CHECK: <array> 201// CHECK: <array> 202// CHECK: <dict> 203// CHECK: <key>line</key><integer>5</integer> 204// CHECK: <key>col</key><integer>3</integer> 205// CHECK: <key>file</key><integer>0</integer> 206// CHECK: </dict> 207// CHECK: <dict> 208// CHECK: <key>line</key><integer>5</integer> 209// CHECK: <key>col</key><integer>8</integer> 210// CHECK: <key>file</key><integer>0</integer> 211// CHECK: </dict> 212// CHECK: </array> 213// CHECK: </array> 214// CHECK: <key>depth</key><integer>1</integer> 215// CHECK: <key>extended_message</key> 216// CHECK: <string>Null pointer value stored to 'a'</string> 217// CHECK: <key>message</key> 218// CHECK: <string>Null pointer value stored to 'a'</string> 219// CHECK: </dict> 220// CHECK: <dict> 221// CHECK: <key>kind</key><string>event</string> 222// CHECK: <key>location</key> 223// CHECK: <dict> 224// CHECK: <key>line</key><integer>10</integer> 225// CHECK: <key>col</key><integer>3</integer> 226// CHECK: <key>file</key><integer>0</integer> 227// CHECK: </dict> 228// CHECK: <key>ranges</key> 229// CHECK: <array> 230// CHECK: <array> 231// CHECK: <dict> 232// CHECK: <key>line</key><integer>10</integer> 233// CHECK: <key>col</key><integer>3</integer> 234// CHECK: <key>file</key><integer>0</integer> 235// CHECK: </dict> 236// CHECK: <dict> 237// CHECK: <key>line</key><integer>10</integer> 238// CHECK: <key>col</key><integer>10</integer> 239// CHECK: <key>file</key><integer>0</integer> 240// CHECK: </dict> 241// CHECK: </array> 242// CHECK: </array> 243// CHECK: <key>depth</key><integer>1</integer> 244// CHECK: <key>extended_message</key> 245// CHECK: <string>Returning from 'zero'</string> 246// CHECK: <key>message</key> 247// CHECK: <string>Returning from 'zero'</string> 248// CHECK: </dict> 249// CHECK: <dict> 250// CHECK: <key>kind</key><string>control</string> 251// CHECK: <key>edges</key> 252// CHECK: <array> 253// CHECK: <dict> 254// CHECK: <key>start</key> 255// CHECK: <array> 256// CHECK: <dict> 257// CHECK: <key>line</key><integer>10</integer> 258// CHECK: <key>col</key><integer>3</integer> 259// CHECK: <key>file</key><integer>0</integer> 260// CHECK: </dict> 261// CHECK: <dict> 262// CHECK: <key>line</key><integer>10</integer> 263// CHECK: <key>col</key><integer>6</integer> 264// CHECK: <key>file</key><integer>0</integer> 265// CHECK: </dict> 266// CHECK: </array> 267// CHECK: <key>end</key> 268// CHECK: <array> 269// CHECK: <dict> 270// CHECK: <key>line</key><integer>13</integer> 271// CHECK: <key>col</key><integer>3</integer> 272// CHECK: <key>file</key><integer>0</integer> 273// CHECK: </dict> 274// CHECK: <dict> 275// CHECK: <key>line</key><integer>13</integer> 276// CHECK: <key>col</key><integer>3</integer> 277// CHECK: <key>file</key><integer>0</integer> 278// CHECK: </dict> 279// CHECK: </array> 280// CHECK: </dict> 281// CHECK: </array> 282// CHECK: </dict> 283// CHECK: <dict> 284// CHECK: <key>kind</key><string>event</string> 285// CHECK: <key>location</key> 286// CHECK: <dict> 287// CHECK: <key>line</key><integer>13</integer> 288// CHECK: <key>col</key><integer>3</integer> 289// CHECK: <key>file</key><integer>0</integer> 290// CHECK: </dict> 291// CHECK: <key>ranges</key> 292// CHECK: <array> 293// CHECK: <array> 294// CHECK: <dict> 295// CHECK: <key>line</key><integer>13</integer> 296// CHECK: <key>col</key><integer>4</integer> 297// CHECK: <key>file</key><integer>0</integer> 298// CHECK: </dict> 299// CHECK: <dict> 300// CHECK: <key>line</key><integer>13</integer> 301// CHECK: <key>col</key><integer>4</integer> 302// CHECK: <key>file</key><integer>0</integer> 303// CHECK: </dict> 304// CHECK: </array> 305// CHECK: </array> 306// CHECK: <key>depth</key><integer>0</integer> 307// CHECK: <key>extended_message</key> 308// CHECK: <string>Dereference of null pointer (loaded from variable 'a')</string> 309// CHECK: <key>message</key> 310// CHECK: <string>Dereference of null pointer (loaded from variable 'a')</string> 311// CHECK: </dict> 312// CHECK: </array> 313// CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</string> 314// CHECK: <key>category</key><string>Logic error</string> 315// CHECK: <key>type</key><string>Dereference of null pointer</string> 316// CHECK: <key>issue_context_kind</key><string>function</string> 317// CHECK: <key>issue_context</key><string>testZero</string> 318// CHECK: <key>issue_hash</key><integer>4</integer> 319// CHECK: <key>location</key> 320// CHECK: <dict> 321// CHECK: <key>line</key><integer>13</integer> 322// CHECK: <key>col</key><integer>3</integer> 323// CHECK: <key>file</key><integer>0</integer> 324// CHECK: </dict> 325// CHECK: </dict> 326// CHECK: <dict> 327// CHECK: <key>path</key> 328// CHECK: <array> 329// CHECK: <dict> 330// CHECK: <key>kind</key><string>event</string> 331// CHECK: <key>location</key> 332// CHECK: <dict> 333// CHECK: <key>line</key><integer>29</integer> 334// CHECK: <key>col</key><integer>3</integer> 335// CHECK: <key>file</key><integer>0</integer> 336// CHECK: </dict> 337// CHECK: <key>ranges</key> 338// CHECK: <array> 339// CHECK: <array> 340// CHECK: <dict> 341// CHECK: <key>line</key><integer>29</integer> 342// CHECK: <key>col</key><integer>3</integer> 343// CHECK: <key>file</key><integer>0</integer> 344// CHECK: </dict> 345// CHECK: <dict> 346// CHECK: <key>line</key><integer>29</integer> 347// CHECK: <key>col</key><integer>10</integer> 348// CHECK: <key>file</key><integer>0</integer> 349// CHECK: </dict> 350// CHECK: </array> 351// CHECK: </array> 352// CHECK: <key>depth</key><integer>0</integer> 353// CHECK: <key>extended_message</key> 354// CHECK: <string>Calling 'check'</string> 355// CHECK: <key>message</key> 356// CHECK: <string>Calling 'check'</string> 357// CHECK: </dict> 358// CHECK: <dict> 359// CHECK: <key>kind</key><string>event</string> 360// CHECK: <key>location</key> 361// CHECK: <dict> 362// CHECK: <key>line</key><integer>18</integer> 363// CHECK: <key>col</key><integer>1</integer> 364// CHECK: <key>file</key><integer>0</integer> 365// CHECK: </dict> 366// CHECK: <key>depth</key><integer>1</integer> 367// CHECK: <key>extended_message</key> 368// CHECK: <string>Entered call from 'testCheck'</string> 369// CHECK: <key>message</key> 370// CHECK: <string>Entered call from 'testCheck'</string> 371// CHECK: </dict> 372// CHECK: <dict> 373// CHECK: <key>kind</key><string>control</string> 374// CHECK: <key>edges</key> 375// CHECK: <array> 376// CHECK: <dict> 377// CHECK: <key>start</key> 378// CHECK: <array> 379// CHECK: <dict> 380// CHECK: <key>line</key><integer>18</integer> 381// CHECK: <key>col</key><integer>1</integer> 382// CHECK: <key>file</key><integer>0</integer> 383// CHECK: </dict> 384// CHECK: <dict> 385// CHECK: <key>line</key><integer>18</integer> 386// CHECK: <key>col</key><integer>4</integer> 387// CHECK: <key>file</key><integer>0</integer> 388// CHECK: </dict> 389// CHECK: </array> 390// CHECK: <key>end</key> 391// CHECK: <array> 392// CHECK: <dict> 393// CHECK: <key>line</key><integer>19</integer> 394// CHECK: <key>col</key><integer>3</integer> 395// CHECK: <key>file</key><integer>0</integer> 396// CHECK: </dict> 397// CHECK: <dict> 398// CHECK: <key>line</key><integer>19</integer> 399// CHECK: <key>col</key><integer>4</integer> 400// CHECK: <key>file</key><integer>0</integer> 401// CHECK: </dict> 402// CHECK: </array> 403// CHECK: </dict> 404// CHECK: </array> 405// CHECK: </dict> 406// CHECK: <dict> 407// CHECK: <key>kind</key><string>control</string> 408// CHECK: <key>edges</key> 409// CHECK: <array> 410// CHECK: <dict> 411// CHECK: <key>start</key> 412// CHECK: <array> 413// CHECK: <dict> 414// CHECK: <key>line</key><integer>19</integer> 415// CHECK: <key>col</key><integer>3</integer> 416// CHECK: <key>file</key><integer>0</integer> 417// CHECK: </dict> 418// CHECK: <dict> 419// CHECK: <key>line</key><integer>19</integer> 420// CHECK: <key>col</key><integer>4</integer> 421// CHECK: <key>file</key><integer>0</integer> 422// CHECK: </dict> 423// CHECK: </array> 424// CHECK: <key>end</key> 425// CHECK: <array> 426// CHECK: <dict> 427// CHECK: <key>line</key><integer>19</integer> 428// CHECK: <key>col</key><integer>7</integer> 429// CHECK: <key>file</key><integer>0</integer> 430// CHECK: </dict> 431// CHECK: <dict> 432// CHECK: <key>line</key><integer>19</integer> 433// CHECK: <key>col</key><integer>7</integer> 434// CHECK: <key>file</key><integer>0</integer> 435// CHECK: </dict> 436// CHECK: </array> 437// CHECK: </dict> 438// CHECK: </array> 439// CHECK: </dict> 440// CHECK: <dict> 441// CHECK: <key>kind</key><string>event</string> 442// CHECK: <key>location</key> 443// CHECK: <dict> 444// CHECK: <key>line</key><integer>19</integer> 445// CHECK: <key>col</key><integer>7</integer> 446// CHECK: <key>file</key><integer>0</integer> 447// CHECK: </dict> 448// CHECK: <key>ranges</key> 449// CHECK: <array> 450// CHECK: <array> 451// CHECK: <dict> 452// CHECK: <key>line</key><integer>19</integer> 453// CHECK: <key>col</key><integer>7</integer> 454// CHECK: <key>file</key><integer>0</integer> 455// CHECK: </dict> 456// CHECK: <dict> 457// CHECK: <key>line</key><integer>19</integer> 458// CHECK: <key>col</key><integer>7</integer> 459// CHECK: <key>file</key><integer>0</integer> 460// CHECK: </dict> 461// CHECK: </array> 462// CHECK: </array> 463// CHECK: <key>depth</key><integer>1</integer> 464// CHECK: <key>extended_message</key> 465// CHECK: <string>Assuming 'p' is null</string> 466// CHECK: <key>message</key> 467// CHECK: <string>Assuming 'p' is null</string> 468// CHECK: </dict> 469// CHECK: <dict> 470// CHECK: <key>kind</key><string>event</string> 471// CHECK: <key>location</key> 472// CHECK: <dict> 473// CHECK: <key>line</key><integer>19</integer> 474// CHECK: <key>col</key><integer>7</integer> 475// CHECK: <key>file</key><integer>0</integer> 476// CHECK: </dict> 477// CHECK: <key>ranges</key> 478// CHECK: <array> 479// CHECK: <array> 480// CHECK: <dict> 481// CHECK: <key>line</key><integer>19</integer> 482// CHECK: <key>col</key><integer>7</integer> 483// CHECK: <key>file</key><integer>0</integer> 484// CHECK: </dict> 485// CHECK: <dict> 486// CHECK: <key>line</key><integer>19</integer> 487// CHECK: <key>col</key><integer>7</integer> 488// CHECK: <key>file</key><integer>0</integer> 489// CHECK: </dict> 490// CHECK: </array> 491// CHECK: </array> 492// CHECK: <key>depth</key><integer>1</integer> 493// CHECK: <key>extended_message</key> 494// CHECK: <string>Assuming pointer value is null</string> 495// CHECK: <key>message</key> 496// CHECK: <string>Assuming pointer value is null</string> 497// CHECK: </dict> 498// CHECK: <dict> 499// CHECK: <key>kind</key><string>control</string> 500// CHECK: <key>edges</key> 501// CHECK: <array> 502// CHECK: <dict> 503// CHECK: <key>start</key> 504// CHECK: <array> 505// CHECK: <dict> 506// CHECK: <key>line</key><integer>19</integer> 507// CHECK: <key>col</key><integer>7</integer> 508// CHECK: <key>file</key><integer>0</integer> 509// CHECK: </dict> 510// CHECK: <dict> 511// CHECK: <key>line</key><integer>19</integer> 512// CHECK: <key>col</key><integer>7</integer> 513// CHECK: <key>file</key><integer>0</integer> 514// CHECK: </dict> 515// CHECK: </array> 516// CHECK: <key>end</key> 517// CHECK: <array> 518// CHECK: <dict> 519// CHECK: <key>line</key><integer>25</integer> 520// CHECK: <key>col</key><integer>3</integer> 521// CHECK: <key>file</key><integer>0</integer> 522// CHECK: </dict> 523// CHECK: <dict> 524// CHECK: <key>line</key><integer>25</integer> 525// CHECK: <key>col</key><integer>8</integer> 526// CHECK: <key>file</key><integer>0</integer> 527// CHECK: </dict> 528// CHECK: </array> 529// CHECK: </dict> 530// CHECK: </array> 531// CHECK: </dict> 532// CHECK: <dict> 533// CHECK: <key>kind</key><string>event</string> 534// CHECK: <key>location</key> 535// CHECK: <dict> 536// CHECK: <key>line</key><integer>29</integer> 537// CHECK: <key>col</key><integer>3</integer> 538// CHECK: <key>file</key><integer>0</integer> 539// CHECK: </dict> 540// CHECK: <key>ranges</key> 541// CHECK: <array> 542// CHECK: <array> 543// CHECK: <dict> 544// CHECK: <key>line</key><integer>29</integer> 545// CHECK: <key>col</key><integer>3</integer> 546// CHECK: <key>file</key><integer>0</integer> 547// CHECK: </dict> 548// CHECK: <dict> 549// CHECK: <key>line</key><integer>29</integer> 550// CHECK: <key>col</key><integer>10</integer> 551// CHECK: <key>file</key><integer>0</integer> 552// CHECK: </dict> 553// CHECK: </array> 554// CHECK: </array> 555// CHECK: <key>depth</key><integer>1</integer> 556// CHECK: <key>extended_message</key> 557// CHECK: <string>Returning from 'check'</string> 558// CHECK: <key>message</key> 559// CHECK: <string>Returning from 'check'</string> 560// CHECK: </dict> 561// CHECK: <dict> 562// CHECK: <key>kind</key><string>control</string> 563// CHECK: <key>edges</key> 564// CHECK: <array> 565// CHECK: <dict> 566// CHECK: <key>start</key> 567// CHECK: <array> 568// CHECK: <dict> 569// CHECK: <key>line</key><integer>29</integer> 570// CHECK: <key>col</key><integer>3</integer> 571// CHECK: <key>file</key><integer>0</integer> 572// CHECK: </dict> 573// CHECK: <dict> 574// CHECK: <key>line</key><integer>29</integer> 575// CHECK: <key>col</key><integer>7</integer> 576// CHECK: <key>file</key><integer>0</integer> 577// CHECK: </dict> 578// CHECK: </array> 579// CHECK: <key>end</key> 580// CHECK: <array> 581// CHECK: <dict> 582// CHECK: <key>line</key><integer>32</integer> 583// CHECK: <key>col</key><integer>3</integer> 584// CHECK: <key>file</key><integer>0</integer> 585// CHECK: </dict> 586// CHECK: <dict> 587// CHECK: <key>line</key><integer>32</integer> 588// CHECK: <key>col</key><integer>3</integer> 589// CHECK: <key>file</key><integer>0</integer> 590// CHECK: </dict> 591// CHECK: </array> 592// CHECK: </dict> 593// CHECK: </array> 594// CHECK: </dict> 595// CHECK: <dict> 596// CHECK: <key>kind</key><string>event</string> 597// CHECK: <key>location</key> 598// CHECK: <dict> 599// CHECK: <key>line</key><integer>32</integer> 600// CHECK: <key>col</key><integer>3</integer> 601// CHECK: <key>file</key><integer>0</integer> 602// CHECK: </dict> 603// CHECK: <key>ranges</key> 604// CHECK: <array> 605// CHECK: <array> 606// CHECK: <dict> 607// CHECK: <key>line</key><integer>32</integer> 608// CHECK: <key>col</key><integer>4</integer> 609// CHECK: <key>file</key><integer>0</integer> 610// CHECK: </dict> 611// CHECK: <dict> 612// CHECK: <key>line</key><integer>32</integer> 613// CHECK: <key>col</key><integer>4</integer> 614// CHECK: <key>file</key><integer>0</integer> 615// CHECK: </dict> 616// CHECK: </array> 617// CHECK: </array> 618// CHECK: <key>depth</key><integer>0</integer> 619// CHECK: <key>extended_message</key> 620// CHECK: <string>Dereference of null pointer (loaded from variable 'a')</string> 621// CHECK: <key>message</key> 622// CHECK: <string>Dereference of null pointer (loaded from variable 'a')</string> 623// CHECK: </dict> 624// CHECK: </array> 625// CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</string> 626// CHECK: <key>category</key><string>Logic error</string> 627// CHECK: <key>type</key><string>Dereference of null pointer</string> 628// CHECK: <key>issue_context_kind</key><string>function</string> 629// CHECK: <key>issue_context</key><string>testCheck</string> 630// CHECK: <key>issue_hash</key><integer>4</integer> 631// CHECK: <key>location</key> 632// CHECK: <dict> 633// CHECK: <key>line</key><integer>32</integer> 634// CHECK: <key>col</key><integer>3</integer> 635// CHECK: <key>file</key><integer>0</integer> 636// CHECK: </dict> 637// CHECK: </dict> 638// CHECK: <dict> 639// CHECK: <key>path</key> 640// CHECK: <array> 641// CHECK: <dict> 642// CHECK: <key>kind</key><string>event</string> 643// CHECK: <key>location</key> 644// CHECK: <dict> 645// CHECK: <key>line</key><integer>40</integer> 646// CHECK: <key>col</key><integer>3</integer> 647// CHECK: <key>file</key><integer>0</integer> 648// CHECK: </dict> 649// CHECK: <key>ranges</key> 650// CHECK: <array> 651// CHECK: <array> 652// CHECK: <dict> 653// CHECK: <key>line</key><integer>40</integer> 654// CHECK: <key>col</key><integer>3</integer> 655// CHECK: <key>file</key><integer>0</integer> 656// CHECK: </dict> 657// CHECK: <dict> 658// CHECK: <key>line</key><integer>40</integer> 659// CHECK: <key>col</key><integer>8</integer> 660// CHECK: <key>file</key><integer>0</integer> 661// CHECK: </dict> 662// CHECK: </array> 663// CHECK: </array> 664// CHECK: <key>depth</key><integer>0</integer> 665// CHECK: <key>extended_message</key> 666// CHECK: <string>Variable 'a' initialized here</string> 667// CHECK: <key>message</key> 668// CHECK: <string>Variable 'a' initialized here</string> 669// CHECK: </dict> 670// CHECK: <dict> 671// CHECK: <key>kind</key><string>control</string> 672// CHECK: <key>edges</key> 673// CHECK: <array> 674// CHECK: <dict> 675// CHECK: <key>start</key> 676// CHECK: <array> 677// CHECK: <dict> 678// CHECK: <key>line</key><integer>40</integer> 679// CHECK: <key>col</key><integer>3</integer> 680// CHECK: <key>file</key><integer>0</integer> 681// CHECK: </dict> 682// CHECK: <dict> 683// CHECK: <key>line</key><integer>40</integer> 684// CHECK: <key>col</key><integer>5</integer> 685// CHECK: <key>file</key><integer>0</integer> 686// CHECK: </dict> 687// CHECK: </array> 688// CHECK: <key>end</key> 689// CHECK: <array> 690// CHECK: <dict> 691// CHECK: <key>line</key><integer>42</integer> 692// CHECK: <key>col</key><integer>3</integer> 693// CHECK: <key>file</key><integer>0</integer> 694// CHECK: </dict> 695// CHECK: <dict> 696// CHECK: <key>line</key><integer>42</integer> 697// CHECK: <key>col</key><integer>7</integer> 698// CHECK: <key>file</key><integer>0</integer> 699// CHECK: </dict> 700// CHECK: </array> 701// CHECK: </dict> 702// CHECK: </array> 703// CHECK: </dict> 704// CHECK: <dict> 705// CHECK: <key>kind</key><string>event</string> 706// CHECK: <key>location</key> 707// CHECK: <dict> 708// CHECK: <key>line</key><integer>42</integer> 709// CHECK: <key>col</key><integer>3</integer> 710// CHECK: <key>file</key><integer>0</integer> 711// CHECK: </dict> 712// CHECK: <key>ranges</key> 713// CHECK: <array> 714// CHECK: <array> 715// CHECK: <dict> 716// CHECK: <key>line</key><integer>42</integer> 717// CHECK: <key>col</key><integer>3</integer> 718// CHECK: <key>file</key><integer>0</integer> 719// CHECK: </dict> 720// CHECK: <dict> 721// CHECK: <key>line</key><integer>42</integer> 722// CHECK: <key>col</key><integer>10</integer> 723// CHECK: <key>file</key><integer>0</integer> 724// CHECK: </dict> 725// CHECK: </array> 726// CHECK: </array> 727// CHECK: <key>depth</key><integer>0</integer> 728// CHECK: <key>extended_message</key> 729// CHECK: <string>Calling 'check'</string> 730// CHECK: <key>message</key> 731// CHECK: <string>Calling 'check'</string> 732// CHECK: </dict> 733// CHECK: <dict> 734// CHECK: <key>kind</key><string>event</string> 735// CHECK: <key>location</key> 736// CHECK: <dict> 737// CHECK: <key>line</key><integer>18</integer> 738// CHECK: <key>col</key><integer>1</integer> 739// CHECK: <key>file</key><integer>0</integer> 740// CHECK: </dict> 741// CHECK: <key>depth</key><integer>1</integer> 742// CHECK: <key>extended_message</key> 743// CHECK: <string>Entered call from 'testInitCheck'</string> 744// CHECK: <key>message</key> 745// CHECK: <string>Entered call from 'testInitCheck'</string> 746// CHECK: </dict> 747// CHECK: <dict> 748// CHECK: <key>kind</key><string>control</string> 749// CHECK: <key>edges</key> 750// CHECK: <array> 751// CHECK: <dict> 752// CHECK: <key>start</key> 753// CHECK: <array> 754// CHECK: <dict> 755// CHECK: <key>line</key><integer>18</integer> 756// CHECK: <key>col</key><integer>1</integer> 757// CHECK: <key>file</key><integer>0</integer> 758// CHECK: </dict> 759// CHECK: <dict> 760// CHECK: <key>line</key><integer>18</integer> 761// CHECK: <key>col</key><integer>4</integer> 762// CHECK: <key>file</key><integer>0</integer> 763// CHECK: </dict> 764// CHECK: </array> 765// CHECK: <key>end</key> 766// CHECK: <array> 767// CHECK: <dict> 768// CHECK: <key>line</key><integer>19</integer> 769// CHECK: <key>col</key><integer>3</integer> 770// CHECK: <key>file</key><integer>0</integer> 771// CHECK: </dict> 772// CHECK: <dict> 773// CHECK: <key>line</key><integer>19</integer> 774// CHECK: <key>col</key><integer>4</integer> 775// CHECK: <key>file</key><integer>0</integer> 776// CHECK: </dict> 777// CHECK: </array> 778// CHECK: </dict> 779// CHECK: </array> 780// CHECK: </dict> 781// CHECK: <dict> 782// CHECK: <key>kind</key><string>control</string> 783// CHECK: <key>edges</key> 784// CHECK: <array> 785// CHECK: <dict> 786// CHECK: <key>start</key> 787// CHECK: <array> 788// CHECK: <dict> 789// CHECK: <key>line</key><integer>19</integer> 790// CHECK: <key>col</key><integer>3</integer> 791// CHECK: <key>file</key><integer>0</integer> 792// CHECK: </dict> 793// CHECK: <dict> 794// CHECK: <key>line</key><integer>19</integer> 795// CHECK: <key>col</key><integer>4</integer> 796// CHECK: <key>file</key><integer>0</integer> 797// CHECK: </dict> 798// CHECK: </array> 799// CHECK: <key>end</key> 800// CHECK: <array> 801// CHECK: <dict> 802// CHECK: <key>line</key><integer>19</integer> 803// CHECK: <key>col</key><integer>7</integer> 804// CHECK: <key>file</key><integer>0</integer> 805// CHECK: </dict> 806// CHECK: <dict> 807// CHECK: <key>line</key><integer>19</integer> 808// CHECK: <key>col</key><integer>7</integer> 809// CHECK: <key>file</key><integer>0</integer> 810// CHECK: </dict> 811// CHECK: </array> 812// CHECK: </dict> 813// CHECK: </array> 814// CHECK: </dict> 815// CHECK: <dict> 816// CHECK: <key>kind</key><string>event</string> 817// CHECK: <key>location</key> 818// CHECK: <dict> 819// CHECK: <key>line</key><integer>19</integer> 820// CHECK: <key>col</key><integer>7</integer> 821// CHECK: <key>file</key><integer>0</integer> 822// CHECK: </dict> 823// CHECK: <key>ranges</key> 824// CHECK: <array> 825// CHECK: <array> 826// CHECK: <dict> 827// CHECK: <key>line</key><integer>19</integer> 828// CHECK: <key>col</key><integer>7</integer> 829// CHECK: <key>file</key><integer>0</integer> 830// CHECK: </dict> 831// CHECK: <dict> 832// CHECK: <key>line</key><integer>19</integer> 833// CHECK: <key>col</key><integer>7</integer> 834// CHECK: <key>file</key><integer>0</integer> 835// CHECK: </dict> 836// CHECK: </array> 837// CHECK: </array> 838// CHECK: <key>depth</key><integer>1</integer> 839// CHECK: <key>extended_message</key> 840// CHECK: <string>Assuming 'p' is null</string> 841// CHECK: <key>message</key> 842// CHECK: <string>Assuming 'p' is null</string> 843// CHECK: </dict> 844// CHECK: <dict> 845// CHECK: <key>kind</key><string>control</string> 846// CHECK: <key>edges</key> 847// CHECK: <array> 848// CHECK: <dict> 849// CHECK: <key>start</key> 850// CHECK: <array> 851// CHECK: <dict> 852// CHECK: <key>line</key><integer>19</integer> 853// CHECK: <key>col</key><integer>7</integer> 854// CHECK: <key>file</key><integer>0</integer> 855// CHECK: </dict> 856// CHECK: <dict> 857// CHECK: <key>line</key><integer>19</integer> 858// CHECK: <key>col</key><integer>7</integer> 859// CHECK: <key>file</key><integer>0</integer> 860// CHECK: </dict> 861// CHECK: </array> 862// CHECK: <key>end</key> 863// CHECK: <array> 864// CHECK: <dict> 865// CHECK: <key>line</key><integer>25</integer> 866// CHECK: <key>col</key><integer>3</integer> 867// CHECK: <key>file</key><integer>0</integer> 868// CHECK: </dict> 869// CHECK: <dict> 870// CHECK: <key>line</key><integer>25</integer> 871// CHECK: <key>col</key><integer>8</integer> 872// CHECK: <key>file</key><integer>0</integer> 873// CHECK: </dict> 874// CHECK: </array> 875// CHECK: </dict> 876// CHECK: </array> 877// CHECK: </dict> 878// CHECK: <dict> 879// CHECK: <key>kind</key><string>event</string> 880// CHECK: <key>location</key> 881// CHECK: <dict> 882// CHECK: <key>line</key><integer>42</integer> 883// CHECK: <key>col</key><integer>3</integer> 884// CHECK: <key>file</key><integer>0</integer> 885// CHECK: </dict> 886// CHECK: <key>ranges</key> 887// CHECK: <array> 888// CHECK: <array> 889// CHECK: <dict> 890// CHECK: <key>line</key><integer>42</integer> 891// CHECK: <key>col</key><integer>3</integer> 892// CHECK: <key>file</key><integer>0</integer> 893// CHECK: </dict> 894// CHECK: <dict> 895// CHECK: <key>line</key><integer>42</integer> 896// CHECK: <key>col</key><integer>10</integer> 897// CHECK: <key>file</key><integer>0</integer> 898// CHECK: </dict> 899// CHECK: </array> 900// CHECK: </array> 901// CHECK: <key>depth</key><integer>1</integer> 902// CHECK: <key>extended_message</key> 903// CHECK: <string>Returning from 'check'</string> 904// CHECK: <key>message</key> 905// CHECK: <string>Returning from 'check'</string> 906// CHECK: </dict> 907// CHECK: <dict> 908// CHECK: <key>kind</key><string>control</string> 909// CHECK: <key>edges</key> 910// CHECK: <array> 911// CHECK: <dict> 912// CHECK: <key>start</key> 913// CHECK: <array> 914// CHECK: <dict> 915// CHECK: <key>line</key><integer>42</integer> 916// CHECK: <key>col</key><integer>3</integer> 917// CHECK: <key>file</key><integer>0</integer> 918// CHECK: </dict> 919// CHECK: <dict> 920// CHECK: <key>line</key><integer>42</integer> 921// CHECK: <key>col</key><integer>7</integer> 922// CHECK: <key>file</key><integer>0</integer> 923// CHECK: </dict> 924// CHECK: </array> 925// CHECK: <key>end</key> 926// CHECK: <array> 927// CHECK: <dict> 928// CHECK: <key>line</key><integer>45</integer> 929// CHECK: <key>col</key><integer>3</integer> 930// CHECK: <key>file</key><integer>0</integer> 931// CHECK: </dict> 932// CHECK: <dict> 933// CHECK: <key>line</key><integer>45</integer> 934// CHECK: <key>col</key><integer>3</integer> 935// CHECK: <key>file</key><integer>0</integer> 936// CHECK: </dict> 937// CHECK: </array> 938// CHECK: </dict> 939// CHECK: </array> 940// CHECK: </dict> 941// CHECK: <dict> 942// CHECK: <key>kind</key><string>event</string> 943// CHECK: <key>location</key> 944// CHECK: <dict> 945// CHECK: <key>line</key><integer>45</integer> 946// CHECK: <key>col</key><integer>3</integer> 947// CHECK: <key>file</key><integer>0</integer> 948// CHECK: </dict> 949// CHECK: <key>ranges</key> 950// CHECK: <array> 951// CHECK: <array> 952// CHECK: <dict> 953// CHECK: <key>line</key><integer>45</integer> 954// CHECK: <key>col</key><integer>4</integer> 955// CHECK: <key>file</key><integer>0</integer> 956// CHECK: </dict> 957// CHECK: <dict> 958// CHECK: <key>line</key><integer>45</integer> 959// CHECK: <key>col</key><integer>4</integer> 960// CHECK: <key>file</key><integer>0</integer> 961// CHECK: </dict> 962// CHECK: </array> 963// CHECK: </array> 964// CHECK: <key>depth</key><integer>0</integer> 965// CHECK: <key>extended_message</key> 966// CHECK: <string>Dereference of null pointer (loaded from variable 'a')</string> 967// CHECK: <key>message</key> 968// CHECK: <string>Dereference of null pointer (loaded from variable 'a')</string> 969// CHECK: </dict> 970// CHECK: </array> 971// CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</string> 972// CHECK: <key>category</key><string>Logic error</string> 973// CHECK: <key>type</key><string>Dereference of null pointer</string> 974// CHECK: <key>issue_context_kind</key><string>function</string> 975// CHECK: <key>issue_context</key><string>testInitCheck</string> 976// CHECK: <key>issue_hash</key><integer>6</integer> 977// CHECK: <key>location</key> 978// CHECK: <dict> 979// CHECK: <key>line</key><integer>45</integer> 980// CHECK: <key>col</key><integer>3</integer> 981// CHECK: <key>file</key><integer>0</integer> 982// CHECK: </dict> 983// CHECK: </dict> 984// CHECK: <dict> 985// CHECK: <key>path</key> 986// CHECK: <array> 987// CHECK: <dict> 988// CHECK: <key>kind</key><string>event</string> 989// CHECK: <key>location</key> 990// CHECK: <dict> 991// CHECK: <key>line</key><integer>50</integer> 992// CHECK: <key>col</key><integer>3</integer> 993// CHECK: <key>file</key><integer>0</integer> 994// CHECK: </dict> 995// CHECK: <key>ranges</key> 996// CHECK: <array> 997// CHECK: <array> 998// CHECK: <dict> 999// CHECK: <key>line</key><integer>50</integer> 1000// CHECK: <key>col</key><integer>3</integer> 1001// CHECK: <key>file</key><integer>0</integer> 1002// CHECK: </dict> 1003// CHECK: <dict> 1004// CHECK: <key>line</key><integer>50</integer> 1005// CHECK: <key>col</key><integer>18</integer> 1006// CHECK: <key>file</key><integer>0</integer> 1007// CHECK: </dict> 1008// CHECK: </array> 1009// CHECK: </array> 1010// CHECK: <key>depth</key><integer>0</integer> 1011// CHECK: <key>extended_message</key> 1012// CHECK: <string>Value assigned to 'a'</string> 1013// CHECK: <key>message</key> 1014// CHECK: <string>Value assigned to 'a'</string> 1015// CHECK: </dict> 1016// CHECK: <dict> 1017// CHECK: <key>kind</key><string>control</string> 1018// CHECK: <key>edges</key> 1019// CHECK: <array> 1020// CHECK: <dict> 1021// CHECK: <key>start</key> 1022// CHECK: <array> 1023// CHECK: <dict> 1024// CHECK: <key>line</key><integer>50</integer> 1025// CHECK: <key>col</key><integer>3</integer> 1026// CHECK: <key>file</key><integer>0</integer> 1027// CHECK: </dict> 1028// CHECK: <dict> 1029// CHECK: <key>line</key><integer>50</integer> 1030// CHECK: <key>col</key><integer>3</integer> 1031// CHECK: <key>file</key><integer>0</integer> 1032// CHECK: </dict> 1033// CHECK: </array> 1034// CHECK: <key>end</key> 1035// CHECK: <array> 1036// CHECK: <dict> 1037// CHECK: <key>line</key><integer>52</integer> 1038// CHECK: <key>col</key><integer>3</integer> 1039// CHECK: <key>file</key><integer>0</integer> 1040// CHECK: </dict> 1041// CHECK: <dict> 1042// CHECK: <key>line</key><integer>52</integer> 1043// CHECK: <key>col</key><integer>7</integer> 1044// CHECK: <key>file</key><integer>0</integer> 1045// CHECK: </dict> 1046// CHECK: </array> 1047// CHECK: </dict> 1048// CHECK: </array> 1049// CHECK: </dict> 1050// CHECK: <dict> 1051// CHECK: <key>kind</key><string>event</string> 1052// CHECK: <key>location</key> 1053// CHECK: <dict> 1054// CHECK: <key>line</key><integer>52</integer> 1055// CHECK: <key>col</key><integer>3</integer> 1056// CHECK: <key>file</key><integer>0</integer> 1057// CHECK: </dict> 1058// CHECK: <key>ranges</key> 1059// CHECK: <array> 1060// CHECK: <array> 1061// CHECK: <dict> 1062// CHECK: <key>line</key><integer>52</integer> 1063// CHECK: <key>col</key><integer>3</integer> 1064// CHECK: <key>file</key><integer>0</integer> 1065// CHECK: </dict> 1066// CHECK: <dict> 1067// CHECK: <key>line</key><integer>52</integer> 1068// CHECK: <key>col</key><integer>10</integer> 1069// CHECK: <key>file</key><integer>0</integer> 1070// CHECK: </dict> 1071// CHECK: </array> 1072// CHECK: </array> 1073// CHECK: <key>depth</key><integer>0</integer> 1074// CHECK: <key>extended_message</key> 1075// CHECK: <string>Calling 'check'</string> 1076// CHECK: <key>message</key> 1077// CHECK: <string>Calling 'check'</string> 1078// CHECK: </dict> 1079// CHECK: <dict> 1080// CHECK: <key>kind</key><string>event</string> 1081// CHECK: <key>location</key> 1082// CHECK: <dict> 1083// CHECK: <key>line</key><integer>18</integer> 1084// CHECK: <key>col</key><integer>1</integer> 1085// CHECK: <key>file</key><integer>0</integer> 1086// CHECK: </dict> 1087// CHECK: <key>depth</key><integer>1</integer> 1088// CHECK: <key>extended_message</key> 1089// CHECK: <string>Entered call from 'testStoreCheck'</string> 1090// CHECK: <key>message</key> 1091// CHECK: <string>Entered call from 'testStoreCheck'</string> 1092// CHECK: </dict> 1093// CHECK: <dict> 1094// CHECK: <key>kind</key><string>control</string> 1095// CHECK: <key>edges</key> 1096// CHECK: <array> 1097// CHECK: <dict> 1098// CHECK: <key>start</key> 1099// CHECK: <array> 1100// CHECK: <dict> 1101// CHECK: <key>line</key><integer>18</integer> 1102// CHECK: <key>col</key><integer>1</integer> 1103// CHECK: <key>file</key><integer>0</integer> 1104// CHECK: </dict> 1105// CHECK: <dict> 1106// CHECK: <key>line</key><integer>18</integer> 1107// CHECK: <key>col</key><integer>4</integer> 1108// CHECK: <key>file</key><integer>0</integer> 1109// CHECK: </dict> 1110// CHECK: </array> 1111// CHECK: <key>end</key> 1112// CHECK: <array> 1113// CHECK: <dict> 1114// CHECK: <key>line</key><integer>19</integer> 1115// CHECK: <key>col</key><integer>3</integer> 1116// CHECK: <key>file</key><integer>0</integer> 1117// CHECK: </dict> 1118// CHECK: <dict> 1119// CHECK: <key>line</key><integer>19</integer> 1120// CHECK: <key>col</key><integer>4</integer> 1121// CHECK: <key>file</key><integer>0</integer> 1122// CHECK: </dict> 1123// CHECK: </array> 1124// CHECK: </dict> 1125// CHECK: </array> 1126// CHECK: </dict> 1127// CHECK: <dict> 1128// CHECK: <key>kind</key><string>control</string> 1129// CHECK: <key>edges</key> 1130// CHECK: <array> 1131// CHECK: <dict> 1132// CHECK: <key>start</key> 1133// CHECK: <array> 1134// CHECK: <dict> 1135// CHECK: <key>line</key><integer>19</integer> 1136// CHECK: <key>col</key><integer>3</integer> 1137// CHECK: <key>file</key><integer>0</integer> 1138// CHECK: </dict> 1139// CHECK: <dict> 1140// CHECK: <key>line</key><integer>19</integer> 1141// CHECK: <key>col</key><integer>4</integer> 1142// CHECK: <key>file</key><integer>0</integer> 1143// CHECK: </dict> 1144// CHECK: </array> 1145// CHECK: <key>end</key> 1146// CHECK: <array> 1147// CHECK: <dict> 1148// CHECK: <key>line</key><integer>19</integer> 1149// CHECK: <key>col</key><integer>7</integer> 1150// CHECK: <key>file</key><integer>0</integer> 1151// CHECK: </dict> 1152// CHECK: <dict> 1153// CHECK: <key>line</key><integer>19</integer> 1154// CHECK: <key>col</key><integer>7</integer> 1155// CHECK: <key>file</key><integer>0</integer> 1156// CHECK: </dict> 1157// CHECK: </array> 1158// CHECK: </dict> 1159// CHECK: </array> 1160// CHECK: </dict> 1161// CHECK: <dict> 1162// CHECK: <key>kind</key><string>event</string> 1163// CHECK: <key>location</key> 1164// CHECK: <dict> 1165// CHECK: <key>line</key><integer>19</integer> 1166// CHECK: <key>col</key><integer>7</integer> 1167// CHECK: <key>file</key><integer>0</integer> 1168// CHECK: </dict> 1169// CHECK: <key>ranges</key> 1170// CHECK: <array> 1171// CHECK: <array> 1172// CHECK: <dict> 1173// CHECK: <key>line</key><integer>19</integer> 1174// CHECK: <key>col</key><integer>7</integer> 1175// CHECK: <key>file</key><integer>0</integer> 1176// CHECK: </dict> 1177// CHECK: <dict> 1178// CHECK: <key>line</key><integer>19</integer> 1179// CHECK: <key>col</key><integer>7</integer> 1180// CHECK: <key>file</key><integer>0</integer> 1181// CHECK: </dict> 1182// CHECK: </array> 1183// CHECK: </array> 1184// CHECK: <key>depth</key><integer>1</integer> 1185// CHECK: <key>extended_message</key> 1186// CHECK: <string>Assuming 'p' is null</string> 1187// CHECK: <key>message</key> 1188// CHECK: <string>Assuming 'p' is null</string> 1189// CHECK: </dict> 1190// CHECK: <dict> 1191// CHECK: <key>kind</key><string>control</string> 1192// CHECK: <key>edges</key> 1193// CHECK: <array> 1194// CHECK: <dict> 1195// CHECK: <key>start</key> 1196// CHECK: <array> 1197// CHECK: <dict> 1198// CHECK: <key>line</key><integer>19</integer> 1199// CHECK: <key>col</key><integer>7</integer> 1200// CHECK: <key>file</key><integer>0</integer> 1201// CHECK: </dict> 1202// CHECK: <dict> 1203// CHECK: <key>line</key><integer>19</integer> 1204// CHECK: <key>col</key><integer>7</integer> 1205// CHECK: <key>file</key><integer>0</integer> 1206// CHECK: </dict> 1207// CHECK: </array> 1208// CHECK: <key>end</key> 1209// CHECK: <array> 1210// CHECK: <dict> 1211// CHECK: <key>line</key><integer>25</integer> 1212// CHECK: <key>col</key><integer>3</integer> 1213// CHECK: <key>file</key><integer>0</integer> 1214// CHECK: </dict> 1215// CHECK: <dict> 1216// CHECK: <key>line</key><integer>25</integer> 1217// CHECK: <key>col</key><integer>8</integer> 1218// CHECK: <key>file</key><integer>0</integer> 1219// CHECK: </dict> 1220// CHECK: </array> 1221// CHECK: </dict> 1222// CHECK: </array> 1223// CHECK: </dict> 1224// CHECK: <dict> 1225// CHECK: <key>kind</key><string>event</string> 1226// CHECK: <key>location</key> 1227// CHECK: <dict> 1228// CHECK: <key>line</key><integer>52</integer> 1229// CHECK: <key>col</key><integer>3</integer> 1230// CHECK: <key>file</key><integer>0</integer> 1231// CHECK: </dict> 1232// CHECK: <key>ranges</key> 1233// CHECK: <array> 1234// CHECK: <array> 1235// CHECK: <dict> 1236// CHECK: <key>line</key><integer>52</integer> 1237// CHECK: <key>col</key><integer>3</integer> 1238// CHECK: <key>file</key><integer>0</integer> 1239// CHECK: </dict> 1240// CHECK: <dict> 1241// CHECK: <key>line</key><integer>52</integer> 1242// CHECK: <key>col</key><integer>10</integer> 1243// CHECK: <key>file</key><integer>0</integer> 1244// CHECK: </dict> 1245// CHECK: </array> 1246// CHECK: </array> 1247// CHECK: <key>depth</key><integer>1</integer> 1248// CHECK: <key>extended_message</key> 1249// CHECK: <string>Returning from 'check'</string> 1250// CHECK: <key>message</key> 1251// CHECK: <string>Returning from 'check'</string> 1252// CHECK: </dict> 1253// CHECK: <dict> 1254// CHECK: <key>kind</key><string>control</string> 1255// CHECK: <key>edges</key> 1256// CHECK: <array> 1257// CHECK: <dict> 1258// CHECK: <key>start</key> 1259// CHECK: <array> 1260// CHECK: <dict> 1261// CHECK: <key>line</key><integer>52</integer> 1262// CHECK: <key>col</key><integer>3</integer> 1263// CHECK: <key>file</key><integer>0</integer> 1264// CHECK: </dict> 1265// CHECK: <dict> 1266// CHECK: <key>line</key><integer>52</integer> 1267// CHECK: <key>col</key><integer>7</integer> 1268// CHECK: <key>file</key><integer>0</integer> 1269// CHECK: </dict> 1270// CHECK: </array> 1271// CHECK: <key>end</key> 1272// CHECK: <array> 1273// CHECK: <dict> 1274// CHECK: <key>line</key><integer>55</integer> 1275// CHECK: <key>col</key><integer>3</integer> 1276// CHECK: <key>file</key><integer>0</integer> 1277// CHECK: </dict> 1278// CHECK: <dict> 1279// CHECK: <key>line</key><integer>55</integer> 1280// CHECK: <key>col</key><integer>3</integer> 1281// CHECK: <key>file</key><integer>0</integer> 1282// CHECK: </dict> 1283// CHECK: </array> 1284// CHECK: </dict> 1285// CHECK: </array> 1286// CHECK: </dict> 1287// CHECK: <dict> 1288// CHECK: <key>kind</key><string>event</string> 1289// CHECK: <key>location</key> 1290// CHECK: <dict> 1291// CHECK: <key>line</key><integer>55</integer> 1292// CHECK: <key>col</key><integer>3</integer> 1293// CHECK: <key>file</key><integer>0</integer> 1294// CHECK: </dict> 1295// CHECK: <key>ranges</key> 1296// CHECK: <array> 1297// CHECK: <array> 1298// CHECK: <dict> 1299// CHECK: <key>line</key><integer>55</integer> 1300// CHECK: <key>col</key><integer>4</integer> 1301// CHECK: <key>file</key><integer>0</integer> 1302// CHECK: </dict> 1303// CHECK: <dict> 1304// CHECK: <key>line</key><integer>55</integer> 1305// CHECK: <key>col</key><integer>4</integer> 1306// CHECK: <key>file</key><integer>0</integer> 1307// CHECK: </dict> 1308// CHECK: </array> 1309// CHECK: </array> 1310// CHECK: <key>depth</key><integer>0</integer> 1311// CHECK: <key>extended_message</key> 1312// CHECK: <string>Dereference of null pointer (loaded from variable 'a')</string> 1313// CHECK: <key>message</key> 1314// CHECK: <string>Dereference of null pointer (loaded from variable 'a')</string> 1315// CHECK: </dict> 1316// CHECK: </array> 1317// CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</string> 1318// CHECK: <key>category</key><string>Logic error</string> 1319// CHECK: <key>type</key><string>Dereference of null pointer</string> 1320// CHECK: <key>issue_context_kind</key><string>function</string> 1321// CHECK: <key>issue_context</key><string>testStoreCheck</string> 1322// CHECK: <key>issue_hash</key><integer>6</integer> 1323// CHECK: <key>location</key> 1324// CHECK: <dict> 1325// CHECK: <key>line</key><integer>55</integer> 1326// CHECK: <key>col</key><integer>3</integer> 1327// CHECK: <key>file</key><integer>0</integer> 1328// CHECK: </dict> 1329// CHECK: </dict> 1330// CHECK: <dict> 1331// CHECK: <key>path</key> 1332// CHECK: <array> 1333// CHECK: <dict> 1334// CHECK: <key>kind</key><string>control</string> 1335// CHECK: <key>edges</key> 1336// CHECK: <array> 1337// CHECK: <dict> 1338// CHECK: <key>start</key> 1339// CHECK: <array> 1340// CHECK: <dict> 1341// CHECK: <key>line</key><integer>69</integer> 1342// CHECK: <key>col</key><integer>3</integer> 1343// CHECK: <key>file</key><integer>0</integer> 1344// CHECK: </dict> 1345// CHECK: <dict> 1346// CHECK: <key>line</key><integer>69</integer> 1347// CHECK: <key>col</key><integer>3</integer> 1348// CHECK: <key>file</key><integer>0</integer> 1349// CHECK: </dict> 1350// CHECK: </array> 1351// CHECK: <key>end</key> 1352// CHECK: <array> 1353// CHECK: <dict> 1354// CHECK: <key>line</key><integer>69</integer> 1355// CHECK: <key>col</key><integer>4</integer> 1356// CHECK: <key>file</key><integer>0</integer> 1357// CHECK: </dict> 1358// CHECK: <dict> 1359// CHECK: <key>line</key><integer>69</integer> 1360// CHECK: <key>col</key><integer>10</integer> 1361// CHECK: <key>file</key><integer>0</integer> 1362// CHECK: </dict> 1363// CHECK: </array> 1364// CHECK: </dict> 1365// CHECK: </array> 1366// CHECK: </dict> 1367// CHECK: <dict> 1368// CHECK: <key>kind</key><string>event</string> 1369// CHECK: <key>location</key> 1370// CHECK: <dict> 1371// CHECK: <key>line</key><integer>69</integer> 1372// CHECK: <key>col</key><integer>4</integer> 1373// CHECK: <key>file</key><integer>0</integer> 1374// CHECK: </dict> 1375// CHECK: <key>ranges</key> 1376// CHECK: <array> 1377// CHECK: <array> 1378// CHECK: <dict> 1379// CHECK: <key>line</key><integer>69</integer> 1380// CHECK: <key>col</key><integer>4</integer> 1381// CHECK: <key>file</key><integer>0</integer> 1382// CHECK: </dict> 1383// CHECK: <dict> 1384// CHECK: <key>line</key><integer>69</integer> 1385// CHECK: <key>col</key><integer>12</integer> 1386// CHECK: <key>file</key><integer>0</integer> 1387// CHECK: </dict> 1388// CHECK: </array> 1389// CHECK: </array> 1390// CHECK: <key>depth</key><integer>0</integer> 1391// CHECK: <key>extended_message</key> 1392// CHECK: <string>Calling 'getZero'</string> 1393// CHECK: <key>message</key> 1394// CHECK: <string>Calling 'getZero'</string> 1395// CHECK: </dict> 1396// CHECK: <dict> 1397// CHECK: <key>kind</key><string>event</string> 1398// CHECK: <key>location</key> 1399// CHECK: <dict> 1400// CHECK: <key>line</key><integer>60</integer> 1401// CHECK: <key>col</key><integer>1</integer> 1402// CHECK: <key>file</key><integer>0</integer> 1403// CHECK: </dict> 1404// CHECK: <key>depth</key><integer>1</integer> 1405// CHECK: <key>extended_message</key> 1406// CHECK: <string>Entered call from 'testReturnZero'</string> 1407// CHECK: <key>message</key> 1408// CHECK: <string>Entered call from 'testReturnZero'</string> 1409// CHECK: </dict> 1410// CHECK: <dict> 1411// CHECK: <key>kind</key><string>control</string> 1412// CHECK: <key>edges</key> 1413// CHECK: <array> 1414// CHECK: <dict> 1415// CHECK: <key>start</key> 1416// CHECK: <array> 1417// CHECK: <dict> 1418// CHECK: <key>line</key><integer>60</integer> 1419// CHECK: <key>col</key><integer>1</integer> 1420// CHECK: <key>file</key><integer>0</integer> 1421// CHECK: </dict> 1422// CHECK: <dict> 1423// CHECK: <key>line</key><integer>60</integer> 1424// CHECK: <key>col</key><integer>3</integer> 1425// CHECK: <key>file</key><integer>0</integer> 1426// CHECK: </dict> 1427// CHECK: </array> 1428// CHECK: <key>end</key> 1429// CHECK: <array> 1430// CHECK: <dict> 1431// CHECK: <key>line</key><integer>61</integer> 1432// CHECK: <key>col</key><integer>3</integer> 1433// CHECK: <key>file</key><integer>0</integer> 1434// CHECK: </dict> 1435// CHECK: <dict> 1436// CHECK: <key>line</key><integer>61</integer> 1437// CHECK: <key>col</key><integer>5</integer> 1438// CHECK: <key>file</key><integer>0</integer> 1439// CHECK: </dict> 1440// CHECK: </array> 1441// CHECK: </dict> 1442// CHECK: </array> 1443// CHECK: </dict> 1444// CHECK: <dict> 1445// CHECK: <key>kind</key><string>event</string> 1446// CHECK: <key>location</key> 1447// CHECK: <dict> 1448// CHECK: <key>line</key><integer>61</integer> 1449// CHECK: <key>col</key><integer>3</integer> 1450// CHECK: <key>file</key><integer>0</integer> 1451// CHECK: </dict> 1452// CHECK: <key>ranges</key> 1453// CHECK: <array> 1454// CHECK: <array> 1455// CHECK: <dict> 1456// CHECK: <key>line</key><integer>61</integer> 1457// CHECK: <key>col</key><integer>3</integer> 1458// CHECK: <key>file</key><integer>0</integer> 1459// CHECK: </dict> 1460// CHECK: <dict> 1461// CHECK: <key>line</key><integer>61</integer> 1462// CHECK: <key>col</key><integer>8</integer> 1463// CHECK: <key>file</key><integer>0</integer> 1464// CHECK: </dict> 1465// CHECK: </array> 1466// CHECK: </array> 1467// CHECK: <key>depth</key><integer>1</integer> 1468// CHECK: <key>extended_message</key> 1469// CHECK: <string>Variable 'p' initialized to a null pointer value</string> 1470// CHECK: <key>message</key> 1471// CHECK: <string>Variable 'p' initialized to a null pointer value</string> 1472// CHECK: </dict> 1473// CHECK: <dict> 1474// CHECK: <key>kind</key><string>control</string> 1475// CHECK: <key>edges</key> 1476// CHECK: <array> 1477// CHECK: <dict> 1478// CHECK: <key>start</key> 1479// CHECK: <array> 1480// CHECK: <dict> 1481// CHECK: <key>line</key><integer>61</integer> 1482// CHECK: <key>col</key><integer>3</integer> 1483// CHECK: <key>file</key><integer>0</integer> 1484// CHECK: </dict> 1485// CHECK: <dict> 1486// CHECK: <key>line</key><integer>61</integer> 1487// CHECK: <key>col</key><integer>5</integer> 1488// CHECK: <key>file</key><integer>0</integer> 1489// CHECK: </dict> 1490// CHECK: </array> 1491// CHECK: <key>end</key> 1492// CHECK: <array> 1493// CHECK: <dict> 1494// CHECK: <key>line</key><integer>64</integer> 1495// CHECK: <key>col</key><integer>3</integer> 1496// CHECK: <key>file</key><integer>0</integer> 1497// CHECK: </dict> 1498// CHECK: <dict> 1499// CHECK: <key>line</key><integer>64</integer> 1500// CHECK: <key>col</key><integer>8</integer> 1501// CHECK: <key>file</key><integer>0</integer> 1502// CHECK: </dict> 1503// CHECK: </array> 1504// CHECK: </dict> 1505// CHECK: </array> 1506// CHECK: </dict> 1507// CHECK: <dict> 1508// CHECK: <key>kind</key><string>event</string> 1509// CHECK: <key>location</key> 1510// CHECK: <dict> 1511// CHECK: <key>line</key><integer>64</integer> 1512// CHECK: <key>col</key><integer>3</integer> 1513// CHECK: <key>file</key><integer>0</integer> 1514// CHECK: </dict> 1515// CHECK: <key>ranges</key> 1516// CHECK: <array> 1517// CHECK: <array> 1518// CHECK: <dict> 1519// CHECK: <key>line</key><integer>64</integer> 1520// CHECK: <key>col</key><integer>3</integer> 1521// CHECK: <key>file</key><integer>0</integer> 1522// CHECK: </dict> 1523// CHECK: <dict> 1524// CHECK: <key>line</key><integer>64</integer> 1525// CHECK: <key>col</key><integer>10</integer> 1526// CHECK: <key>file</key><integer>0</integer> 1527// CHECK: </dict> 1528// CHECK: </array> 1529// CHECK: </array> 1530// CHECK: <key>depth</key><integer>1</integer> 1531// CHECK: <key>extended_message</key> 1532// CHECK: <string>Returning null pointer (loaded from 'p')</string> 1533// CHECK: <key>message</key> 1534// CHECK: <string>Returning null pointer (loaded from 'p')</string> 1535// CHECK: </dict> 1536// CHECK: <dict> 1537// CHECK: <key>kind</key><string>event</string> 1538// CHECK: <key>location</key> 1539// CHECK: <dict> 1540// CHECK: <key>line</key><integer>69</integer> 1541// CHECK: <key>col</key><integer>4</integer> 1542// CHECK: <key>file</key><integer>0</integer> 1543// CHECK: </dict> 1544// CHECK: <key>ranges</key> 1545// CHECK: <array> 1546// CHECK: <array> 1547// CHECK: <dict> 1548// CHECK: <key>line</key><integer>69</integer> 1549// CHECK: <key>col</key><integer>4</integer> 1550// CHECK: <key>file</key><integer>0</integer> 1551// CHECK: </dict> 1552// CHECK: <dict> 1553// CHECK: <key>line</key><integer>69</integer> 1554// CHECK: <key>col</key><integer>12</integer> 1555// CHECK: <key>file</key><integer>0</integer> 1556// CHECK: </dict> 1557// CHECK: </array> 1558// CHECK: </array> 1559// CHECK: <key>depth</key><integer>1</integer> 1560// CHECK: <key>extended_message</key> 1561// CHECK: <string>Returning from 'getZero'</string> 1562// CHECK: <key>message</key> 1563// CHECK: <string>Returning from 'getZero'</string> 1564// CHECK: </dict> 1565// CHECK: <dict> 1566// CHECK: <key>kind</key><string>control</string> 1567// CHECK: <key>edges</key> 1568// CHECK: <array> 1569// CHECK: <dict> 1570// CHECK: <key>start</key> 1571// CHECK: <array> 1572// CHECK: <dict> 1573// CHECK: <key>line</key><integer>69</integer> 1574// CHECK: <key>col</key><integer>3</integer> 1575// CHECK: <key>file</key><integer>0</integer> 1576// CHECK: </dict> 1577// CHECK: <dict> 1578// CHECK: <key>line</key><integer>69</integer> 1579// CHECK: <key>col</key><integer>3</integer> 1580// CHECK: <key>file</key><integer>0</integer> 1581// CHECK: </dict> 1582// CHECK: </array> 1583// CHECK: <key>end</key> 1584// CHECK: <array> 1585// CHECK: <dict> 1586// CHECK: <key>line</key><integer>69</integer> 1587// CHECK: <key>col</key><integer>4</integer> 1588// CHECK: <key>file</key><integer>0</integer> 1589// CHECK: </dict> 1590// CHECK: <dict> 1591// CHECK: <key>line</key><integer>69</integer> 1592// CHECK: <key>col</key><integer>10</integer> 1593// CHECK: <key>file</key><integer>0</integer> 1594// CHECK: </dict> 1595// CHECK: </array> 1596// CHECK: </dict> 1597// CHECK: </array> 1598// CHECK: </dict> 1599// CHECK: <dict> 1600// CHECK: <key>kind</key><string>control</string> 1601// CHECK: <key>edges</key> 1602// CHECK: <array> 1603// CHECK: <dict> 1604// CHECK: <key>start</key> 1605// CHECK: <array> 1606// CHECK: <dict> 1607// CHECK: <key>line</key><integer>69</integer> 1608// CHECK: <key>col</key><integer>4</integer> 1609// CHECK: <key>file</key><integer>0</integer> 1610// CHECK: </dict> 1611// CHECK: <dict> 1612// CHECK: <key>line</key><integer>69</integer> 1613// CHECK: <key>col</key><integer>10</integer> 1614// CHECK: <key>file</key><integer>0</integer> 1615// CHECK: </dict> 1616// CHECK: </array> 1617// CHECK: <key>end</key> 1618// CHECK: <array> 1619// CHECK: <dict> 1620// CHECK: <key>line</key><integer>69</integer> 1621// CHECK: <key>col</key><integer>3</integer> 1622// CHECK: <key>file</key><integer>0</integer> 1623// CHECK: </dict> 1624// CHECK: <dict> 1625// CHECK: <key>line</key><integer>69</integer> 1626// CHECK: <key>col</key><integer>3</integer> 1627// CHECK: <key>file</key><integer>0</integer> 1628// CHECK: </dict> 1629// CHECK: </array> 1630// CHECK: </dict> 1631// CHECK: </array> 1632// CHECK: </dict> 1633// CHECK: <dict> 1634// CHECK: <key>kind</key><string>event</string> 1635// CHECK: <key>location</key> 1636// CHECK: <dict> 1637// CHECK: <key>line</key><integer>69</integer> 1638// CHECK: <key>col</key><integer>3</integer> 1639// CHECK: <key>file</key><integer>0</integer> 1640// CHECK: </dict> 1641// CHECK: <key>ranges</key> 1642// CHECK: <array> 1643// CHECK: <array> 1644// CHECK: <dict> 1645// CHECK: <key>line</key><integer>69</integer> 1646// CHECK: <key>col</key><integer>3</integer> 1647// CHECK: <key>file</key><integer>0</integer> 1648// CHECK: </dict> 1649// CHECK: <dict> 1650// CHECK: <key>line</key><integer>69</integer> 1651// CHECK: <key>col</key><integer>16</integer> 1652// CHECK: <key>file</key><integer>0</integer> 1653// CHECK: </dict> 1654// CHECK: </array> 1655// CHECK: </array> 1656// CHECK: <key>depth</key><integer>0</integer> 1657// CHECK: <key>extended_message</key> 1658// CHECK: <string>Dereference of null pointer</string> 1659// CHECK: <key>message</key> 1660// CHECK: <string>Dereference of null pointer</string> 1661// CHECK: </dict> 1662// CHECK: </array> 1663// CHECK: <key>description</key><string>Dereference of null pointer</string> 1664// CHECK: <key>category</key><string>Logic error</string> 1665// CHECK: <key>type</key><string>Dereference of null pointer</string> 1666// CHECK: <key>issue_context_kind</key><string>function</string> 1667// CHECK: <key>issue_context</key><string>testReturnZero</string> 1668// CHECK: <key>issue_hash</key><integer>1</integer> 1669// CHECK: <key>location</key> 1670// CHECK: <dict> 1671// CHECK: <key>line</key><integer>69</integer> 1672// CHECK: <key>col</key><integer>3</integer> 1673// CHECK: <key>file</key><integer>0</integer> 1674// CHECK: </dict> 1675// CHECK: </dict> 1676// CHECK: <dict> 1677// CHECK: <key>path</key> 1678// CHECK: <array> 1679// CHECK: <dict> 1680// CHECK: <key>kind</key><string>control</string> 1681// CHECK: <key>edges</key> 1682// CHECK: <array> 1683// CHECK: <dict> 1684// CHECK: <key>start</key> 1685// CHECK: <array> 1686// CHECK: <dict> 1687// CHECK: <key>line</key><integer>76</integer> 1688// CHECK: <key>col</key><integer>3</integer> 1689// CHECK: <key>file</key><integer>0</integer> 1690// CHECK: </dict> 1691// CHECK: <dict> 1692// CHECK: <key>line</key><integer>76</integer> 1693// CHECK: <key>col</key><integer>8</integer> 1694// CHECK: <key>file</key><integer>0</integer> 1695// CHECK: </dict> 1696// CHECK: </array> 1697// CHECK: <key>end</key> 1698// CHECK: <array> 1699// CHECK: <dict> 1700// CHECK: <key>line</key><integer>76</integer> 1701// CHECK: <key>col</key><integer>11</integer> 1702// CHECK: <key>file</key><integer>0</integer> 1703// CHECK: </dict> 1704// CHECK: <dict> 1705// CHECK: <key>line</key><integer>76</integer> 1706// CHECK: <key>col</key><integer>17</integer> 1707// CHECK: <key>file</key><integer>0</integer> 1708// CHECK: </dict> 1709// CHECK: </array> 1710// CHECK: </dict> 1711// CHECK: </array> 1712// CHECK: </dict> 1713// CHECK: <dict> 1714// CHECK: <key>kind</key><string>event</string> 1715// CHECK: <key>location</key> 1716// CHECK: <dict> 1717// CHECK: <key>line</key><integer>76</integer> 1718// CHECK: <key>col</key><integer>11</integer> 1719// CHECK: <key>file</key><integer>0</integer> 1720// CHECK: </dict> 1721// CHECK: <key>ranges</key> 1722// CHECK: <array> 1723// CHECK: <array> 1724// CHECK: <dict> 1725// CHECK: <key>line</key><integer>76</integer> 1726// CHECK: <key>col</key><integer>11</integer> 1727// CHECK: <key>file</key><integer>0</integer> 1728// CHECK: </dict> 1729// CHECK: <dict> 1730// CHECK: <key>line</key><integer>76</integer> 1731// CHECK: <key>col</key><integer>19</integer> 1732// CHECK: <key>file</key><integer>0</integer> 1733// CHECK: </dict> 1734// CHECK: </array> 1735// CHECK: </array> 1736// CHECK: <key>depth</key><integer>0</integer> 1737// CHECK: <key>extended_message</key> 1738// CHECK: <string>Calling 'getZero'</string> 1739// CHECK: <key>message</key> 1740// CHECK: <string>Calling 'getZero'</string> 1741// CHECK: </dict> 1742// CHECK: <dict> 1743// CHECK: <key>kind</key><string>event</string> 1744// CHECK: <key>location</key> 1745// CHECK: <dict> 1746// CHECK: <key>line</key><integer>60</integer> 1747// CHECK: <key>col</key><integer>1</integer> 1748// CHECK: <key>file</key><integer>0</integer> 1749// CHECK: </dict> 1750// CHECK: <key>depth</key><integer>1</integer> 1751// CHECK: <key>extended_message</key> 1752// CHECK: <string>Entered call from 'testReturnZero2'</string> 1753// CHECK: <key>message</key> 1754// CHECK: <string>Entered call from 'testReturnZero2'</string> 1755// CHECK: </dict> 1756// CHECK: <dict> 1757// CHECK: <key>kind</key><string>control</string> 1758// CHECK: <key>edges</key> 1759// CHECK: <array> 1760// CHECK: <dict> 1761// CHECK: <key>start</key> 1762// CHECK: <array> 1763// CHECK: <dict> 1764// CHECK: <key>line</key><integer>60</integer> 1765// CHECK: <key>col</key><integer>1</integer> 1766// CHECK: <key>file</key><integer>0</integer> 1767// CHECK: </dict> 1768// CHECK: <dict> 1769// CHECK: <key>line</key><integer>60</integer> 1770// CHECK: <key>col</key><integer>3</integer> 1771// CHECK: <key>file</key><integer>0</integer> 1772// CHECK: </dict> 1773// CHECK: </array> 1774// CHECK: <key>end</key> 1775// CHECK: <array> 1776// CHECK: <dict> 1777// CHECK: <key>line</key><integer>61</integer> 1778// CHECK: <key>col</key><integer>3</integer> 1779// CHECK: <key>file</key><integer>0</integer> 1780// CHECK: </dict> 1781// CHECK: <dict> 1782// CHECK: <key>line</key><integer>61</integer> 1783// CHECK: <key>col</key><integer>5</integer> 1784// CHECK: <key>file</key><integer>0</integer> 1785// CHECK: </dict> 1786// CHECK: </array> 1787// CHECK: </dict> 1788// CHECK: </array> 1789// CHECK: </dict> 1790// CHECK: <dict> 1791// CHECK: <key>kind</key><string>event</string> 1792// CHECK: <key>location</key> 1793// CHECK: <dict> 1794// CHECK: <key>line</key><integer>61</integer> 1795// CHECK: <key>col</key><integer>3</integer> 1796// CHECK: <key>file</key><integer>0</integer> 1797// CHECK: </dict> 1798// CHECK: <key>ranges</key> 1799// CHECK: <array> 1800// CHECK: <array> 1801// CHECK: <dict> 1802// CHECK: <key>line</key><integer>61</integer> 1803// CHECK: <key>col</key><integer>3</integer> 1804// CHECK: <key>file</key><integer>0</integer> 1805// CHECK: </dict> 1806// CHECK: <dict> 1807// CHECK: <key>line</key><integer>61</integer> 1808// CHECK: <key>col</key><integer>8</integer> 1809// CHECK: <key>file</key><integer>0</integer> 1810// CHECK: </dict> 1811// CHECK: </array> 1812// CHECK: </array> 1813// CHECK: <key>depth</key><integer>1</integer> 1814// CHECK: <key>extended_message</key> 1815// CHECK: <string>Variable 'p' initialized to a null pointer value</string> 1816// CHECK: <key>message</key> 1817// CHECK: <string>Variable 'p' initialized to a null pointer value</string> 1818// CHECK: </dict> 1819// CHECK: <dict> 1820// CHECK: <key>kind</key><string>control</string> 1821// CHECK: <key>edges</key> 1822// CHECK: <array> 1823// CHECK: <dict> 1824// CHECK: <key>start</key> 1825// CHECK: <array> 1826// CHECK: <dict> 1827// CHECK: <key>line</key><integer>61</integer> 1828// CHECK: <key>col</key><integer>3</integer> 1829// CHECK: <key>file</key><integer>0</integer> 1830// CHECK: </dict> 1831// CHECK: <dict> 1832// CHECK: <key>line</key><integer>61</integer> 1833// CHECK: <key>col</key><integer>5</integer> 1834// CHECK: <key>file</key><integer>0</integer> 1835// CHECK: </dict> 1836// CHECK: </array> 1837// CHECK: <key>end</key> 1838// CHECK: <array> 1839// CHECK: <dict> 1840// CHECK: <key>line</key><integer>64</integer> 1841// CHECK: <key>col</key><integer>3</integer> 1842// CHECK: <key>file</key><integer>0</integer> 1843// CHECK: </dict> 1844// CHECK: <dict> 1845// CHECK: <key>line</key><integer>64</integer> 1846// CHECK: <key>col</key><integer>8</integer> 1847// CHECK: <key>file</key><integer>0</integer> 1848// CHECK: </dict> 1849// CHECK: </array> 1850// CHECK: </dict> 1851// CHECK: </array> 1852// CHECK: </dict> 1853// CHECK: <dict> 1854// CHECK: <key>kind</key><string>event</string> 1855// CHECK: <key>location</key> 1856// CHECK: <dict> 1857// CHECK: <key>line</key><integer>64</integer> 1858// CHECK: <key>col</key><integer>3</integer> 1859// CHECK: <key>file</key><integer>0</integer> 1860// CHECK: </dict> 1861// CHECK: <key>ranges</key> 1862// CHECK: <array> 1863// CHECK: <array> 1864// CHECK: <dict> 1865// CHECK: <key>line</key><integer>64</integer> 1866// CHECK: <key>col</key><integer>3</integer> 1867// CHECK: <key>file</key><integer>0</integer> 1868// CHECK: </dict> 1869// CHECK: <dict> 1870// CHECK: <key>line</key><integer>64</integer> 1871// CHECK: <key>col</key><integer>10</integer> 1872// CHECK: <key>file</key><integer>0</integer> 1873// CHECK: </dict> 1874// CHECK: </array> 1875// CHECK: </array> 1876// CHECK: <key>depth</key><integer>1</integer> 1877// CHECK: <key>extended_message</key> 1878// CHECK: <string>Returning null pointer (loaded from 'p')</string> 1879// CHECK: <key>message</key> 1880// CHECK: <string>Returning null pointer (loaded from 'p')</string> 1881// CHECK: </dict> 1882// CHECK: <dict> 1883// CHECK: <key>kind</key><string>event</string> 1884// CHECK: <key>location</key> 1885// CHECK: <dict> 1886// CHECK: <key>line</key><integer>76</integer> 1887// CHECK: <key>col</key><integer>11</integer> 1888// CHECK: <key>file</key><integer>0</integer> 1889// CHECK: </dict> 1890// CHECK: <key>ranges</key> 1891// CHECK: <array> 1892// CHECK: <array> 1893// CHECK: <dict> 1894// CHECK: <key>line</key><integer>76</integer> 1895// CHECK: <key>col</key><integer>11</integer> 1896// CHECK: <key>file</key><integer>0</integer> 1897// CHECK: </dict> 1898// CHECK: <dict> 1899// CHECK: <key>line</key><integer>76</integer> 1900// CHECK: <key>col</key><integer>19</integer> 1901// CHECK: <key>file</key><integer>0</integer> 1902// CHECK: </dict> 1903// CHECK: </array> 1904// CHECK: </array> 1905// CHECK: <key>depth</key><integer>1</integer> 1906// CHECK: <key>extended_message</key> 1907// CHECK: <string>Returning from 'getZero'</string> 1908// CHECK: <key>message</key> 1909// CHECK: <string>Returning from 'getZero'</string> 1910// CHECK: </dict> 1911// CHECK: <dict> 1912// CHECK: <key>kind</key><string>control</string> 1913// CHECK: <key>edges</key> 1914// CHECK: <array> 1915// CHECK: <dict> 1916// CHECK: <key>start</key> 1917// CHECK: <array> 1918// CHECK: <dict> 1919// CHECK: <key>line</key><integer>76</integer> 1920// CHECK: <key>col</key><integer>3</integer> 1921// CHECK: <key>file</key><integer>0</integer> 1922// CHECK: </dict> 1923// CHECK: <dict> 1924// CHECK: <key>line</key><integer>76</integer> 1925// CHECK: <key>col</key><integer>8</integer> 1926// CHECK: <key>file</key><integer>0</integer> 1927// CHECK: </dict> 1928// CHECK: </array> 1929// CHECK: <key>end</key> 1930// CHECK: <array> 1931// CHECK: <dict> 1932// CHECK: <key>line</key><integer>76</integer> 1933// CHECK: <key>col</key><integer>11</integer> 1934// CHECK: <key>file</key><integer>0</integer> 1935// CHECK: </dict> 1936// CHECK: <dict> 1937// CHECK: <key>line</key><integer>76</integer> 1938// CHECK: <key>col</key><integer>17</integer> 1939// CHECK: <key>file</key><integer>0</integer> 1940// CHECK: </dict> 1941// CHECK: </array> 1942// CHECK: </dict> 1943// CHECK: </array> 1944// CHECK: </dict> 1945// CHECK: <dict> 1946// CHECK: <key>kind</key><string>control</string> 1947// CHECK: <key>edges</key> 1948// CHECK: <array> 1949// CHECK: <dict> 1950// CHECK: <key>start</key> 1951// CHECK: <array> 1952// CHECK: <dict> 1953// CHECK: <key>line</key><integer>76</integer> 1954// CHECK: <key>col</key><integer>11</integer> 1955// CHECK: <key>file</key><integer>0</integer> 1956// CHECK: </dict> 1957// CHECK: <dict> 1958// CHECK: <key>line</key><integer>76</integer> 1959// CHECK: <key>col</key><integer>17</integer> 1960// CHECK: <key>file</key><integer>0</integer> 1961// CHECK: </dict> 1962// CHECK: </array> 1963// CHECK: <key>end</key> 1964// CHECK: <array> 1965// CHECK: <dict> 1966// CHECK: <key>line</key><integer>76</integer> 1967// CHECK: <key>col</key><integer>10</integer> 1968// CHECK: <key>file</key><integer>0</integer> 1969// CHECK: </dict> 1970// CHECK: <dict> 1971// CHECK: <key>line</key><integer>76</integer> 1972// CHECK: <key>col</key><integer>10</integer> 1973// CHECK: <key>file</key><integer>0</integer> 1974// CHECK: </dict> 1975// CHECK: </array> 1976// CHECK: </dict> 1977// CHECK: </array> 1978// CHECK: </dict> 1979// CHECK: <dict> 1980// CHECK: <key>kind</key><string>event</string> 1981// CHECK: <key>location</key> 1982// CHECK: <dict> 1983// CHECK: <key>line</key><integer>76</integer> 1984// CHECK: <key>col</key><integer>10</integer> 1985// CHECK: <key>file</key><integer>0</integer> 1986// CHECK: </dict> 1987// CHECK: <key>ranges</key> 1988// CHECK: <array> 1989// CHECK: <array> 1990// CHECK: <dict> 1991// CHECK: <key>line</key><integer>76</integer> 1992// CHECK: <key>col</key><integer>10</integer> 1993// CHECK: <key>file</key><integer>0</integer> 1994// CHECK: </dict> 1995// CHECK: <dict> 1996// CHECK: <key>line</key><integer>76</integer> 1997// CHECK: <key>col</key><integer>19</integer> 1998// CHECK: <key>file</key><integer>0</integer> 1999// CHECK: </dict> 2000// CHECK: </array> 2001// CHECK: </array> 2002// CHECK: <key>depth</key><integer>0</integer> 2003// CHECK: <key>extended_message</key> 2004// CHECK: <string>Dereference of null pointer</string> 2005// CHECK: <key>message</key> 2006// CHECK: <string>Dereference of null pointer</string> 2007// CHECK: </dict> 2008// CHECK: </array> 2009// CHECK: <key>description</key><string>Dereference of null pointer</string> 2010// CHECK: <key>category</key><string>Logic error</string> 2011// CHECK: <key>type</key><string>Dereference of null pointer</string> 2012// CHECK: <key>issue_context_kind</key><string>function</string> 2013// CHECK: <key>issue_context</key><string>testReturnZero2</string> 2014// CHECK: <key>issue_hash</key><integer>1</integer> 2015// CHECK: <key>location</key> 2016// CHECK: <dict> 2017// CHECK: <key>line</key><integer>76</integer> 2018// CHECK: <key>col</key><integer>10</integer> 2019// CHECK: <key>file</key><integer>0</integer> 2020// CHECK: </dict> 2021// CHECK: </dict> 2022// CHECK: <dict> 2023// CHECK: <key>path</key> 2024// CHECK: <array> 2025// CHECK: <dict> 2026// CHECK: <key>kind</key><string>control</string> 2027// CHECK: <key>edges</key> 2028// CHECK: <array> 2029// CHECK: <dict> 2030// CHECK: <key>start</key> 2031// CHECK: <array> 2032// CHECK: <dict> 2033// CHECK: <key>line</key><integer>83</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>83</integer> 2039// CHECK: <key>col</key><integer>5</integer> 2040// CHECK: <key>file</key><integer>0</integer> 2041// CHECK: </dict> 2042// CHECK: </array> 2043// CHECK: <key>end</key> 2044// CHECK: <array> 2045// CHECK: <dict> 2046// CHECK: <key>line</key><integer>83</integer> 2047// CHECK: <key>col</key><integer>12</integer> 2048// CHECK: <key>file</key><integer>0</integer> 2049// CHECK: </dict> 2050// CHECK: <dict> 2051// CHECK: <key>line</key><integer>83</integer> 2052// CHECK: <key>col</key><integer>18</integer> 2053// CHECK: <key>file</key><integer>0</integer> 2054// CHECK: </dict> 2055// CHECK: </array> 2056// CHECK: </dict> 2057// CHECK: </array> 2058// CHECK: </dict> 2059// CHECK: <dict> 2060// CHECK: <key>kind</key><string>event</string> 2061// CHECK: <key>location</key> 2062// CHECK: <dict> 2063// CHECK: <key>line</key><integer>83</integer> 2064// CHECK: <key>col</key><integer>12</integer> 2065// CHECK: <key>file</key><integer>0</integer> 2066// CHECK: </dict> 2067// CHECK: <key>ranges</key> 2068// CHECK: <array> 2069// CHECK: <array> 2070// CHECK: <dict> 2071// CHECK: <key>line</key><integer>83</integer> 2072// CHECK: <key>col</key><integer>12</integer> 2073// CHECK: <key>file</key><integer>0</integer> 2074// CHECK: </dict> 2075// CHECK: <dict> 2076// CHECK: <key>line</key><integer>83</integer> 2077// CHECK: <key>col</key><integer>20</integer> 2078// CHECK: <key>file</key><integer>0</integer> 2079// CHECK: </dict> 2080// CHECK: </array> 2081// CHECK: </array> 2082// CHECK: <key>depth</key><integer>0</integer> 2083// CHECK: <key>extended_message</key> 2084// CHECK: <string>Calling 'getZero'</string> 2085// CHECK: <key>message</key> 2086// CHECK: <string>Calling 'getZero'</string> 2087// CHECK: </dict> 2088// CHECK: <dict> 2089// CHECK: <key>kind</key><string>event</string> 2090// CHECK: <key>location</key> 2091// CHECK: <dict> 2092// CHECK: <key>line</key><integer>60</integer> 2093// CHECK: <key>col</key><integer>1</integer> 2094// CHECK: <key>file</key><integer>0</integer> 2095// CHECK: </dict> 2096// CHECK: <key>depth</key><integer>1</integer> 2097// CHECK: <key>extended_message</key> 2098// CHECK: <string>Entered call from 'testInitZero'</string> 2099// CHECK: <key>message</key> 2100// CHECK: <string>Entered call from 'testInitZero'</string> 2101// CHECK: </dict> 2102// CHECK: <dict> 2103// CHECK: <key>kind</key><string>control</string> 2104// CHECK: <key>edges</key> 2105// CHECK: <array> 2106// CHECK: <dict> 2107// CHECK: <key>start</key> 2108// CHECK: <array> 2109// CHECK: <dict> 2110// CHECK: <key>line</key><integer>60</integer> 2111// CHECK: <key>col</key><integer>1</integer> 2112// CHECK: <key>file</key><integer>0</integer> 2113// CHECK: </dict> 2114// CHECK: <dict> 2115// CHECK: <key>line</key><integer>60</integer> 2116// CHECK: <key>col</key><integer>3</integer> 2117// CHECK: <key>file</key><integer>0</integer> 2118// CHECK: </dict> 2119// CHECK: </array> 2120// CHECK: <key>end</key> 2121// CHECK: <array> 2122// CHECK: <dict> 2123// CHECK: <key>line</key><integer>61</integer> 2124// CHECK: <key>col</key><integer>3</integer> 2125// CHECK: <key>file</key><integer>0</integer> 2126// CHECK: </dict> 2127// CHECK: <dict> 2128// CHECK: <key>line</key><integer>61</integer> 2129// CHECK: <key>col</key><integer>5</integer> 2130// CHECK: <key>file</key><integer>0</integer> 2131// CHECK: </dict> 2132// CHECK: </array> 2133// CHECK: </dict> 2134// CHECK: </array> 2135// CHECK: </dict> 2136// CHECK: <dict> 2137// CHECK: <key>kind</key><string>event</string> 2138// CHECK: <key>location</key> 2139// CHECK: <dict> 2140// CHECK: <key>line</key><integer>61</integer> 2141// CHECK: <key>col</key><integer>3</integer> 2142// CHECK: <key>file</key><integer>0</integer> 2143// CHECK: </dict> 2144// CHECK: <key>ranges</key> 2145// CHECK: <array> 2146// CHECK: <array> 2147// CHECK: <dict> 2148// CHECK: <key>line</key><integer>61</integer> 2149// CHECK: <key>col</key><integer>3</integer> 2150// CHECK: <key>file</key><integer>0</integer> 2151// CHECK: </dict> 2152// CHECK: <dict> 2153// CHECK: <key>line</key><integer>61</integer> 2154// CHECK: <key>col</key><integer>8</integer> 2155// CHECK: <key>file</key><integer>0</integer> 2156// CHECK: </dict> 2157// CHECK: </array> 2158// CHECK: </array> 2159// CHECK: <key>depth</key><integer>1</integer> 2160// CHECK: <key>extended_message</key> 2161// CHECK: <string>Variable 'p' initialized to a null pointer value</string> 2162// CHECK: <key>message</key> 2163// CHECK: <string>Variable 'p' initialized to a null pointer value</string> 2164// CHECK: </dict> 2165// CHECK: <dict> 2166// CHECK: <key>kind</key><string>control</string> 2167// CHECK: <key>edges</key> 2168// CHECK: <array> 2169// CHECK: <dict> 2170// CHECK: <key>start</key> 2171// CHECK: <array> 2172// CHECK: <dict> 2173// CHECK: <key>line</key><integer>61</integer> 2174// CHECK: <key>col</key><integer>3</integer> 2175// CHECK: <key>file</key><integer>0</integer> 2176// CHECK: </dict> 2177// CHECK: <dict> 2178// CHECK: <key>line</key><integer>61</integer> 2179// CHECK: <key>col</key><integer>5</integer> 2180// CHECK: <key>file</key><integer>0</integer> 2181// CHECK: </dict> 2182// CHECK: </array> 2183// CHECK: <key>end</key> 2184// CHECK: <array> 2185// CHECK: <dict> 2186// CHECK: <key>line</key><integer>64</integer> 2187// CHECK: <key>col</key><integer>3</integer> 2188// CHECK: <key>file</key><integer>0</integer> 2189// CHECK: </dict> 2190// CHECK: <dict> 2191// CHECK: <key>line</key><integer>64</integer> 2192// CHECK: <key>col</key><integer>8</integer> 2193// CHECK: <key>file</key><integer>0</integer> 2194// CHECK: </dict> 2195// CHECK: </array> 2196// CHECK: </dict> 2197// CHECK: </array> 2198// CHECK: </dict> 2199// CHECK: <dict> 2200// CHECK: <key>kind</key><string>event</string> 2201// CHECK: <key>location</key> 2202// CHECK: <dict> 2203// CHECK: <key>line</key><integer>64</integer> 2204// CHECK: <key>col</key><integer>3</integer> 2205// CHECK: <key>file</key><integer>0</integer> 2206// CHECK: </dict> 2207// CHECK: <key>ranges</key> 2208// CHECK: <array> 2209// CHECK: <array> 2210// CHECK: <dict> 2211// CHECK: <key>line</key><integer>64</integer> 2212// CHECK: <key>col</key><integer>3</integer> 2213// CHECK: <key>file</key><integer>0</integer> 2214// CHECK: </dict> 2215// CHECK: <dict> 2216// CHECK: <key>line</key><integer>64</integer> 2217// CHECK: <key>col</key><integer>10</integer> 2218// CHECK: <key>file</key><integer>0</integer> 2219// CHECK: </dict> 2220// CHECK: </array> 2221// CHECK: </array> 2222// CHECK: <key>depth</key><integer>1</integer> 2223// CHECK: <key>extended_message</key> 2224// CHECK: <string>Returning null pointer (loaded from 'p')</string> 2225// CHECK: <key>message</key> 2226// CHECK: <string>Returning null pointer (loaded from 'p')</string> 2227// CHECK: </dict> 2228// CHECK: <dict> 2229// CHECK: <key>kind</key><string>event</string> 2230// CHECK: <key>location</key> 2231// CHECK: <dict> 2232// CHECK: <key>line</key><integer>83</integer> 2233// CHECK: <key>col</key><integer>12</integer> 2234// CHECK: <key>file</key><integer>0</integer> 2235// CHECK: </dict> 2236// CHECK: <key>ranges</key> 2237// CHECK: <array> 2238// CHECK: <array> 2239// CHECK: <dict> 2240// CHECK: <key>line</key><integer>83</integer> 2241// CHECK: <key>col</key><integer>12</integer> 2242// CHECK: <key>file</key><integer>0</integer> 2243// CHECK: </dict> 2244// CHECK: <dict> 2245// CHECK: <key>line</key><integer>83</integer> 2246// CHECK: <key>col</key><integer>20</integer> 2247// CHECK: <key>file</key><integer>0</integer> 2248// CHECK: </dict> 2249// CHECK: </array> 2250// CHECK: </array> 2251// CHECK: <key>depth</key><integer>1</integer> 2252// CHECK: <key>extended_message</key> 2253// CHECK: <string>Returning from 'getZero'</string> 2254// CHECK: <key>message</key> 2255// CHECK: <string>Returning from 'getZero'</string> 2256// CHECK: </dict> 2257// CHECK: <dict> 2258// CHECK: <key>kind</key><string>control</string> 2259// CHECK: <key>edges</key> 2260// CHECK: <array> 2261// CHECK: <dict> 2262// CHECK: <key>start</key> 2263// CHECK: <array> 2264// CHECK: <dict> 2265// CHECK: <key>line</key><integer>83</integer> 2266// CHECK: <key>col</key><integer>3</integer> 2267// CHECK: <key>file</key><integer>0</integer> 2268// CHECK: </dict> 2269// CHECK: <dict> 2270// CHECK: <key>line</key><integer>83</integer> 2271// CHECK: <key>col</key><integer>5</integer> 2272// CHECK: <key>file</key><integer>0</integer> 2273// CHECK: </dict> 2274// CHECK: </array> 2275// CHECK: <key>end</key> 2276// CHECK: <array> 2277// CHECK: <dict> 2278// CHECK: <key>line</key><integer>83</integer> 2279// CHECK: <key>col</key><integer>12</integer> 2280// CHECK: <key>file</key><integer>0</integer> 2281// CHECK: </dict> 2282// CHECK: <dict> 2283// CHECK: <key>line</key><integer>83</integer> 2284// CHECK: <key>col</key><integer>18</integer> 2285// CHECK: <key>file</key><integer>0</integer> 2286// CHECK: </dict> 2287// CHECK: </array> 2288// CHECK: </dict> 2289// CHECK: </array> 2290// CHECK: </dict> 2291// CHECK: <dict> 2292// CHECK: <key>kind</key><string>control</string> 2293// CHECK: <key>edges</key> 2294// CHECK: <array> 2295// CHECK: <dict> 2296// CHECK: <key>start</key> 2297// CHECK: <array> 2298// CHECK: <dict> 2299// CHECK: <key>line</key><integer>83</integer> 2300// CHECK: <key>col</key><integer>12</integer> 2301// CHECK: <key>file</key><integer>0</integer> 2302// CHECK: </dict> 2303// CHECK: <dict> 2304// CHECK: <key>line</key><integer>83</integer> 2305// CHECK: <key>col</key><integer>18</integer> 2306// CHECK: <key>file</key><integer>0</integer> 2307// CHECK: </dict> 2308// CHECK: </array> 2309// CHECK: <key>end</key> 2310// CHECK: <array> 2311// CHECK: <dict> 2312// CHECK: <key>line</key><integer>83</integer> 2313// CHECK: <key>col</key><integer>3</integer> 2314// CHECK: <key>file</key><integer>0</integer> 2315// CHECK: </dict> 2316// CHECK: <dict> 2317// CHECK: <key>line</key><integer>83</integer> 2318// CHECK: <key>col</key><integer>5</integer> 2319// CHECK: <key>file</key><integer>0</integer> 2320// CHECK: </dict> 2321// CHECK: </array> 2322// CHECK: </dict> 2323// CHECK: </array> 2324// CHECK: </dict> 2325// CHECK: <dict> 2326// CHECK: <key>kind</key><string>event</string> 2327// CHECK: <key>location</key> 2328// CHECK: <dict> 2329// CHECK: <key>line</key><integer>83</integer> 2330// CHECK: <key>col</key><integer>3</integer> 2331// CHECK: <key>file</key><integer>0</integer> 2332// CHECK: </dict> 2333// CHECK: <key>ranges</key> 2334// CHECK: <array> 2335// CHECK: <array> 2336// CHECK: <dict> 2337// CHECK: <key>line</key><integer>83</integer> 2338// CHECK: <key>col</key><integer>3</integer> 2339// CHECK: <key>file</key><integer>0</integer> 2340// CHECK: </dict> 2341// CHECK: <dict> 2342// CHECK: <key>line</key><integer>83</integer> 2343// CHECK: <key>col</key><integer>8</integer> 2344// CHECK: <key>file</key><integer>0</integer> 2345// CHECK: </dict> 2346// CHECK: </array> 2347// CHECK: </array> 2348// CHECK: <key>depth</key><integer>0</integer> 2349// CHECK: <key>extended_message</key> 2350// CHECK: <string>Variable 'a' initialized to a null pointer value</string> 2351// CHECK: <key>message</key> 2352// CHECK: <string>Variable 'a' initialized to a null pointer value</string> 2353// CHECK: </dict> 2354// CHECK: <dict> 2355// CHECK: <key>kind</key><string>control</string> 2356// CHECK: <key>edges</key> 2357// CHECK: <array> 2358// CHECK: <dict> 2359// CHECK: <key>start</key> 2360// CHECK: <array> 2361// CHECK: <dict> 2362// CHECK: <key>line</key><integer>83</integer> 2363// CHECK: <key>col</key><integer>3</integer> 2364// CHECK: <key>file</key><integer>0</integer> 2365// CHECK: </dict> 2366// CHECK: <dict> 2367// CHECK: <key>line</key><integer>83</integer> 2368// CHECK: <key>col</key><integer>5</integer> 2369// CHECK: <key>file</key><integer>0</integer> 2370// CHECK: </dict> 2371// CHECK: </array> 2372// CHECK: <key>end</key> 2373// CHECK: <array> 2374// CHECK: <dict> 2375// CHECK: <key>line</key><integer>87</integer> 2376// CHECK: <key>col</key><integer>3</integer> 2377// CHECK: <key>file</key><integer>0</integer> 2378// CHECK: </dict> 2379// CHECK: <dict> 2380// CHECK: <key>line</key><integer>87</integer> 2381// CHECK: <key>col</key><integer>3</integer> 2382// CHECK: <key>file</key><integer>0</integer> 2383// CHECK: </dict> 2384// CHECK: </array> 2385// CHECK: </dict> 2386// CHECK: </array> 2387// CHECK: </dict> 2388// CHECK: <dict> 2389// CHECK: <key>kind</key><string>event</string> 2390// CHECK: <key>location</key> 2391// CHECK: <dict> 2392// CHECK: <key>line</key><integer>87</integer> 2393// CHECK: <key>col</key><integer>3</integer> 2394// CHECK: <key>file</key><integer>0</integer> 2395// CHECK: </dict> 2396// CHECK: <key>ranges</key> 2397// CHECK: <array> 2398// CHECK: <array> 2399// CHECK: <dict> 2400// CHECK: <key>line</key><integer>87</integer> 2401// CHECK: <key>col</key><integer>4</integer> 2402// CHECK: <key>file</key><integer>0</integer> 2403// CHECK: </dict> 2404// CHECK: <dict> 2405// CHECK: <key>line</key><integer>87</integer> 2406// CHECK: <key>col</key><integer>4</integer> 2407// CHECK: <key>file</key><integer>0</integer> 2408// CHECK: </dict> 2409// CHECK: </array> 2410// CHECK: </array> 2411// CHECK: <key>depth</key><integer>0</integer> 2412// CHECK: <key>extended_message</key> 2413// CHECK: <string>Dereference of null pointer (loaded from variable 'a')</string> 2414// CHECK: <key>message</key> 2415// CHECK: <string>Dereference of null pointer (loaded from variable 'a')</string> 2416// CHECK: </dict> 2417// CHECK: </array> 2418// CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</string> 2419// CHECK: <key>category</key><string>Logic error</string> 2420// CHECK: <key>type</key><string>Dereference of null pointer</string> 2421// CHECK: <key>issue_context_kind</key><string>function</string> 2422// CHECK: <key>issue_context</key><string>testInitZero</string> 2423// CHECK: <key>issue_hash</key><integer>5</integer> 2424// CHECK: <key>location</key> 2425// CHECK: <dict> 2426// CHECK: <key>line</key><integer>87</integer> 2427// CHECK: <key>col</key><integer>3</integer> 2428// CHECK: <key>file</key><integer>0</integer> 2429// CHECK: </dict> 2430// CHECK: </dict> 2431// CHECK: <dict> 2432// CHECK: <key>path</key> 2433// CHECK: <array> 2434// CHECK: <dict> 2435// CHECK: <key>kind</key><string>control</string> 2436// CHECK: <key>edges</key> 2437// CHECK: <array> 2438// CHECK: <dict> 2439// CHECK: <key>start</key> 2440// CHECK: <array> 2441// CHECK: <dict> 2442// CHECK: <key>line</key><integer>92</integer> 2443// CHECK: <key>col</key><integer>3</integer> 2444// CHECK: <key>file</key><integer>0</integer> 2445// CHECK: </dict> 2446// CHECK: <dict> 2447// CHECK: <key>line</key><integer>92</integer> 2448// CHECK: <key>col</key><integer>3</integer> 2449// CHECK: <key>file</key><integer>0</integer> 2450// CHECK: </dict> 2451// CHECK: </array> 2452// CHECK: <key>end</key> 2453// CHECK: <array> 2454// CHECK: <dict> 2455// CHECK: <key>line</key><integer>92</integer> 2456// CHECK: <key>col</key><integer>7</integer> 2457// CHECK: <key>file</key><integer>0</integer> 2458// CHECK: </dict> 2459// CHECK: <dict> 2460// CHECK: <key>line</key><integer>92</integer> 2461// CHECK: <key>col</key><integer>13</integer> 2462// CHECK: <key>file</key><integer>0</integer> 2463// CHECK: </dict> 2464// CHECK: </array> 2465// CHECK: </dict> 2466// CHECK: </array> 2467// CHECK: </dict> 2468// CHECK: <dict> 2469// CHECK: <key>kind</key><string>event</string> 2470// CHECK: <key>location</key> 2471// CHECK: <dict> 2472// CHECK: <key>line</key><integer>92</integer> 2473// CHECK: <key>col</key><integer>7</integer> 2474// CHECK: <key>file</key><integer>0</integer> 2475// CHECK: </dict> 2476// CHECK: <key>ranges</key> 2477// CHECK: <array> 2478// CHECK: <array> 2479// CHECK: <dict> 2480// CHECK: <key>line</key><integer>92</integer> 2481// CHECK: <key>col</key><integer>7</integer> 2482// CHECK: <key>file</key><integer>0</integer> 2483// CHECK: </dict> 2484// CHECK: <dict> 2485// CHECK: <key>line</key><integer>92</integer> 2486// CHECK: <key>col</key><integer>15</integer> 2487// CHECK: <key>file</key><integer>0</integer> 2488// CHECK: </dict> 2489// CHECK: </array> 2490// CHECK: </array> 2491// CHECK: <key>depth</key><integer>0</integer> 2492// CHECK: <key>extended_message</key> 2493// CHECK: <string>Calling 'getZero'</string> 2494// CHECK: <key>message</key> 2495// CHECK: <string>Calling 'getZero'</string> 2496// CHECK: </dict> 2497// CHECK: <dict> 2498// CHECK: <key>kind</key><string>event</string> 2499// CHECK: <key>location</key> 2500// CHECK: <dict> 2501// CHECK: <key>line</key><integer>60</integer> 2502// CHECK: <key>col</key><integer>1</integer> 2503// CHECK: <key>file</key><integer>0</integer> 2504// CHECK: </dict> 2505// CHECK: <key>depth</key><integer>1</integer> 2506// CHECK: <key>extended_message</key> 2507// CHECK: <string>Entered call from 'testStoreZero'</string> 2508// CHECK: <key>message</key> 2509// CHECK: <string>Entered call from 'testStoreZero'</string> 2510// CHECK: </dict> 2511// CHECK: <dict> 2512// CHECK: <key>kind</key><string>control</string> 2513// CHECK: <key>edges</key> 2514// CHECK: <array> 2515// CHECK: <dict> 2516// CHECK: <key>start</key> 2517// CHECK: <array> 2518// CHECK: <dict> 2519// CHECK: <key>line</key><integer>60</integer> 2520// CHECK: <key>col</key><integer>1</integer> 2521// CHECK: <key>file</key><integer>0</integer> 2522// CHECK: </dict> 2523// CHECK: <dict> 2524// CHECK: <key>line</key><integer>60</integer> 2525// CHECK: <key>col</key><integer>3</integer> 2526// CHECK: <key>file</key><integer>0</integer> 2527// CHECK: </dict> 2528// CHECK: </array> 2529// CHECK: <key>end</key> 2530// CHECK: <array> 2531// CHECK: <dict> 2532// CHECK: <key>line</key><integer>61</integer> 2533// CHECK: <key>col</key><integer>3</integer> 2534// CHECK: <key>file</key><integer>0</integer> 2535// CHECK: </dict> 2536// CHECK: <dict> 2537// CHECK: <key>line</key><integer>61</integer> 2538// CHECK: <key>col</key><integer>5</integer> 2539// CHECK: <key>file</key><integer>0</integer> 2540// CHECK: </dict> 2541// CHECK: </array> 2542// CHECK: </dict> 2543// CHECK: </array> 2544// CHECK: </dict> 2545// CHECK: <dict> 2546// CHECK: <key>kind</key><string>event</string> 2547// CHECK: <key>location</key> 2548// CHECK: <dict> 2549// CHECK: <key>line</key><integer>61</integer> 2550// CHECK: <key>col</key><integer>3</integer> 2551// CHECK: <key>file</key><integer>0</integer> 2552// CHECK: </dict> 2553// CHECK: <key>ranges</key> 2554// CHECK: <array> 2555// CHECK: <array> 2556// CHECK: <dict> 2557// CHECK: <key>line</key><integer>61</integer> 2558// CHECK: <key>col</key><integer>3</integer> 2559// CHECK: <key>file</key><integer>0</integer> 2560// CHECK: </dict> 2561// CHECK: <dict> 2562// CHECK: <key>line</key><integer>61</integer> 2563// CHECK: <key>col</key><integer>8</integer> 2564// CHECK: <key>file</key><integer>0</integer> 2565// CHECK: </dict> 2566// CHECK: </array> 2567// CHECK: </array> 2568// CHECK: <key>depth</key><integer>1</integer> 2569// CHECK: <key>extended_message</key> 2570// CHECK: <string>Variable 'p' initialized to a null pointer value</string> 2571// CHECK: <key>message</key> 2572// CHECK: <string>Variable 'p' initialized to a null pointer value</string> 2573// CHECK: </dict> 2574// CHECK: <dict> 2575// CHECK: <key>kind</key><string>control</string> 2576// CHECK: <key>edges</key> 2577// CHECK: <array> 2578// CHECK: <dict> 2579// CHECK: <key>start</key> 2580// CHECK: <array> 2581// CHECK: <dict> 2582// CHECK: <key>line</key><integer>61</integer> 2583// CHECK: <key>col</key><integer>3</integer> 2584// CHECK: <key>file</key><integer>0</integer> 2585// CHECK: </dict> 2586// CHECK: <dict> 2587// CHECK: <key>line</key><integer>61</integer> 2588// CHECK: <key>col</key><integer>5</integer> 2589// CHECK: <key>file</key><integer>0</integer> 2590// CHECK: </dict> 2591// CHECK: </array> 2592// CHECK: <key>end</key> 2593// CHECK: <array> 2594// CHECK: <dict> 2595// CHECK: <key>line</key><integer>64</integer> 2596// CHECK: <key>col</key><integer>3</integer> 2597// CHECK: <key>file</key><integer>0</integer> 2598// CHECK: </dict> 2599// CHECK: <dict> 2600// CHECK: <key>line</key><integer>64</integer> 2601// CHECK: <key>col</key><integer>8</integer> 2602// CHECK: <key>file</key><integer>0</integer> 2603// CHECK: </dict> 2604// CHECK: </array> 2605// CHECK: </dict> 2606// CHECK: </array> 2607// CHECK: </dict> 2608// CHECK: <dict> 2609// CHECK: <key>kind</key><string>event</string> 2610// CHECK: <key>location</key> 2611// CHECK: <dict> 2612// CHECK: <key>line</key><integer>64</integer> 2613// CHECK: <key>col</key><integer>3</integer> 2614// CHECK: <key>file</key><integer>0</integer> 2615// CHECK: </dict> 2616// CHECK: <key>ranges</key> 2617// CHECK: <array> 2618// CHECK: <array> 2619// CHECK: <dict> 2620// CHECK: <key>line</key><integer>64</integer> 2621// CHECK: <key>col</key><integer>3</integer> 2622// CHECK: <key>file</key><integer>0</integer> 2623// CHECK: </dict> 2624// CHECK: <dict> 2625// CHECK: <key>line</key><integer>64</integer> 2626// CHECK: <key>col</key><integer>10</integer> 2627// CHECK: <key>file</key><integer>0</integer> 2628// CHECK: </dict> 2629// CHECK: </array> 2630// CHECK: </array> 2631// CHECK: <key>depth</key><integer>1</integer> 2632// CHECK: <key>extended_message</key> 2633// CHECK: <string>Returning null pointer (loaded from 'p')</string> 2634// CHECK: <key>message</key> 2635// CHECK: <string>Returning null pointer (loaded from 'p')</string> 2636// CHECK: </dict> 2637// CHECK: <dict> 2638// CHECK: <key>kind</key><string>event</string> 2639// CHECK: <key>location</key> 2640// CHECK: <dict> 2641// CHECK: <key>line</key><integer>92</integer> 2642// CHECK: <key>col</key><integer>7</integer> 2643// CHECK: <key>file</key><integer>0</integer> 2644// CHECK: </dict> 2645// CHECK: <key>ranges</key> 2646// CHECK: <array> 2647// CHECK: <array> 2648// CHECK: <dict> 2649// CHECK: <key>line</key><integer>92</integer> 2650// CHECK: <key>col</key><integer>7</integer> 2651// CHECK: <key>file</key><integer>0</integer> 2652// CHECK: </dict> 2653// CHECK: <dict> 2654// CHECK: <key>line</key><integer>92</integer> 2655// CHECK: <key>col</key><integer>15</integer> 2656// CHECK: <key>file</key><integer>0</integer> 2657// CHECK: </dict> 2658// CHECK: </array> 2659// CHECK: </array> 2660// CHECK: <key>depth</key><integer>1</integer> 2661// CHECK: <key>extended_message</key> 2662// CHECK: <string>Returning from 'getZero'</string> 2663// CHECK: <key>message</key> 2664// CHECK: <string>Returning from 'getZero'</string> 2665// CHECK: </dict> 2666// CHECK: <dict> 2667// CHECK: <key>kind</key><string>control</string> 2668// CHECK: <key>edges</key> 2669// CHECK: <array> 2670// CHECK: <dict> 2671// CHECK: <key>start</key> 2672// CHECK: <array> 2673// CHECK: <dict> 2674// CHECK: <key>line</key><integer>92</integer> 2675// CHECK: <key>col</key><integer>3</integer> 2676// CHECK: <key>file</key><integer>0</integer> 2677// CHECK: </dict> 2678// CHECK: <dict> 2679// CHECK: <key>line</key><integer>92</integer> 2680// CHECK: <key>col</key><integer>3</integer> 2681// CHECK: <key>file</key><integer>0</integer> 2682// CHECK: </dict> 2683// CHECK: </array> 2684// CHECK: <key>end</key> 2685// CHECK: <array> 2686// CHECK: <dict> 2687// CHECK: <key>line</key><integer>92</integer> 2688// CHECK: <key>col</key><integer>7</integer> 2689// CHECK: <key>file</key><integer>0</integer> 2690// CHECK: </dict> 2691// CHECK: <dict> 2692// CHECK: <key>line</key><integer>92</integer> 2693// CHECK: <key>col</key><integer>13</integer> 2694// CHECK: <key>file</key><integer>0</integer> 2695// CHECK: </dict> 2696// CHECK: </array> 2697// CHECK: </dict> 2698// CHECK: </array> 2699// CHECK: </dict> 2700// CHECK: <dict> 2701// CHECK: <key>kind</key><string>control</string> 2702// CHECK: <key>edges</key> 2703// CHECK: <array> 2704// CHECK: <dict> 2705// CHECK: <key>start</key> 2706// CHECK: <array> 2707// CHECK: <dict> 2708// CHECK: <key>line</key><integer>92</integer> 2709// CHECK: <key>col</key><integer>7</integer> 2710// CHECK: <key>file</key><integer>0</integer> 2711// CHECK: </dict> 2712// CHECK: <dict> 2713// CHECK: <key>line</key><integer>92</integer> 2714// CHECK: <key>col</key><integer>13</integer> 2715// CHECK: <key>file</key><integer>0</integer> 2716// CHECK: </dict> 2717// CHECK: </array> 2718// CHECK: <key>end</key> 2719// CHECK: <array> 2720// CHECK: <dict> 2721// CHECK: <key>line</key><integer>92</integer> 2722// CHECK: <key>col</key><integer>3</integer> 2723// CHECK: <key>file</key><integer>0</integer> 2724// CHECK: </dict> 2725// CHECK: <dict> 2726// CHECK: <key>line</key><integer>92</integer> 2727// CHECK: <key>col</key><integer>3</integer> 2728// CHECK: <key>file</key><integer>0</integer> 2729// CHECK: </dict> 2730// CHECK: </array> 2731// CHECK: </dict> 2732// CHECK: </array> 2733// CHECK: </dict> 2734// CHECK: <dict> 2735// CHECK: <key>kind</key><string>event</string> 2736// CHECK: <key>location</key> 2737// CHECK: <dict> 2738// CHECK: <key>line</key><integer>92</integer> 2739// CHECK: <key>col</key><integer>3</integer> 2740// CHECK: <key>file</key><integer>0</integer> 2741// CHECK: </dict> 2742// CHECK: <key>ranges</key> 2743// CHECK: <array> 2744// CHECK: <array> 2745// CHECK: <dict> 2746// CHECK: <key>line</key><integer>92</integer> 2747// CHECK: <key>col</key><integer>3</integer> 2748// CHECK: <key>file</key><integer>0</integer> 2749// CHECK: </dict> 2750// CHECK: <dict> 2751// CHECK: <key>line</key><integer>92</integer> 2752// CHECK: <key>col</key><integer>15</integer> 2753// CHECK: <key>file</key><integer>0</integer> 2754// CHECK: </dict> 2755// CHECK: </array> 2756// CHECK: </array> 2757// CHECK: <key>depth</key><integer>0</integer> 2758// CHECK: <key>extended_message</key> 2759// CHECK: <string>Null pointer value stored to 'a'</string> 2760// CHECK: <key>message</key> 2761// CHECK: <string>Null pointer value stored to 'a'</string> 2762// CHECK: </dict> 2763// CHECK: <dict> 2764// CHECK: <key>kind</key><string>control</string> 2765// CHECK: <key>edges</key> 2766// CHECK: <array> 2767// CHECK: <dict> 2768// CHECK: <key>start</key> 2769// CHECK: <array> 2770// CHECK: <dict> 2771// CHECK: <key>line</key><integer>92</integer> 2772// CHECK: <key>col</key><integer>3</integer> 2773// CHECK: <key>file</key><integer>0</integer> 2774// CHECK: </dict> 2775// CHECK: <dict> 2776// CHECK: <key>line</key><integer>92</integer> 2777// CHECK: <key>col</key><integer>3</integer> 2778// CHECK: <key>file</key><integer>0</integer> 2779// CHECK: </dict> 2780// CHECK: </array> 2781// CHECK: <key>end</key> 2782// CHECK: <array> 2783// CHECK: <dict> 2784// CHECK: <key>line</key><integer>96</integer> 2785// CHECK: <key>col</key><integer>3</integer> 2786// CHECK: <key>file</key><integer>0</integer> 2787// CHECK: </dict> 2788// CHECK: <dict> 2789// CHECK: <key>line</key><integer>96</integer> 2790// CHECK: <key>col</key><integer>3</integer> 2791// CHECK: <key>file</key><integer>0</integer> 2792// CHECK: </dict> 2793// CHECK: </array> 2794// CHECK: </dict> 2795// CHECK: </array> 2796// CHECK: </dict> 2797// CHECK: <dict> 2798// CHECK: <key>kind</key><string>event</string> 2799// CHECK: <key>location</key> 2800// CHECK: <dict> 2801// CHECK: <key>line</key><integer>96</integer> 2802// CHECK: <key>col</key><integer>3</integer> 2803// CHECK: <key>file</key><integer>0</integer> 2804// CHECK: </dict> 2805// CHECK: <key>ranges</key> 2806// CHECK: <array> 2807// CHECK: <array> 2808// CHECK: <dict> 2809// CHECK: <key>line</key><integer>96</integer> 2810// CHECK: <key>col</key><integer>4</integer> 2811// CHECK: <key>file</key><integer>0</integer> 2812// CHECK: </dict> 2813// CHECK: <dict> 2814// CHECK: <key>line</key><integer>96</integer> 2815// CHECK: <key>col</key><integer>4</integer> 2816// CHECK: <key>file</key><integer>0</integer> 2817// CHECK: </dict> 2818// CHECK: </array> 2819// CHECK: </array> 2820// CHECK: <key>depth</key><integer>0</integer> 2821// CHECK: <key>extended_message</key> 2822// CHECK: <string>Dereference of null pointer (loaded from variable 'a')</string> 2823// CHECK: <key>message</key> 2824// CHECK: <string>Dereference of null pointer (loaded from variable 'a')</string> 2825// CHECK: </dict> 2826// CHECK: </array> 2827// CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'a')</string> 2828// CHECK: <key>category</key><string>Logic error</string> 2829// CHECK: <key>type</key><string>Dereference of null pointer</string> 2830// CHECK: <key>issue_context_kind</key><string>function</string> 2831// CHECK: <key>issue_context</key><string>testStoreZero</string> 2832// CHECK: <key>issue_hash</key><integer>5</integer> 2833// CHECK: <key>location</key> 2834// CHECK: <dict> 2835// CHECK: <key>line</key><integer>96</integer> 2836// CHECK: <key>col</key><integer>3</integer> 2837// CHECK: <key>file</key><integer>0</integer> 2838// CHECK: </dict> 2839// CHECK: </dict> 2840// CHECK: </array> 2841// CHECK: </dict> 2842// CHECK: </plist> 2843