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