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