1 // RUN: %clang --analyze %s -o %t > /dev/null 2>&1 2 // RUN: FileCheck -input-file %t %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 // FIXME: we need a diagnostic saying that p is initialized to 0 31 int *p = q; 32 *p = 0xDEADBEEF; 33 } 34 } 35 36 void test_null_field(void) { 37 struct s { int *p; } x; 38 x.p = 0; 39 *(x.p) = 0xDEADBEEF; 40 } 41 42 void test_assumptions(int a, int b) 43 { 44 if (a == 0) { 45 return; 46 } 47 if (b != 0) { 48 return; 49 } 50 int *p = 0; 51 *p = 0xDEADBEEF; 52 } 53 54 int *bar_cond_assign(); 55 int test_cond_assign() { 56 int *p; 57 if (p = bar_cond_assign()) 58 return 1; 59 return *p; 60 } 61 62 // The following previously crashed when generating extensive diagnostics. 63 // <rdar://problem/10797980> 64 @interface RDar10797980_help 65 @property (readonly) int x; 66 @end 67 68 @interface RDar10797980 { 69 RDar10797980_help *y; 70 } 71 - (void) test; 72 @end 73 74 @implementation RDar10797980 75 - (void) test { 76 if (y.x == 1) { 77 int *p = 0; 78 *p = 0xDEADBEEF; // expected-warning {{deference}} 79 } 80 } 81 @end 82 83 // CHECK: <?xml version="1.0" encoding="UTF-8"?> 84 // CHECK: <plist version="1.0"> 85 // CHECK: <dict> 86 // CHECK: <key>files</key> 87 // CHECK: <array> 88 // CHECK: </array> 89 // CHECK: <key>diagnostics</key> 90 // CHECK: <array> 91 // CHECK: <dict> 92 // CHECK: <key>path</key> 93 // CHECK: <array> 94 // CHECK: <dict> 95 // CHECK: <key>kind</key><string>control</string> 96 // CHECK: <key>edges</key> 97 // CHECK: <array> 98 // CHECK: <dict> 99 // CHECK: <key>start</key> 100 // CHECK: <array> 101 // CHECK: <dict> 102 // CHECK: <key>line</key><integer>5</integer> 103 // CHECK: <key>col</key><integer>3</integer> 104 // CHECK: <key>file</key><integer>0</integer> 105 // CHECK: </dict> 106 // CHECK: <dict> 107 // CHECK: <key>line</key><integer>5</integer> 108 // CHECK: <key>col</key><integer>3</integer> 109 // CHECK: <key>file</key><integer>0</integer> 110 // CHECK: </dict> 111 // CHECK: </array> 112 // CHECK: <key>end</key> 113 // CHECK: <array> 114 // CHECK: <dict> 115 // CHECK: <key>line</key><integer>6</integer> 116 // CHECK: <key>col</key><integer>3</integer> 117 // CHECK: <key>file</key><integer>0</integer> 118 // CHECK: </dict> 119 // CHECK: <dict> 120 // CHECK: <key>line</key><integer>6</integer> 121 // CHECK: <key>col</key><integer>3</integer> 122 // CHECK: <key>file</key><integer>0</integer> 123 // CHECK: </dict> 124 // CHECK: </array> 125 // CHECK: </dict> 126 // CHECK: </array> 127 // CHECK: </dict> 128 // CHECK: <dict> 129 // CHECK: <key>kind</key><string>event</string> 130 // CHECK: <key>location</key> 131 // CHECK: <dict> 132 // CHECK: <key>line</key><integer>6</integer> 133 // CHECK: <key>col</key><integer>3</integer> 134 // CHECK: <key>file</key><integer>0</integer> 135 // CHECK: </dict> 136 // CHECK: <key>ranges</key> 137 // CHECK: <array> 138 // CHECK: <array> 139 // CHECK: <dict> 140 // CHECK: <key>line</key><integer>6</integer> 141 // CHECK: <key>col</key><integer>4</integer> 142 // CHECK: <key>file</key><integer>0</integer> 143 // CHECK: </dict> 144 // CHECK: <dict> 145 // CHECK: <key>line</key><integer>6</integer> 146 // CHECK: <key>col</key><integer>4</integer> 147 // CHECK: <key>file</key><integer>0</integer> 148 // CHECK: </dict> 149 // CHECK: </array> 150 // CHECK: </array> 151 // CHECK: <key>depth</key><integer>0</integer> 152 // CHECK: <key>extended_message</key> 153 // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> 154 // CHECK: <key>message</key> 155 // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> 156 // CHECK: </dict> 157 // CHECK: </array> 158 // CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> 159 // CHECK: <key>category</key><string>Logic error</string> 160 // CHECK: <key>type</key><string>Dereference of null pointer</string> 161 // CHECK: <key>issue_context_kind</key><string>function</string> 162 // CHECK: <key>issue_context</key><string>test_null_init</string> 163 // CHECK: <key>location</key> 164 // CHECK: <dict> 165 // CHECK: <key>line</key><integer>6</integer> 166 // CHECK: <key>col</key><integer>3</integer> 167 // CHECK: <key>file</key><integer>0</integer> 168 // CHECK: </dict> 169 // CHECK: </dict> 170 // CHECK: <dict> 171 // CHECK: <key>path</key> 172 // CHECK: <array> 173 // CHECK: <dict> 174 // CHECK: <key>kind</key><string>control</string> 175 // CHECK: <key>edges</key> 176 // CHECK: <array> 177 // CHECK: <dict> 178 // CHECK: <key>start</key> 179 // CHECK: <array> 180 // CHECK: <dict> 181 // CHECK: <key>line</key><integer>10</integer> 182 // CHECK: <key>col</key><integer>3</integer> 183 // CHECK: <key>file</key><integer>0</integer> 184 // CHECK: </dict> 185 // CHECK: <dict> 186 // CHECK: <key>line</key><integer>10</integer> 187 // CHECK: <key>col</key><integer>3</integer> 188 // CHECK: <key>file</key><integer>0</integer> 189 // CHECK: </dict> 190 // CHECK: </array> 191 // CHECK: <key>end</key> 192 // CHECK: <array> 193 // CHECK: <dict> 194 // CHECK: <key>line</key><integer>12</integer> 195 // CHECK: <key>col</key><integer>3</integer> 196 // CHECK: <key>file</key><integer>0</integer> 197 // CHECK: </dict> 198 // CHECK: <dict> 199 // CHECK: <key>line</key><integer>12</integer> 200 // CHECK: <key>col</key><integer>3</integer> 201 // CHECK: <key>file</key><integer>0</integer> 202 // CHECK: </dict> 203 // CHECK: </array> 204 // CHECK: </dict> 205 // CHECK: </array> 206 // CHECK: </dict> 207 // CHECK: <dict> 208 // CHECK: <key>kind</key><string>event</string> 209 // CHECK: <key>location</key> 210 // CHECK: <dict> 211 // CHECK: <key>line</key><integer>12</integer> 212 // CHECK: <key>col</key><integer>3</integer> 213 // CHECK: <key>file</key><integer>0</integer> 214 // CHECK: </dict> 215 // CHECK: <key>ranges</key> 216 // CHECK: <array> 217 // CHECK: <array> 218 // CHECK: <dict> 219 // CHECK: <key>line</key><integer>12</integer> 220 // CHECK: <key>col</key><integer>4</integer> 221 // CHECK: <key>file</key><integer>0</integer> 222 // CHECK: </dict> 223 // CHECK: <dict> 224 // CHECK: <key>line</key><integer>12</integer> 225 // CHECK: <key>col</key><integer>4</integer> 226 // CHECK: <key>file</key><integer>0</integer> 227 // CHECK: </dict> 228 // CHECK: </array> 229 // CHECK: </array> 230 // CHECK: <key>depth</key><integer>0</integer> 231 // CHECK: <key>extended_message</key> 232 // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> 233 // CHECK: <key>message</key> 234 // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> 235 // CHECK: </dict> 236 // CHECK: </array> 237 // CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> 238 // CHECK: <key>category</key><string>Logic error</string> 239 // CHECK: <key>type</key><string>Dereference of null pointer</string> 240 // CHECK: <key>issue_context_kind</key><string>function</string> 241 // CHECK: <key>issue_context</key><string>test_null_assign</string> 242 // CHECK: <key>location</key> 243 // CHECK: <dict> 244 // CHECK: <key>line</key><integer>12</integer> 245 // CHECK: <key>col</key><integer>3</integer> 246 // CHECK: <key>file</key><integer>0</integer> 247 // CHECK: </dict> 248 // CHECK: </dict> 249 // CHECK: <dict> 250 // CHECK: <key>path</key> 251 // CHECK: <array> 252 // CHECK: <dict> 253 // CHECK: <key>kind</key><string>control</string> 254 // CHECK: <key>edges</key> 255 // CHECK: <array> 256 // CHECK: <dict> 257 // CHECK: <key>start</key> 258 // CHECK: <array> 259 // CHECK: <dict> 260 // CHECK: <key>line</key><integer>16</integer> 261 // CHECK: <key>col</key><integer>3</integer> 262 // CHECK: <key>file</key><integer>0</integer> 263 // CHECK: </dict> 264 // CHECK: <dict> 265 // CHECK: <key>line</key><integer>16</integer> 266 // CHECK: <key>col</key><integer>3</integer> 267 // CHECK: <key>file</key><integer>0</integer> 268 // CHECK: </dict> 269 // CHECK: </array> 270 // CHECK: <key>end</key> 271 // CHECK: <array> 272 // CHECK: <dict> 273 // CHECK: <key>line</key><integer>19</integer> 274 // CHECK: <key>col</key><integer>3</integer> 275 // CHECK: <key>file</key><integer>0</integer> 276 // CHECK: </dict> 277 // CHECK: <dict> 278 // CHECK: <key>line</key><integer>19</integer> 279 // CHECK: <key>col</key><integer>3</integer> 280 // CHECK: <key>file</key><integer>0</integer> 281 // CHECK: </dict> 282 // CHECK: </array> 283 // CHECK: </dict> 284 // CHECK: </array> 285 // CHECK: </dict> 286 // CHECK: <dict> 287 // CHECK: <key>kind</key><string>event</string> 288 // CHECK: <key>location</key> 289 // CHECK: <dict> 290 // CHECK: <key>line</key><integer>19</integer> 291 // CHECK: <key>col</key><integer>3</integer> 292 // CHECK: <key>file</key><integer>0</integer> 293 // CHECK: </dict> 294 // CHECK: <key>ranges</key> 295 // CHECK: <array> 296 // CHECK: <array> 297 // CHECK: <dict> 298 // CHECK: <key>line</key><integer>19</integer> 299 // CHECK: <key>col</key><integer>4</integer> 300 // CHECK: <key>file</key><integer>0</integer> 301 // CHECK: </dict> 302 // CHECK: <dict> 303 // CHECK: <key>line</key><integer>19</integer> 304 // CHECK: <key>col</key><integer>4</integer> 305 // CHECK: <key>file</key><integer>0</integer> 306 // CHECK: </dict> 307 // CHECK: </array> 308 // CHECK: </array> 309 // CHECK: <key>depth</key><integer>0</integer> 310 // CHECK: <key>extended_message</key> 311 // CHECK: <string>Dereference of null pointer (loaded from variable 'q')</string> 312 // CHECK: <key>message</key> 313 // CHECK: <string>Dereference of null pointer (loaded from variable 'q')</string> 314 // CHECK: </dict> 315 // CHECK: </array> 316 // CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'q')</string> 317 // CHECK: <key>category</key><string>Logic error</string> 318 // CHECK: <key>type</key><string>Dereference of null pointer</string> 319 // CHECK: <key>issue_context_kind</key><string>function</string> 320 // CHECK: <key>issue_context</key><string>test_null_assign_transitive</string> 321 // CHECK: <key>location</key> 322 // CHECK: <dict> 323 // CHECK: <key>line</key><integer>19</integer> 324 // CHECK: <key>col</key><integer>3</integer> 325 // CHECK: <key>file</key><integer>0</integer> 326 // CHECK: </dict> 327 // CHECK: </dict> 328 // CHECK: <dict> 329 // CHECK: <key>path</key> 330 // CHECK: <array> 331 // CHECK: <dict> 332 // CHECK: <key>kind</key><string>control</string> 333 // CHECK: <key>edges</key> 334 // CHECK: <array> 335 // CHECK: <dict> 336 // CHECK: <key>start</key> 337 // CHECK: <array> 338 // CHECK: <dict> 339 // CHECK: <key>line</key><integer>23</integer> 340 // CHECK: <key>col</key><integer>3</integer> 341 // CHECK: <key>file</key><integer>0</integer> 342 // CHECK: </dict> 343 // CHECK: <dict> 344 // CHECK: <key>line</key><integer>23</integer> 345 // CHECK: <key>col</key><integer>3</integer> 346 // CHECK: <key>file</key><integer>0</integer> 347 // CHECK: </dict> 348 // CHECK: </array> 349 // CHECK: <key>end</key> 350 // CHECK: <array> 351 // CHECK: <dict> 352 // CHECK: <key>line</key><integer>23</integer> 353 // CHECK: <key>col</key><integer>7</integer> 354 // CHECK: <key>file</key><integer>0</integer> 355 // CHECK: </dict> 356 // CHECK: <dict> 357 // CHECK: <key>line</key><integer>23</integer> 358 // CHECK: <key>col</key><integer>8</integer> 359 // CHECK: <key>file</key><integer>0</integer> 360 // CHECK: </dict> 361 // CHECK: </array> 362 // CHECK: </dict> 363 // CHECK: </array> 364 // CHECK: </dict> 365 // CHECK: <dict> 366 // CHECK: <key>kind</key><string>event</string> 367 // CHECK: <key>location</key> 368 // CHECK: <dict> 369 // CHECK: <key>line</key><integer>23</integer> 370 // CHECK: <key>col</key><integer>7</integer> 371 // CHECK: <key>file</key><integer>0</integer> 372 // CHECK: </dict> 373 // CHECK: <key>ranges</key> 374 // CHECK: <array> 375 // CHECK: <array> 376 // CHECK: <dict> 377 // CHECK: <key>line</key><integer>23</integer> 378 // CHECK: <key>col</key><integer>7</integer> 379 // CHECK: <key>file</key><integer>0</integer> 380 // CHECK: </dict> 381 // CHECK: <dict> 382 // CHECK: <key>line</key><integer>23</integer> 383 // CHECK: <key>col</key><integer>8</integer> 384 // CHECK: <key>file</key><integer>0</integer> 385 // CHECK: </dict> 386 // CHECK: </array> 387 // CHECK: </array> 388 // CHECK: <key>depth</key><integer>0</integer> 389 // CHECK: <key>extended_message</key> 390 // CHECK: <string>Assuming 'p' is null</string> 391 // CHECK: <key>message</key> 392 // CHECK: <string>Assuming 'p' is null</string> 393 // CHECK: </dict> 394 // CHECK: <dict> 395 // CHECK: <key>kind</key><string>control</string> 396 // CHECK: <key>edges</key> 397 // CHECK: <array> 398 // CHECK: <dict> 399 // CHECK: <key>start</key> 400 // CHECK: <array> 401 // CHECK: <dict> 402 // CHECK: <key>line</key><integer>23</integer> 403 // CHECK: <key>col</key><integer>7</integer> 404 // CHECK: <key>file</key><integer>0</integer> 405 // CHECK: </dict> 406 // CHECK: <dict> 407 // CHECK: <key>line</key><integer>23</integer> 408 // CHECK: <key>col</key><integer>8</integer> 409 // CHECK: <key>file</key><integer>0</integer> 410 // CHECK: </dict> 411 // CHECK: </array> 412 // CHECK: <key>end</key> 413 // CHECK: <array> 414 // CHECK: <dict> 415 // CHECK: <key>line</key><integer>24</integer> 416 // CHECK: <key>col</key><integer>5</integer> 417 // CHECK: <key>file</key><integer>0</integer> 418 // CHECK: </dict> 419 // CHECK: <dict> 420 // CHECK: <key>line</key><integer>24</integer> 421 // CHECK: <key>col</key><integer>5</integer> 422 // CHECK: <key>file</key><integer>0</integer> 423 // CHECK: </dict> 424 // CHECK: </array> 425 // CHECK: </dict> 426 // CHECK: </array> 427 // CHECK: </dict> 428 // CHECK: <dict> 429 // CHECK: <key>kind</key><string>event</string> 430 // CHECK: <key>location</key> 431 // CHECK: <dict> 432 // CHECK: <key>line</key><integer>24</integer> 433 // CHECK: <key>col</key><integer>5</integer> 434 // CHECK: <key>file</key><integer>0</integer> 435 // CHECK: </dict> 436 // CHECK: <key>ranges</key> 437 // CHECK: <array> 438 // CHECK: <array> 439 // CHECK: <dict> 440 // CHECK: <key>line</key><integer>24</integer> 441 // CHECK: <key>col</key><integer>6</integer> 442 // CHECK: <key>file</key><integer>0</integer> 443 // CHECK: </dict> 444 // CHECK: <dict> 445 // CHECK: <key>line</key><integer>24</integer> 446 // CHECK: <key>col</key><integer>6</integer> 447 // CHECK: <key>file</key><integer>0</integer> 448 // CHECK: </dict> 449 // CHECK: </array> 450 // CHECK: </array> 451 // CHECK: <key>depth</key><integer>0</integer> 452 // CHECK: <key>extended_message</key> 453 // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> 454 // CHECK: <key>message</key> 455 // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> 456 // CHECK: </dict> 457 // CHECK: </array> 458 // CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> 459 // CHECK: <key>category</key><string>Logic error</string> 460 // CHECK: <key>type</key><string>Dereference of null pointer</string> 461 // CHECK: <key>issue_context_kind</key><string>function</string> 462 // CHECK: <key>issue_context</key><string>test_null_cond</string> 463 // CHECK: <key>location</key> 464 // CHECK: <dict> 465 // CHECK: <key>line</key><integer>24</integer> 466 // CHECK: <key>col</key><integer>5</integer> 467 // CHECK: <key>file</key><integer>0</integer> 468 // CHECK: </dict> 469 // CHECK: </dict> 470 // CHECK: <dict> 471 // CHECK: <key>path</key> 472 // CHECK: <array> 473 // CHECK: <dict> 474 // CHECK: <key>kind</key><string>control</string> 475 // CHECK: <key>edges</key> 476 // CHECK: <array> 477 // CHECK: <dict> 478 // CHECK: <key>start</key> 479 // CHECK: <array> 480 // CHECK: <dict> 481 // CHECK: <key>line</key><integer>29</integer> 482 // CHECK: <key>col</key><integer>3</integer> 483 // CHECK: <key>file</key><integer>0</integer> 484 // CHECK: </dict> 485 // CHECK: <dict> 486 // CHECK: <key>line</key><integer>29</integer> 487 // CHECK: <key>col</key><integer>3</integer> 488 // CHECK: <key>file</key><integer>0</integer> 489 // CHECK: </dict> 490 // CHECK: </array> 491 // CHECK: <key>end</key> 492 // CHECK: <array> 493 // CHECK: <dict> 494 // CHECK: <key>line</key><integer>29</integer> 495 // CHECK: <key>col</key><integer>7</integer> 496 // CHECK: <key>file</key><integer>0</integer> 497 // CHECK: </dict> 498 // CHECK: <dict> 499 // CHECK: <key>line</key><integer>29</integer> 500 // CHECK: <key>col</key><integer>8</integer> 501 // CHECK: <key>file</key><integer>0</integer> 502 // CHECK: </dict> 503 // CHECK: </array> 504 // CHECK: </dict> 505 // CHECK: </array> 506 // CHECK: </dict> 507 // CHECK: <dict> 508 // CHECK: <key>kind</key><string>control</string> 509 // CHECK: <key>edges</key> 510 // CHECK: <array> 511 // CHECK: <dict> 512 // CHECK: <key>start</key> 513 // CHECK: <array> 514 // CHECK: <dict> 515 // CHECK: <key>line</key><integer>29</integer> 516 // CHECK: <key>col</key><integer>7</integer> 517 // CHECK: <key>file</key><integer>0</integer> 518 // CHECK: </dict> 519 // CHECK: <dict> 520 // CHECK: <key>line</key><integer>29</integer> 521 // CHECK: <key>col</key><integer>8</integer> 522 // CHECK: <key>file</key><integer>0</integer> 523 // CHECK: </dict> 524 // CHECK: </array> 525 // CHECK: <key>end</key> 526 // CHECK: <array> 527 // CHECK: <dict> 528 // CHECK: <key>line</key><integer>31</integer> 529 // CHECK: <key>col</key><integer>5</integer> 530 // CHECK: <key>file</key><integer>0</integer> 531 // CHECK: </dict> 532 // CHECK: <dict> 533 // CHECK: <key>line</key><integer>31</integer> 534 // CHECK: <key>col</key><integer>5</integer> 535 // CHECK: <key>file</key><integer>0</integer> 536 // CHECK: </dict> 537 // CHECK: </array> 538 // CHECK: </dict> 539 // CHECK: </array> 540 // CHECK: </dict> 541 // CHECK: <dict> 542 // CHECK: <key>kind</key><string>control</string> 543 // CHECK: <key>edges</key> 544 // CHECK: <array> 545 // CHECK: <dict> 546 // CHECK: <key>start</key> 547 // CHECK: <array> 548 // CHECK: <dict> 549 // CHECK: <key>line</key><integer>31</integer> 550 // CHECK: <key>col</key><integer>5</integer> 551 // CHECK: <key>file</key><integer>0</integer> 552 // CHECK: </dict> 553 // CHECK: <dict> 554 // CHECK: <key>line</key><integer>31</integer> 555 // CHECK: <key>col</key><integer>5</integer> 556 // CHECK: <key>file</key><integer>0</integer> 557 // CHECK: </dict> 558 // CHECK: </array> 559 // CHECK: <key>end</key> 560 // CHECK: <array> 561 // CHECK: <dict> 562 // CHECK: <key>line</key><integer>32</integer> 563 // CHECK: <key>col</key><integer>5</integer> 564 // CHECK: <key>file</key><integer>0</integer> 565 // CHECK: </dict> 566 // CHECK: <dict> 567 // CHECK: <key>line</key><integer>32</integer> 568 // CHECK: <key>col</key><integer>5</integer> 569 // CHECK: <key>file</key><integer>0</integer> 570 // CHECK: </dict> 571 // CHECK: </array> 572 // CHECK: </dict> 573 // CHECK: </array> 574 // CHECK: </dict> 575 // CHECK: <dict> 576 // CHECK: <key>kind</key><string>event</string> 577 // CHECK: <key>location</key> 578 // CHECK: <dict> 579 // CHECK: <key>line</key><integer>32</integer> 580 // CHECK: <key>col</key><integer>5</integer> 581 // CHECK: <key>file</key><integer>0</integer> 582 // CHECK: </dict> 583 // CHECK: <key>ranges</key> 584 // CHECK: <array> 585 // CHECK: <array> 586 // CHECK: <dict> 587 // CHECK: <key>line</key><integer>32</integer> 588 // CHECK: <key>col</key><integer>6</integer> 589 // CHECK: <key>file</key><integer>0</integer> 590 // CHECK: </dict> 591 // CHECK: <dict> 592 // CHECK: <key>line</key><integer>32</integer> 593 // CHECK: <key>col</key><integer>6</integer> 594 // CHECK: <key>file</key><integer>0</integer> 595 // CHECK: </dict> 596 // CHECK: </array> 597 // CHECK: </array> 598 // CHECK: <key>depth</key><integer>0</integer> 599 // CHECK: <key>extended_message</key> 600 // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> 601 // CHECK: <key>message</key> 602 // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> 603 // CHECK: </dict> 604 // CHECK: </array> 605 // CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> 606 // CHECK: <key>category</key><string>Logic error</string> 607 // CHECK: <key>type</key><string>Dereference of null pointer</string> 608 // CHECK: <key>issue_context_kind</key><string>function</string> 609 // CHECK: <key>issue_context</key><string>test_null_cond_transitive</string> 610 // CHECK: <key>location</key> 611 // CHECK: <dict> 612 // CHECK: <key>line</key><integer>32</integer> 613 // CHECK: <key>col</key><integer>5</integer> 614 // CHECK: <key>file</key><integer>0</integer> 615 // CHECK: </dict> 616 // CHECK: </dict> 617 // CHECK: <dict> 618 // CHECK: <key>path</key> 619 // CHECK: <array> 620 // CHECK: <dict> 621 // CHECK: <key>kind</key><string>control</string> 622 // CHECK: <key>edges</key> 623 // CHECK: <array> 624 // CHECK: <dict> 625 // CHECK: <key>start</key> 626 // CHECK: <array> 627 // CHECK: <dict> 628 // CHECK: <key>line</key><integer>37</integer> 629 // CHECK: <key>col</key><integer>3</integer> 630 // CHECK: <key>file</key><integer>0</integer> 631 // CHECK: </dict> 632 // CHECK: <dict> 633 // CHECK: <key>line</key><integer>37</integer> 634 // CHECK: <key>col</key><integer>3</integer> 635 // CHECK: <key>file</key><integer>0</integer> 636 // CHECK: </dict> 637 // CHECK: </array> 638 // CHECK: <key>end</key> 639 // CHECK: <array> 640 // CHECK: <dict> 641 // CHECK: <key>line</key><integer>37</integer> 642 // CHECK: <key>col</key><integer>10</integer> 643 // CHECK: <key>file</key><integer>0</integer> 644 // CHECK: </dict> 645 // CHECK: <dict> 646 // CHECK: <key>line</key><integer>37</integer> 647 // CHECK: <key>col</key><integer>10</integer> 648 // CHECK: <key>file</key><integer>0</integer> 649 // CHECK: </dict> 650 // CHECK: </array> 651 // CHECK: </dict> 652 // CHECK: </array> 653 // CHECK: </dict> 654 // CHECK: <dict> 655 // CHECK: <key>kind</key><string>control</string> 656 // CHECK: <key>edges</key> 657 // CHECK: <array> 658 // CHECK: <dict> 659 // CHECK: <key>start</key> 660 // CHECK: <array> 661 // CHECK: <dict> 662 // CHECK: <key>line</key><integer>37</integer> 663 // CHECK: <key>col</key><integer>10</integer> 664 // CHECK: <key>file</key><integer>0</integer> 665 // CHECK: </dict> 666 // CHECK: <dict> 667 // CHECK: <key>line</key><integer>37</integer> 668 // CHECK: <key>col</key><integer>10</integer> 669 // CHECK: <key>file</key><integer>0</integer> 670 // CHECK: </dict> 671 // CHECK: </array> 672 // CHECK: <key>end</key> 673 // CHECK: <array> 674 // CHECK: <dict> 675 // CHECK: <key>line</key><integer>39</integer> 676 // CHECK: <key>col</key><integer>3</integer> 677 // CHECK: <key>file</key><integer>0</integer> 678 // CHECK: </dict> 679 // CHECK: <dict> 680 // CHECK: <key>line</key><integer>39</integer> 681 // CHECK: <key>col</key><integer>3</integer> 682 // CHECK: <key>file</key><integer>0</integer> 683 // CHECK: </dict> 684 // CHECK: </array> 685 // CHECK: </dict> 686 // CHECK: </array> 687 // CHECK: </dict> 688 // CHECK: <dict> 689 // CHECK: <key>kind</key><string>event</string> 690 // CHECK: <key>location</key> 691 // CHECK: <dict> 692 // CHECK: <key>line</key><integer>39</integer> 693 // CHECK: <key>col</key><integer>3</integer> 694 // CHECK: <key>file</key><integer>0</integer> 695 // CHECK: </dict> 696 // CHECK: <key>ranges</key> 697 // CHECK: <array> 698 // CHECK: <array> 699 // CHECK: <dict> 700 // CHECK: <key>line</key><integer>39</integer> 701 // CHECK: <key>col</key><integer>7</integer> 702 // CHECK: <key>file</key><integer>0</integer> 703 // CHECK: </dict> 704 // CHECK: <dict> 705 // CHECK: <key>line</key><integer>39</integer> 706 // CHECK: <key>col</key><integer>7</integer> 707 // CHECK: <key>file</key><integer>0</integer> 708 // CHECK: </dict> 709 // CHECK: </array> 710 // CHECK: </array> 711 // CHECK: <key>depth</key><integer>0</integer> 712 // CHECK: <key>extended_message</key> 713 // CHECK: <string>Dereference of null pointer (loaded from field 'p')</string> 714 // CHECK: <key>message</key> 715 // CHECK: <string>Dereference of null pointer (loaded from field 'p')</string> 716 // CHECK: </dict> 717 // CHECK: </array> 718 // CHECK: <key>description</key><string>Dereference of null pointer (loaded from field 'p')</string> 719 // CHECK: <key>category</key><string>Logic error</string> 720 // CHECK: <key>type</key><string>Dereference of null pointer</string> 721 // CHECK: <key>issue_context_kind</key><string>function</string> 722 // CHECK: <key>issue_context</key><string>test_null_field</string> 723 // CHECK: <key>location</key> 724 // CHECK: <dict> 725 // CHECK: <key>line</key><integer>39</integer> 726 // CHECK: <key>col</key><integer>3</integer> 727 // CHECK: <key>file</key><integer>0</integer> 728 // CHECK: </dict> 729 // CHECK: </dict> 730 // CHECK: <dict> 731 // CHECK: <key>path</key> 732 // CHECK: <array> 733 // CHECK: <dict> 734 // CHECK: <key>kind</key><string>control</string> 735 // CHECK: <key>edges</key> 736 // CHECK: <array> 737 // CHECK: <dict> 738 // CHECK: <key>start</key> 739 // CHECK: <array> 740 // CHECK: <dict> 741 // CHECK: <key>line</key><integer>44</integer> 742 // CHECK: <key>col</key><integer>3</integer> 743 // CHECK: <key>file</key><integer>0</integer> 744 // CHECK: </dict> 745 // CHECK: <dict> 746 // CHECK: <key>line</key><integer>44</integer> 747 // CHECK: <key>col</key><integer>3</integer> 748 // CHECK: <key>file</key><integer>0</integer> 749 // CHECK: </dict> 750 // CHECK: </array> 751 // CHECK: <key>end</key> 752 // CHECK: <array> 753 // CHECK: <dict> 754 // CHECK: <key>line</key><integer>44</integer> 755 // CHECK: <key>col</key><integer>7</integer> 756 // CHECK: <key>file</key><integer>0</integer> 757 // CHECK: </dict> 758 // CHECK: <dict> 759 // CHECK: <key>line</key><integer>44</integer> 760 // CHECK: <key>col</key><integer>7</integer> 761 // CHECK: <key>file</key><integer>0</integer> 762 // CHECK: </dict> 763 // CHECK: </array> 764 // CHECK: </dict> 765 // CHECK: </array> 766 // CHECK: </dict> 767 // CHECK: <dict> 768 // CHECK: <key>kind</key><string>control</string> 769 // CHECK: <key>edges</key> 770 // CHECK: <array> 771 // CHECK: <dict> 772 // CHECK: <key>start</key> 773 // CHECK: <array> 774 // CHECK: <dict> 775 // CHECK: <key>line</key><integer>44</integer> 776 // CHECK: <key>col</key><integer>7</integer> 777 // CHECK: <key>file</key><integer>0</integer> 778 // CHECK: </dict> 779 // CHECK: <dict> 780 // CHECK: <key>line</key><integer>44</integer> 781 // CHECK: <key>col</key><integer>7</integer> 782 // CHECK: <key>file</key><integer>0</integer> 783 // CHECK: </dict> 784 // CHECK: </array> 785 // CHECK: <key>end</key> 786 // CHECK: <array> 787 // CHECK: <dict> 788 // CHECK: <key>line</key><integer>47</integer> 789 // CHECK: <key>col</key><integer>3</integer> 790 // CHECK: <key>file</key><integer>0</integer> 791 // CHECK: </dict> 792 // CHECK: <dict> 793 // CHECK: <key>line</key><integer>47</integer> 794 // CHECK: <key>col</key><integer>3</integer> 795 // CHECK: <key>file</key><integer>0</integer> 796 // CHECK: </dict> 797 // CHECK: </array> 798 // CHECK: </dict> 799 // CHECK: </array> 800 // CHECK: </dict> 801 // CHECK: <dict> 802 // CHECK: <key>kind</key><string>control</string> 803 // CHECK: <key>edges</key> 804 // CHECK: <array> 805 // CHECK: <dict> 806 // CHECK: <key>start</key> 807 // CHECK: <array> 808 // CHECK: <dict> 809 // CHECK: <key>line</key><integer>47</integer> 810 // CHECK: <key>col</key><integer>3</integer> 811 // CHECK: <key>file</key><integer>0</integer> 812 // CHECK: </dict> 813 // CHECK: <dict> 814 // CHECK: <key>line</key><integer>47</integer> 815 // CHECK: <key>col</key><integer>3</integer> 816 // CHECK: <key>file</key><integer>0</integer> 817 // CHECK: </dict> 818 // CHECK: </array> 819 // CHECK: <key>end</key> 820 // CHECK: <array> 821 // CHECK: <dict> 822 // CHECK: <key>line</key><integer>47</integer> 823 // CHECK: <key>col</key><integer>7</integer> 824 // CHECK: <key>file</key><integer>0</integer> 825 // CHECK: </dict> 826 // CHECK: <dict> 827 // CHECK: <key>line</key><integer>47</integer> 828 // CHECK: <key>col</key><integer>7</integer> 829 // CHECK: <key>file</key><integer>0</integer> 830 // CHECK: </dict> 831 // CHECK: </array> 832 // CHECK: </dict> 833 // CHECK: </array> 834 // CHECK: </dict> 835 // CHECK: <dict> 836 // CHECK: <key>kind</key><string>control</string> 837 // CHECK: <key>edges</key> 838 // CHECK: <array> 839 // CHECK: <dict> 840 // CHECK: <key>start</key> 841 // CHECK: <array> 842 // CHECK: <dict> 843 // CHECK: <key>line</key><integer>47</integer> 844 // CHECK: <key>col</key><integer>7</integer> 845 // CHECK: <key>file</key><integer>0</integer> 846 // CHECK: </dict> 847 // CHECK: <dict> 848 // CHECK: <key>line</key><integer>47</integer> 849 // CHECK: <key>col</key><integer>7</integer> 850 // CHECK: <key>file</key><integer>0</integer> 851 // CHECK: </dict> 852 // CHECK: </array> 853 // CHECK: <key>end</key> 854 // CHECK: <array> 855 // CHECK: <dict> 856 // CHECK: <key>line</key><integer>50</integer> 857 // CHECK: <key>col</key><integer>3</integer> 858 // CHECK: <key>file</key><integer>0</integer> 859 // CHECK: </dict> 860 // CHECK: <dict> 861 // CHECK: <key>line</key><integer>50</integer> 862 // CHECK: <key>col</key><integer>3</integer> 863 // CHECK: <key>file</key><integer>0</integer> 864 // CHECK: </dict> 865 // CHECK: </array> 866 // CHECK: </dict> 867 // CHECK: </array> 868 // CHECK: </dict> 869 // CHECK: <dict> 870 // CHECK: <key>kind</key><string>control</string> 871 // CHECK: <key>edges</key> 872 // CHECK: <array> 873 // CHECK: <dict> 874 // CHECK: <key>start</key> 875 // CHECK: <array> 876 // CHECK: <dict> 877 // CHECK: <key>line</key><integer>50</integer> 878 // CHECK: <key>col</key><integer>3</integer> 879 // CHECK: <key>file</key><integer>0</integer> 880 // CHECK: </dict> 881 // CHECK: <dict> 882 // CHECK: <key>line</key><integer>50</integer> 883 // CHECK: <key>col</key><integer>3</integer> 884 // CHECK: <key>file</key><integer>0</integer> 885 // CHECK: </dict> 886 // CHECK: </array> 887 // CHECK: <key>end</key> 888 // CHECK: <array> 889 // CHECK: <dict> 890 // CHECK: <key>line</key><integer>51</integer> 891 // CHECK: <key>col</key><integer>3</integer> 892 // CHECK: <key>file</key><integer>0</integer> 893 // CHECK: </dict> 894 // CHECK: <dict> 895 // CHECK: <key>line</key><integer>51</integer> 896 // CHECK: <key>col</key><integer>3</integer> 897 // CHECK: <key>file</key><integer>0</integer> 898 // CHECK: </dict> 899 // CHECK: </array> 900 // CHECK: </dict> 901 // CHECK: </array> 902 // CHECK: </dict> 903 // CHECK: <dict> 904 // CHECK: <key>kind</key><string>event</string> 905 // CHECK: <key>location</key> 906 // CHECK: <dict> 907 // CHECK: <key>line</key><integer>51</integer> 908 // CHECK: <key>col</key><integer>3</integer> 909 // CHECK: <key>file</key><integer>0</integer> 910 // CHECK: </dict> 911 // CHECK: <key>ranges</key> 912 // CHECK: <array> 913 // CHECK: <array> 914 // CHECK: <dict> 915 // CHECK: <key>line</key><integer>51</integer> 916 // CHECK: <key>col</key><integer>4</integer> 917 // CHECK: <key>file</key><integer>0</integer> 918 // CHECK: </dict> 919 // CHECK: <dict> 920 // CHECK: <key>line</key><integer>51</integer> 921 // CHECK: <key>col</key><integer>4</integer> 922 // CHECK: <key>file</key><integer>0</integer> 923 // CHECK: </dict> 924 // CHECK: </array> 925 // CHECK: </array> 926 // CHECK: <key>depth</key><integer>0</integer> 927 // CHECK: <key>extended_message</key> 928 // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> 929 // CHECK: <key>message</key> 930 // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> 931 // CHECK: </dict> 932 // CHECK: </array> 933 // CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> 934 // CHECK: <key>category</key><string>Logic error</string> 935 // CHECK: <key>type</key><string>Dereference of null pointer</string> 936 // CHECK: <key>issue_context_kind</key><string>function</string> 937 // CHECK: <key>issue_context</key><string>test_assumptions</string> 938 // CHECK: <key>location</key> 939 // CHECK: <dict> 940 // CHECK: <key>line</key><integer>51</integer> 941 // CHECK: <key>col</key><integer>3</integer> 942 // CHECK: <key>file</key><integer>0</integer> 943 // CHECK: </dict> 944 // CHECK: </dict> 945 // CHECK: <dict> 946 // CHECK: <key>path</key> 947 // CHECK: <array> 948 // CHECK: <dict> 949 // CHECK: <key>kind</key><string>control</string> 950 // CHECK: <key>edges</key> 951 // CHECK: <array> 952 // CHECK: <dict> 953 // CHECK: <key>start</key> 954 // CHECK: <array> 955 // CHECK: <dict> 956 // CHECK: <key>line</key><integer>56</integer> 957 // CHECK: <key>col</key><integer>3</integer> 958 // CHECK: <key>file</key><integer>0</integer> 959 // CHECK: </dict> 960 // CHECK: <dict> 961 // CHECK: <key>line</key><integer>56</integer> 962 // CHECK: <key>col</key><integer>3</integer> 963 // CHECK: <key>file</key><integer>0</integer> 964 // CHECK: </dict> 965 // CHECK: </array> 966 // CHECK: <key>end</key> 967 // CHECK: <array> 968 // CHECK: <dict> 969 // CHECK: <key>line</key><integer>57</integer> 970 // CHECK: <key>col</key><integer>3</integer> 971 // CHECK: <key>file</key><integer>0</integer> 972 // CHECK: </dict> 973 // CHECK: <dict> 974 // CHECK: <key>line</key><integer>57</integer> 975 // CHECK: <key>col</key><integer>3</integer> 976 // CHECK: <key>file</key><integer>0</integer> 977 // CHECK: </dict> 978 // CHECK: </array> 979 // CHECK: </dict> 980 // CHECK: </array> 981 // CHECK: </dict> 982 // CHECK: <dict> 983 // CHECK: <key>kind</key><string>control</string> 984 // CHECK: <key>edges</key> 985 // CHECK: <array> 986 // CHECK: <dict> 987 // CHECK: <key>start</key> 988 // CHECK: <array> 989 // CHECK: <dict> 990 // CHECK: <key>line</key><integer>57</integer> 991 // CHECK: <key>col</key><integer>3</integer> 992 // CHECK: <key>file</key><integer>0</integer> 993 // CHECK: </dict> 994 // CHECK: <dict> 995 // CHECK: <key>line</key><integer>57</integer> 996 // CHECK: <key>col</key><integer>3</integer> 997 // CHECK: <key>file</key><integer>0</integer> 998 // CHECK: </dict> 999 // CHECK: </array> 1000 // CHECK: <key>end</key> 1001 // CHECK: <array> 1002 // CHECK: <dict> 1003 // CHECK: <key>line</key><integer>57</integer> 1004 // CHECK: <key>col</key><integer>7</integer> 1005 // CHECK: <key>file</key><integer>0</integer> 1006 // CHECK: </dict> 1007 // CHECK: <dict> 1008 // CHECK: <key>line</key><integer>57</integer> 1009 // CHECK: <key>col</key><integer>7</integer> 1010 // CHECK: <key>file</key><integer>0</integer> 1011 // CHECK: </dict> 1012 // CHECK: </array> 1013 // CHECK: </dict> 1014 // CHECK: </array> 1015 // CHECK: </dict> 1016 // CHECK: <dict> 1017 // CHECK: <key>kind</key><string>event</string> 1018 // CHECK: <key>location</key> 1019 // CHECK: <dict> 1020 // CHECK: <key>line</key><integer>57</integer> 1021 // CHECK: <key>col</key><integer>7</integer> 1022 // CHECK: <key>file</key><integer>0</integer> 1023 // CHECK: </dict> 1024 // CHECK: <key>ranges</key> 1025 // CHECK: <array> 1026 // CHECK: <array> 1027 // CHECK: <dict> 1028 // CHECK: <key>line</key><integer>57</integer> 1029 // CHECK: <key>col</key><integer>7</integer> 1030 // CHECK: <key>file</key><integer>0</integer> 1031 // CHECK: </dict> 1032 // CHECK: <dict> 1033 // CHECK: <key>line</key><integer>57</integer> 1034 // CHECK: <key>col</key><integer>7</integer> 1035 // CHECK: <key>file</key><integer>0</integer> 1036 // CHECK: </dict> 1037 // CHECK: </array> 1038 // CHECK: </array> 1039 // CHECK: <key>depth</key><integer>0</integer> 1040 // CHECK: <key>extended_message</key> 1041 // CHECK: <string>Assuming 'p' is null</string> 1042 // CHECK: <key>message</key> 1043 // CHECK: <string>Assuming 'p' is null</string> 1044 // CHECK: </dict> 1045 // CHECK: <dict> 1046 // CHECK: <key>kind</key><string>control</string> 1047 // CHECK: <key>edges</key> 1048 // CHECK: <array> 1049 // CHECK: <dict> 1050 // CHECK: <key>start</key> 1051 // CHECK: <array> 1052 // CHECK: <dict> 1053 // CHECK: <key>line</key><integer>57</integer> 1054 // CHECK: <key>col</key><integer>7</integer> 1055 // CHECK: <key>file</key><integer>0</integer> 1056 // CHECK: </dict> 1057 // CHECK: <dict> 1058 // CHECK: <key>line</key><integer>57</integer> 1059 // CHECK: <key>col</key><integer>7</integer> 1060 // CHECK: <key>file</key><integer>0</integer> 1061 // CHECK: </dict> 1062 // CHECK: </array> 1063 // CHECK: <key>end</key> 1064 // CHECK: <array> 1065 // CHECK: <dict> 1066 // CHECK: <key>line</key><integer>59</integer> 1067 // CHECK: <key>col</key><integer>3</integer> 1068 // CHECK: <key>file</key><integer>0</integer> 1069 // CHECK: </dict> 1070 // CHECK: <dict> 1071 // CHECK: <key>line</key><integer>59</integer> 1072 // CHECK: <key>col</key><integer>3</integer> 1073 // CHECK: <key>file</key><integer>0</integer> 1074 // CHECK: </dict> 1075 // CHECK: </array> 1076 // CHECK: </dict> 1077 // CHECK: </array> 1078 // CHECK: </dict> 1079 // CHECK: <dict> 1080 // CHECK: <key>kind</key><string>control</string> 1081 // CHECK: <key>edges</key> 1082 // CHECK: <array> 1083 // CHECK: <dict> 1084 // CHECK: <key>start</key> 1085 // CHECK: <array> 1086 // CHECK: <dict> 1087 // CHECK: <key>line</key><integer>59</integer> 1088 // CHECK: <key>col</key><integer>3</integer> 1089 // CHECK: <key>file</key><integer>0</integer> 1090 // CHECK: </dict> 1091 // CHECK: <dict> 1092 // CHECK: <key>line</key><integer>59</integer> 1093 // CHECK: <key>col</key><integer>3</integer> 1094 // CHECK: <key>file</key><integer>0</integer> 1095 // CHECK: </dict> 1096 // CHECK: </array> 1097 // CHECK: <key>end</key> 1098 // CHECK: <array> 1099 // CHECK: <dict> 1100 // CHECK: <key>line</key><integer>59</integer> 1101 // CHECK: <key>col</key><integer>10</integer> 1102 // CHECK: <key>file</key><integer>0</integer> 1103 // CHECK: </dict> 1104 // CHECK: <dict> 1105 // CHECK: <key>line</key><integer>59</integer> 1106 // CHECK: <key>col</key><integer>11</integer> 1107 // CHECK: <key>file</key><integer>0</integer> 1108 // CHECK: </dict> 1109 // CHECK: </array> 1110 // CHECK: </dict> 1111 // CHECK: </array> 1112 // CHECK: </dict> 1113 // CHECK: <dict> 1114 // CHECK: <key>kind</key><string>event</string> 1115 // CHECK: <key>location</key> 1116 // CHECK: <dict> 1117 // CHECK: <key>line</key><integer>59</integer> 1118 // CHECK: <key>col</key><integer>10</integer> 1119 // CHECK: <key>file</key><integer>0</integer> 1120 // CHECK: </dict> 1121 // CHECK: <key>ranges</key> 1122 // CHECK: <array> 1123 // CHECK: <array> 1124 // CHECK: <dict> 1125 // CHECK: <key>line</key><integer>59</integer> 1126 // CHECK: <key>col</key><integer>11</integer> 1127 // CHECK: <key>file</key><integer>0</integer> 1128 // CHECK: </dict> 1129 // CHECK: <dict> 1130 // CHECK: <key>line</key><integer>59</integer> 1131 // CHECK: <key>col</key><integer>11</integer> 1132 // CHECK: <key>file</key><integer>0</integer> 1133 // CHECK: </dict> 1134 // CHECK: </array> 1135 // CHECK: </array> 1136 // CHECK: <key>depth</key><integer>0</integer> 1137 // CHECK: <key>extended_message</key> 1138 // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> 1139 // CHECK: <key>message</key> 1140 // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> 1141 // CHECK: </dict> 1142 // CHECK: </array> 1143 // CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> 1144 // CHECK: <key>category</key><string>Logic error</string> 1145 // CHECK: <key>type</key><string>Dereference of null pointer</string> 1146 // CHECK: <key>issue_context_kind</key><string>function</string> 1147 // CHECK: <key>issue_context</key><string>test_cond_assign</string> 1148 // CHECK: <key>location</key> 1149 // CHECK: <dict> 1150 // CHECK: <key>line</key><integer>59</integer> 1151 // CHECK: <key>col</key><integer>10</integer> 1152 // CHECK: <key>file</key><integer>0</integer> 1153 // CHECK: </dict> 1154 // CHECK: </dict> 1155 // CHECK: <dict> 1156 // CHECK: <key>path</key> 1157 // CHECK: <array> 1158 // CHECK: <dict> 1159 // CHECK: <key>kind</key><string>control</string> 1160 // CHECK: <key>edges</key> 1161 // CHECK: <array> 1162 // CHECK: <dict> 1163 // CHECK: <key>start</key> 1164 // CHECK: <array> 1165 // CHECK: <dict> 1166 // CHECK: <key>line</key><integer>76</integer> 1167 // CHECK: <key>col</key><integer>3</integer> 1168 // CHECK: <key>file</key><integer>0</integer> 1169 // CHECK: </dict> 1170 // CHECK: <dict> 1171 // CHECK: <key>line</key><integer>76</integer> 1172 // CHECK: <key>col</key><integer>3</integer> 1173 // CHECK: <key>file</key><integer>0</integer> 1174 // CHECK: </dict> 1175 // CHECK: </array> 1176 // CHECK: <key>end</key> 1177 // CHECK: <array> 1178 // CHECK: <dict> 1179 // CHECK: <key>line</key><integer>76</integer> 1180 // CHECK: <key>col</key><integer>7</integer> 1181 // CHECK: <key>file</key><integer>0</integer> 1182 // CHECK: </dict> 1183 // CHECK: <dict> 1184 // CHECK: <key>line</key><integer>76</integer> 1185 // CHECK: <key>col</key><integer>7</integer> 1186 // CHECK: <key>file</key><integer>0</integer> 1187 // CHECK: </dict> 1188 // CHECK: </array> 1189 // CHECK: </dict> 1190 // CHECK: </array> 1191 // CHECK: </dict> 1192 // CHECK: <dict> 1193 // CHECK: <key>kind</key><string>control</string> 1194 // CHECK: <key>edges</key> 1195 // CHECK: <array> 1196 // CHECK: <dict> 1197 // CHECK: <key>start</key> 1198 // CHECK: <array> 1199 // CHECK: <dict> 1200 // CHECK: <key>line</key><integer>76</integer> 1201 // CHECK: <key>col</key><integer>7</integer> 1202 // CHECK: <key>file</key><integer>0</integer> 1203 // CHECK: </dict> 1204 // CHECK: <dict> 1205 // CHECK: <key>line</key><integer>76</integer> 1206 // CHECK: <key>col</key><integer>7</integer> 1207 // CHECK: <key>file</key><integer>0</integer> 1208 // CHECK: </dict> 1209 // CHECK: </array> 1210 // CHECK: <key>end</key> 1211 // CHECK: <array> 1212 // CHECK: <dict> 1213 // CHECK: <key>line</key><integer>76</integer> 1214 // CHECK: <key>col</key><integer>3</integer> 1215 // CHECK: <key>file</key><integer>0</integer> 1216 // CHECK: </dict> 1217 // CHECK: <dict> 1218 // CHECK: <key>line</key><integer>76</integer> 1219 // CHECK: <key>col</key><integer>3</integer> 1220 // CHECK: <key>file</key><integer>0</integer> 1221 // CHECK: </dict> 1222 // CHECK: </array> 1223 // CHECK: </dict> 1224 // CHECK: </array> 1225 // CHECK: </dict> 1226 // CHECK: <dict> 1227 // CHECK: <key>kind</key><string>control</string> 1228 // CHECK: <key>edges</key> 1229 // CHECK: <array> 1230 // CHECK: <dict> 1231 // CHECK: <key>start</key> 1232 // CHECK: <array> 1233 // CHECK: <dict> 1234 // CHECK: <key>line</key><integer>76</integer> 1235 // CHECK: <key>col</key><integer>3</integer> 1236 // CHECK: <key>file</key><integer>0</integer> 1237 // CHECK: </dict> 1238 // CHECK: <dict> 1239 // CHECK: <key>line</key><integer>76</integer> 1240 // CHECK: <key>col</key><integer>3</integer> 1241 // CHECK: <key>file</key><integer>0</integer> 1242 // CHECK: </dict> 1243 // CHECK: </array> 1244 // CHECK: <key>end</key> 1245 // CHECK: <array> 1246 // CHECK: <dict> 1247 // CHECK: <key>line</key><integer>77</integer> 1248 // CHECK: <key>col</key><integer>5</integer> 1249 // CHECK: <key>file</key><integer>0</integer> 1250 // CHECK: </dict> 1251 // CHECK: <dict> 1252 // CHECK: <key>line</key><integer>77</integer> 1253 // CHECK: <key>col</key><integer>5</integer> 1254 // CHECK: <key>file</key><integer>0</integer> 1255 // CHECK: </dict> 1256 // CHECK: </array> 1257 // CHECK: </dict> 1258 // CHECK: </array> 1259 // CHECK: </dict> 1260 // CHECK: <dict> 1261 // CHECK: <key>kind</key><string>control</string> 1262 // CHECK: <key>edges</key> 1263 // CHECK: <array> 1264 // CHECK: <dict> 1265 // CHECK: <key>start</key> 1266 // CHECK: <array> 1267 // CHECK: <dict> 1268 // CHECK: <key>line</key><integer>77</integer> 1269 // CHECK: <key>col</key><integer>5</integer> 1270 // CHECK: <key>file</key><integer>0</integer> 1271 // CHECK: </dict> 1272 // CHECK: <dict> 1273 // CHECK: <key>line</key><integer>77</integer> 1274 // CHECK: <key>col</key><integer>5</integer> 1275 // CHECK: <key>file</key><integer>0</integer> 1276 // CHECK: </dict> 1277 // CHECK: </array> 1278 // CHECK: <key>end</key> 1279 // CHECK: <array> 1280 // CHECK: <dict> 1281 // CHECK: <key>line</key><integer>78</integer> 1282 // CHECK: <key>col</key><integer>5</integer> 1283 // CHECK: <key>file</key><integer>0</integer> 1284 // CHECK: </dict> 1285 // CHECK: <dict> 1286 // CHECK: <key>line</key><integer>78</integer> 1287 // CHECK: <key>col</key><integer>5</integer> 1288 // CHECK: <key>file</key><integer>0</integer> 1289 // CHECK: </dict> 1290 // CHECK: </array> 1291 // CHECK: </dict> 1292 // CHECK: </array> 1293 // CHECK: </dict> 1294 // CHECK: <dict> 1295 // CHECK: <key>kind</key><string>event</string> 1296 // CHECK: <key>location</key> 1297 // CHECK: <dict> 1298 // CHECK: <key>line</key><integer>78</integer> 1299 // CHECK: <key>col</key><integer>5</integer> 1300 // CHECK: <key>file</key><integer>0</integer> 1301 // CHECK: </dict> 1302 // CHECK: <key>ranges</key> 1303 // CHECK: <array> 1304 // CHECK: <array> 1305 // CHECK: <dict> 1306 // CHECK: <key>line</key><integer>78</integer> 1307 // CHECK: <key>col</key><integer>6</integer> 1308 // CHECK: <key>file</key><integer>0</integer> 1309 // CHECK: </dict> 1310 // CHECK: <dict> 1311 // CHECK: <key>line</key><integer>78</integer> 1312 // CHECK: <key>col</key><integer>6</integer> 1313 // CHECK: <key>file</key><integer>0</integer> 1314 // CHECK: </dict> 1315 // CHECK: </array> 1316 // CHECK: </array> 1317 // CHECK: <key>depth</key><integer>0</integer> 1318 // CHECK: <key>extended_message</key> 1319 // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> 1320 // CHECK: <key>message</key> 1321 // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> 1322 // CHECK: </dict> 1323 // CHECK: </array> 1324 // CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> 1325 // CHECK: <key>category</key><string>Logic error</string> 1326 // CHECK: <key>type</key><string>Dereference of null pointer</string> 1327 // CHECK: <key>issue_context_kind</key><string>Objective-C method</string> 1328 // CHECK: <key>issue_context</key><string>test</string> 1329 // CHECK: <key>location</key> 1330 // CHECK: <dict> 1331 // CHECK: <key>line</key><integer>78</integer> 1332 // CHECK: <key>col</key><integer>5</integer> 1333 // CHECK: <key>file</key><integer>0</integer> 1334 // CHECK: </dict> 1335 // CHECK: </dict> 1336 // CHECK: </array> 1337 // CHECK: </dict> 1338 // CHECK: </plist> 1339 1340
