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