1 // RUN: %clang_cc1 -analyze -analyzer-checker=core,experimental.core -analyzer-store=region -analyzer-constraints=range -fblocks -analyzer-output=plist -o - %s | FileCheck %s 2 // XFAIL: * 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 // CHECK: <?xml version="1.0" encoding="UTF-8"?> 42 // CHECK: <!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd"> 43 // CHECK: <plist version="1.0"> 44 // CHECK: <dict> 45 // CHECK: <key>files</key> 46 // CHECK: <array> 47 // CHECK: </array> 48 // CHECK: <key>diagnostics</key> 49 // CHECK: <array> 50 // CHECK: <dict> 51 // CHECK: <key>path</key> 52 // CHECK: <array> 53 // CHECK: <dict> 54 // CHECK: <key>kind</key><string>event</string> 55 // CHECK: <key>location</key> 56 // CHECK: <dict> 57 // CHECK: <key>line</key><integer>4</integer> 58 // CHECK: <key>col</key><integer>3</integer> 59 // CHECK: <key>file</key><integer>0</integer> 60 // CHECK: </dict> 61 // CHECK: <key>ranges</key> 62 // CHECK: <array> 63 // CHECK: <array> 64 // CHECK: <dict> 65 // CHECK: <key>line</key><integer>4</integer> 66 // CHECK: <key>col</key><integer>3</integer> 67 // CHECK: <key>file</key><integer>0</integer> 68 // CHECK: </dict> 69 // CHECK: <dict> 70 // CHECK: <key>line</key><integer>4</integer> 71 // CHECK: <key>col</key><integer>8</integer> 72 // CHECK: <key>file</key><integer>0</integer> 73 // CHECK: </dict> 74 // CHECK: </array> 75 // CHECK: </array> 76 // CHECK: <key>extended_message</key> 77 // CHECK: <string>Variable 'p' initialized to a null pointer value</string> 78 // CHECK: <key>message</key> 79 // CHECK: <string>Variable 'p' initialized to a null pointer value</string> 80 // CHECK: </dict> 81 // CHECK: <dict> 82 // CHECK: <key>kind</key><string>control</string> 83 // CHECK: <key>edges</key> 84 // CHECK: <array> 85 // CHECK: <dict> 86 // CHECK: <key>start</key> 87 // CHECK: <array> 88 // CHECK: <dict> 89 // CHECK: <key>line</key><integer>4</integer> 90 // CHECK: <key>col</key><integer>3</integer> 91 // CHECK: <key>file</key><integer>0</integer> 92 // CHECK: </dict> 93 // CHECK: <dict> 94 // CHECK: <key>line</key><integer>4</integer> 95 // CHECK: <key>col</key><integer>8</integer> 96 // CHECK: <key>file</key><integer>0</integer> 97 // CHECK: </dict> 98 // CHECK: </array> 99 // CHECK: <key>end</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>4</integer> 109 // CHECK: <key>file</key><integer>0</integer> 110 // CHECK: </dict> 111 // CHECK: </array> 112 // CHECK: </dict> 113 // CHECK: </array> 114 // CHECK: </dict> 115 // CHECK: <dict> 116 // CHECK: <key>kind</key><string>event</string> 117 // CHECK: <key>location</key> 118 // CHECK: <dict> 119 // CHECK: <key>line</key><integer>5</integer> 120 // CHECK: <key>col</key><integer>3</integer> 121 // CHECK: <key>file</key><integer>0</integer> 122 // CHECK: </dict> 123 // CHECK: <key>ranges</key> 124 // CHECK: <array> 125 // CHECK: <array> 126 // CHECK: <dict> 127 // CHECK: <key>line</key><integer>5</integer> 128 // CHECK: <key>col</key><integer>4</integer> 129 // CHECK: <key>file</key><integer>0</integer> 130 // CHECK: </dict> 131 // CHECK: <dict> 132 // CHECK: <key>line</key><integer>5</integer> 133 // CHECK: <key>col</key><integer>4</integer> 134 // CHECK: <key>file</key><integer>0</integer> 135 // CHECK: </dict> 136 // CHECK: </array> 137 // CHECK: </array> 138 // CHECK: <key>extended_message</key> 139 // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> 140 // CHECK: <key>message</key> 141 // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> 142 // CHECK: </dict> 143 // CHECK: </array> 144 // CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> 145 // CHECK: <key>category</key><string>Logic error</string> 146 // CHECK: <key>type</key><string>Dereference of null pointer</string> 147 // CHECK: <key>location</key> 148 // CHECK: <dict> 149 // CHECK: <key>line</key><integer>5</integer> 150 // CHECK: <key>col</key><integer>3</integer> 151 // CHECK: <key>file</key><integer>0</integer> 152 // CHECK: </dict> 153 // CHECK: </dict> 154 // CHECK: <dict> 155 // CHECK: <key>path</key> 156 // CHECK: <array> 157 // CHECK: <dict> 158 // CHECK: <key>kind</key><string>control</string> 159 // CHECK: <key>edges</key> 160 // CHECK: <array> 161 // CHECK: <dict> 162 // CHECK: <key>start</key> 163 // CHECK: <array> 164 // CHECK: <dict> 165 // CHECK: <key>line</key><integer>9</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: <key>line</key><integer>9</integer> 171 // CHECK: <key>col</key><integer>3</integer> 172 // CHECK: <key>file</key><integer>0</integer> 173 // CHECK: </dict> 174 // CHECK: </array> 175 // CHECK: <key>end</key> 176 // CHECK: <array> 177 // CHECK: <dict> 178 // CHECK: <key>line</key><integer>10</integer> 179 // CHECK: <key>col</key><integer>3</integer> 180 // CHECK: <key>file</key><integer>0</integer> 181 // CHECK: </dict> 182 // CHECK: <dict> 183 // CHECK: <key>line</key><integer>10</integer> 184 // CHECK: <key>col</key><integer>3</integer> 185 // CHECK: <key>file</key><integer>0</integer> 186 // CHECK: </dict> 187 // CHECK: </array> 188 // CHECK: </dict> 189 // CHECK: </array> 190 // CHECK: </dict> 191 // CHECK: <dict> 192 // CHECK: <key>kind</key><string>event</string> 193 // CHECK: <key>location</key> 194 // CHECK: <dict> 195 // CHECK: <key>line</key><integer>10</integer> 196 // CHECK: <key>col</key><integer>3</integer> 197 // CHECK: <key>file</key><integer>0</integer> 198 // CHECK: </dict> 199 // CHECK: <key>ranges</key> 200 // CHECK: <array> 201 // CHECK: <array> 202 // CHECK: <dict> 203 // CHECK: <key>line</key><integer>10</integer> 204 // CHECK: <key>col</key><integer>3</integer> 205 // CHECK: <key>file</key><integer>0</integer> 206 // CHECK: </dict> 207 // CHECK: <dict> 208 // CHECK: <key>line</key><integer>10</integer> 209 // CHECK: <key>col</key><integer>7</integer> 210 // CHECK: <key>file</key><integer>0</integer> 211 // CHECK: </dict> 212 // CHECK: </array> 213 // CHECK: </array> 214 // CHECK: <key>extended_message</key> 215 // CHECK: <string>Null pointer value stored to 'p'</string> 216 // CHECK: <key>message</key> 217 // CHECK: <string>Null pointer value stored to 'p'</string> 218 // CHECK: </dict> 219 // CHECK: <dict> 220 // CHECK: <key>kind</key><string>control</string> 221 // CHECK: <key>edges</key> 222 // CHECK: <array> 223 // CHECK: <dict> 224 // CHECK: <key>start</key> 225 // CHECK: <array> 226 // CHECK: <dict> 227 // CHECK: <key>line</key><integer>10</integer> 228 // CHECK: <key>col</key><integer>3</integer> 229 // CHECK: <key>file</key><integer>0</integer> 230 // CHECK: </dict> 231 // CHECK: <dict> 232 // CHECK: <key>line</key><integer>10</integer> 233 // CHECK: <key>col</key><integer>3</integer> 234 // CHECK: <key>file</key><integer>0</integer> 235 // CHECK: </dict> 236 // CHECK: </array> 237 // CHECK: <key>end</key> 238 // CHECK: <array> 239 // CHECK: <dict> 240 // CHECK: <key>line</key><integer>11</integer> 241 // CHECK: <key>col</key><integer>3</integer> 242 // CHECK: <key>file</key><integer>0</integer> 243 // CHECK: </dict> 244 // CHECK: <dict> 245 // CHECK: <key>line</key><integer>11</integer> 246 // CHECK: <key>col</key><integer>4</integer> 247 // CHECK: <key>file</key><integer>0</integer> 248 // CHECK: </dict> 249 // CHECK: </array> 250 // CHECK: </dict> 251 // CHECK: </array> 252 // CHECK: </dict> 253 // CHECK: <dict> 254 // CHECK: <key>kind</key><string>event</string> 255 // CHECK: <key>location</key> 256 // CHECK: <dict> 257 // CHECK: <key>line</key><integer>11</integer> 258 // CHECK: <key>col</key><integer>3</integer> 259 // CHECK: <key>file</key><integer>0</integer> 260 // CHECK: </dict> 261 // CHECK: <key>ranges</key> 262 // CHECK: <array> 263 // CHECK: <array> 264 // CHECK: <dict> 265 // CHECK: <key>line</key><integer>11</integer> 266 // CHECK: <key>col</key><integer>4</integer> 267 // CHECK: <key>file</key><integer>0</integer> 268 // CHECK: </dict> 269 // CHECK: <dict> 270 // CHECK: <key>line</key><integer>11</integer> 271 // CHECK: <key>col</key><integer>4</integer> 272 // CHECK: <key>file</key><integer>0</integer> 273 // CHECK: </dict> 274 // CHECK: </array> 275 // CHECK: </array> 276 // CHECK: <key>extended_message</key> 277 // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> 278 // CHECK: <key>message</key> 279 // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> 280 // CHECK: </dict> 281 // CHECK: </array> 282 // CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> 283 // CHECK: <key>category</key><string>Logic error</string> 284 // CHECK: <key>type</key><string>Dereference of null pointer</string> 285 // CHECK: <key>location</key> 286 // CHECK: <dict> 287 // CHECK: <key>line</key><integer>11</integer> 288 // CHECK: <key>col</key><integer>3</integer> 289 // CHECK: <key>file</key><integer>0</integer> 290 // CHECK: </dict> 291 // CHECK: </dict> 292 // CHECK: <dict> 293 // CHECK: <key>path</key> 294 // CHECK: <array> 295 // CHECK: <dict> 296 // CHECK: <key>kind</key><string>control</string> 297 // CHECK: <key>edges</key> 298 // CHECK: <array> 299 // CHECK: <dict> 300 // CHECK: <key>start</key> 301 // CHECK: <array> 302 // CHECK: <dict> 303 // CHECK: <key>line</key><integer>15</integer> 304 // CHECK: <key>col</key><integer>3</integer> 305 // CHECK: <key>file</key><integer>0</integer> 306 // CHECK: </dict> 307 // CHECK: <dict> 308 // CHECK: <key>line</key><integer>15</integer> 309 // CHECK: <key>col</key><integer>3</integer> 310 // CHECK: <key>file</key><integer>0</integer> 311 // CHECK: </dict> 312 // CHECK: </array> 313 // CHECK: <key>end</key> 314 // CHECK: <array> 315 // CHECK: <dict> 316 // CHECK: <key>line</key><integer>17</integer> 317 // CHECK: <key>col</key><integer>3</integer> 318 // CHECK: <key>file</key><integer>0</integer> 319 // CHECK: </dict> 320 // CHECK: <dict> 321 // CHECK: <key>line</key><integer>17</integer> 322 // CHECK: <key>col</key><integer>8</integer> 323 // CHECK: <key>file</key><integer>0</integer> 324 // CHECK: </dict> 325 // CHECK: </array> 326 // CHECK: </dict> 327 // CHECK: </array> 328 // CHECK: </dict> 329 // CHECK: <dict> 330 // CHECK: <key>kind</key><string>event</string> 331 // CHECK: <key>location</key> 332 // CHECK: <dict> 333 // CHECK: <key>line</key><integer>17</integer> 334 // CHECK: <key>col</key><integer>3</integer> 335 // CHECK: <key>file</key><integer>0</integer> 336 // CHECK: </dict> 337 // CHECK: <key>ranges</key> 338 // CHECK: <array> 339 // CHECK: <array> 340 // CHECK: <dict> 341 // CHECK: <key>line</key><integer>17</integer> 342 // CHECK: <key>col</key><integer>3</integer> 343 // CHECK: <key>file</key><integer>0</integer> 344 // CHECK: </dict> 345 // CHECK: <dict> 346 // CHECK: <key>line</key><integer>17</integer> 347 // CHECK: <key>col</key><integer>8</integer> 348 // CHECK: <key>file</key><integer>0</integer> 349 // CHECK: </dict> 350 // CHECK: </array> 351 // CHECK: </array> 352 // CHECK: <key>extended_message</key> 353 // CHECK: <string>Variable 'q' initialized to a null pointer value</string> 354 // CHECK: <key>message</key> 355 // CHECK: <string>Variable 'q' initialized to a null pointer value</string> 356 // CHECK: </dict> 357 // CHECK: <dict> 358 // CHECK: <key>kind</key><string>control</string> 359 // CHECK: <key>edges</key> 360 // CHECK: <array> 361 // CHECK: <dict> 362 // CHECK: <key>start</key> 363 // CHECK: <array> 364 // CHECK: <dict> 365 // CHECK: <key>line</key><integer>17</integer> 366 // CHECK: <key>col</key><integer>3</integer> 367 // CHECK: <key>file</key><integer>0</integer> 368 // CHECK: </dict> 369 // CHECK: <dict> 370 // CHECK: <key>line</key><integer>17</integer> 371 // CHECK: <key>col</key><integer>8</integer> 372 // CHECK: <key>file</key><integer>0</integer> 373 // CHECK: </dict> 374 // CHECK: </array> 375 // CHECK: <key>end</key> 376 // CHECK: <array> 377 // CHECK: <dict> 378 // CHECK: <key>line</key><integer>18</integer> 379 // CHECK: <key>col</key><integer>3</integer> 380 // CHECK: <key>file</key><integer>0</integer> 381 // CHECK: </dict> 382 // CHECK: <dict> 383 // CHECK: <key>line</key><integer>18</integer> 384 // CHECK: <key>col</key><integer>4</integer> 385 // CHECK: <key>file</key><integer>0</integer> 386 // CHECK: </dict> 387 // CHECK: </array> 388 // CHECK: </dict> 389 // CHECK: </array> 390 // CHECK: </dict> 391 // CHECK: <dict> 392 // CHECK: <key>kind</key><string>event</string> 393 // CHECK: <key>location</key> 394 // CHECK: <dict> 395 // CHECK: <key>line</key><integer>18</integer> 396 // CHECK: <key>col</key><integer>3</integer> 397 // CHECK: <key>file</key><integer>0</integer> 398 // CHECK: </dict> 399 // CHECK: <key>ranges</key> 400 // CHECK: <array> 401 // CHECK: <array> 402 // CHECK: <dict> 403 // CHECK: <key>line</key><integer>18</integer> 404 // CHECK: <key>col</key><integer>4</integer> 405 // CHECK: <key>file</key><integer>0</integer> 406 // CHECK: </dict> 407 // CHECK: <dict> 408 // CHECK: <key>line</key><integer>18</integer> 409 // CHECK: <key>col</key><integer>4</integer> 410 // CHECK: <key>file</key><integer>0</integer> 411 // CHECK: </dict> 412 // CHECK: </array> 413 // CHECK: </array> 414 // CHECK: <key>extended_message</key> 415 // CHECK: <string>Dereference of null pointer (loaded from variable 'q')</string> 416 // CHECK: <key>message</key> 417 // CHECK: <string>Dereference of null pointer (loaded from variable 'q')</string> 418 // CHECK: </dict> 419 // CHECK: </array> 420 // CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'q')</string> 421 // CHECK: <key>category</key><string>Logic error</string> 422 // CHECK: <key>type</key><string>Dereference of null pointer</string> 423 // CHECK: <key>location</key> 424 // CHECK: <dict> 425 // CHECK: <key>line</key><integer>18</integer> 426 // CHECK: <key>col</key><integer>3</integer> 427 // CHECK: <key>file</key><integer>0</integer> 428 // CHECK: </dict> 429 // CHECK: </dict> 430 // CHECK: <dict> 431 // CHECK: <key>path</key> 432 // CHECK: <array> 433 // CHECK: <dict> 434 // CHECK: <key>kind</key><string>control</string> 435 // CHECK: <key>edges</key> 436 // CHECK: <array> 437 // CHECK: <dict> 438 // CHECK: <key>start</key> 439 // CHECK: <array> 440 // CHECK: <dict> 441 // CHECK: <key>line</key><integer>22</integer> 442 // CHECK: <key>col</key><integer>3</integer> 443 // CHECK: <key>file</key><integer>0</integer> 444 // CHECK: </dict> 445 // CHECK: <dict> 446 // CHECK: <key>line</key><integer>22</integer> 447 // CHECK: <key>col</key><integer>3</integer> 448 // CHECK: <key>file</key><integer>0</integer> 449 // CHECK: </dict> 450 // CHECK: </array> 451 // CHECK: <key>end</key> 452 // CHECK: <array> 453 // CHECK: <dict> 454 // CHECK: <key>line</key><integer>22</integer> 455 // CHECK: <key>col</key><integer>7</integer> 456 // CHECK: <key>file</key><integer>0</integer> 457 // CHECK: </dict> 458 // CHECK: <dict> 459 // CHECK: <key>line</key><integer>22</integer> 460 // CHECK: <key>col</key><integer>8</integer> 461 // CHECK: <key>file</key><integer>0</integer> 462 // CHECK: </dict> 463 // CHECK: </array> 464 // CHECK: </dict> 465 // CHECK: </array> 466 // CHECK: </dict> 467 // CHECK: <dict> 468 // CHECK: <key>kind</key><string>event</string> 469 // CHECK: <key>location</key> 470 // CHECK: <dict> 471 // CHECK: <key>line</key><integer>22</integer> 472 // CHECK: <key>col</key><integer>7</integer> 473 // CHECK: <key>file</key><integer>0</integer> 474 // CHECK: </dict> 475 // CHECK: <key>ranges</key> 476 // CHECK: <array> 477 // CHECK: <array> 478 // CHECK: <dict> 479 // CHECK: <key>line</key><integer>22</integer> 480 // CHECK: <key>col</key><integer>7</integer> 481 // CHECK: <key>file</key><integer>0</integer> 482 // CHECK: </dict> 483 // CHECK: <dict> 484 // CHECK: <key>line</key><integer>22</integer> 485 // CHECK: <key>col</key><integer>8</integer> 486 // CHECK: <key>file</key><integer>0</integer> 487 // CHECK: </dict> 488 // CHECK: </array> 489 // CHECK: </array> 490 // CHECK: <key>extended_message</key> 491 // CHECK: <string>Assuming pointer value is null</string> 492 // CHECK: <key>message</key> 493 // CHECK: <string>Assuming pointer value is null</string> 494 // CHECK: </dict> 495 // CHECK: <dict> 496 // CHECK: <key>kind</key><string>control</string> 497 // CHECK: <key>edges</key> 498 // CHECK: <array> 499 // CHECK: <dict> 500 // CHECK: <key>start</key> 501 // CHECK: <array> 502 // CHECK: <dict> 503 // CHECK: <key>line</key><integer>22</integer> 504 // CHECK: <key>col</key><integer>7</integer> 505 // CHECK: <key>file</key><integer>0</integer> 506 // CHECK: </dict> 507 // CHECK: <dict> 508 // CHECK: <key>line</key><integer>22</integer> 509 // CHECK: <key>col</key><integer>8</integer> 510 // CHECK: <key>file</key><integer>0</integer> 511 // CHECK: </dict> 512 // CHECK: </array> 513 // CHECK: <key>end</key> 514 // CHECK: <array> 515 // CHECK: <dict> 516 // CHECK: <key>line</key><integer>23</integer> 517 // CHECK: <key>col</key><integer>5</integer> 518 // CHECK: <key>file</key><integer>0</integer> 519 // CHECK: </dict> 520 // CHECK: <dict> 521 // CHECK: <key>line</key><integer>23</integer> 522 // CHECK: <key>col</key><integer>6</integer> 523 // CHECK: <key>file</key><integer>0</integer> 524 // CHECK: </dict> 525 // CHECK: </array> 526 // CHECK: </dict> 527 // CHECK: </array> 528 // CHECK: </dict> 529 // CHECK: <dict> 530 // CHECK: <key>kind</key><string>event</string> 531 // CHECK: <key>location</key> 532 // CHECK: <dict> 533 // CHECK: <key>line</key><integer>23</integer> 534 // CHECK: <key>col</key><integer>5</integer> 535 // CHECK: <key>file</key><integer>0</integer> 536 // CHECK: </dict> 537 // CHECK: <key>ranges</key> 538 // CHECK: <array> 539 // CHECK: <array> 540 // CHECK: <dict> 541 // CHECK: <key>line</key><integer>23</integer> 542 // CHECK: <key>col</key><integer>6</integer> 543 // CHECK: <key>file</key><integer>0</integer> 544 // CHECK: </dict> 545 // CHECK: <dict> 546 // CHECK: <key>line</key><integer>23</integer> 547 // CHECK: <key>col</key><integer>6</integer> 548 // CHECK: <key>file</key><integer>0</integer> 549 // CHECK: </dict> 550 // CHECK: </array> 551 // CHECK: </array> 552 // CHECK: <key>extended_message</key> 553 // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> 554 // CHECK: <key>message</key> 555 // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> 556 // CHECK: </dict> 557 // CHECK: </array> 558 // CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> 559 // CHECK: <key>category</key><string>Logic error</string> 560 // CHECK: <key>type</key><string>Dereference of null pointer</string> 561 // CHECK: <key>location</key> 562 // CHECK: <dict> 563 // CHECK: <key>line</key><integer>23</integer> 564 // CHECK: <key>col</key><integer>5</integer> 565 // CHECK: <key>file</key><integer>0</integer> 566 // CHECK: </dict> 567 // CHECK: </dict> 568 // CHECK: <dict> 569 // CHECK: <key>path</key> 570 // CHECK: <array> 571 // CHECK: <dict> 572 // CHECK: <key>kind</key><string>control</string> 573 // CHECK: <key>edges</key> 574 // CHECK: <array> 575 // CHECK: <dict> 576 // CHECK: <key>start</key> 577 // CHECK: <array> 578 // CHECK: <dict> 579 // CHECK: <key>line</key><integer>28</integer> 580 // CHECK: <key>col</key><integer>3</integer> 581 // CHECK: <key>file</key><integer>0</integer> 582 // CHECK: </dict> 583 // CHECK: <dict> 584 // CHECK: <key>line</key><integer>28</integer> 585 // CHECK: <key>col</key><integer>3</integer> 586 // CHECK: <key>file</key><integer>0</integer> 587 // CHECK: </dict> 588 // CHECK: </array> 589 // CHECK: <key>end</key> 590 // CHECK: <array> 591 // CHECK: <dict> 592 // CHECK: <key>line</key><integer>28</integer> 593 // CHECK: <key>col</key><integer>7</integer> 594 // CHECK: <key>file</key><integer>0</integer> 595 // CHECK: </dict> 596 // CHECK: <dict> 597 // CHECK: <key>line</key><integer>28</integer> 598 // CHECK: <key>col</key><integer>8</integer> 599 // CHECK: <key>file</key><integer>0</integer> 600 // CHECK: </dict> 601 // CHECK: </array> 602 // CHECK: </dict> 603 // CHECK: </array> 604 // CHECK: </dict> 605 // CHECK: <dict> 606 // CHECK: <key>kind</key><string>event</string> 607 // CHECK: <key>location</key> 608 // CHECK: <dict> 609 // CHECK: <key>line</key><integer>28</integer> 610 // CHECK: <key>col</key><integer>7</integer> 611 // CHECK: <key>file</key><integer>0</integer> 612 // CHECK: </dict> 613 // CHECK: <key>ranges</key> 614 // CHECK: <array> 615 // CHECK: <array> 616 // CHECK: <dict> 617 // CHECK: <key>line</key><integer>28</integer> 618 // CHECK: <key>col</key><integer>7</integer> 619 // CHECK: <key>file</key><integer>0</integer> 620 // CHECK: </dict> 621 // CHECK: <dict> 622 // CHECK: <key>line</key><integer>28</integer> 623 // CHECK: <key>col</key><integer>8</integer> 624 // CHECK: <key>file</key><integer>0</integer> 625 // CHECK: </dict> 626 // CHECK: </array> 627 // CHECK: </array> 628 // CHECK: <key>extended_message</key> 629 // CHECK: <string>Assuming pointer value is null</string> 630 // CHECK: <key>message</key> 631 // CHECK: <string>Assuming pointer value is null</string> 632 // CHECK: </dict> 633 // CHECK: <dict> 634 // CHECK: <key>kind</key><string>control</string> 635 // CHECK: <key>edges</key> 636 // CHECK: <array> 637 // CHECK: <dict> 638 // CHECK: <key>start</key> 639 // CHECK: <array> 640 // CHECK: <dict> 641 // CHECK: <key>line</key><integer>28</integer> 642 // CHECK: <key>col</key><integer>7</integer> 643 // CHECK: <key>file</key><integer>0</integer> 644 // CHECK: </dict> 645 // CHECK: <dict> 646 // CHECK: <key>line</key><integer>28</integer> 647 // CHECK: <key>col</key><integer>8</integer> 648 // CHECK: <key>file</key><integer>0</integer> 649 // CHECK: </dict> 650 // CHECK: </array> 651 // CHECK: <key>end</key> 652 // CHECK: <array> 653 // CHECK: <dict> 654 // CHECK: <key>line</key><integer>29</integer> 655 // CHECK: <key>col</key><integer>5</integer> 656 // CHECK: <key>file</key><integer>0</integer> 657 // CHECK: </dict> 658 // CHECK: <dict> 659 // CHECK: <key>line</key><integer>29</integer> 660 // CHECK: <key>col</key><integer>5</integer> 661 // CHECK: <key>file</key><integer>0</integer> 662 // CHECK: </dict> 663 // CHECK: </array> 664 // CHECK: </dict> 665 // CHECK: </array> 666 // CHECK: </dict> 667 // CHECK: <dict> 668 // CHECK: <key>kind</key><string>control</string> 669 // CHECK: <key>edges</key> 670 // CHECK: <array> 671 // CHECK: <dict> 672 // CHECK: <key>start</key> 673 // CHECK: <array> 674 // CHECK: <dict> 675 // CHECK: <key>line</key><integer>29</integer> 676 // CHECK: <key>col</key><integer>5</integer> 677 // CHECK: <key>file</key><integer>0</integer> 678 // CHECK: </dict> 679 // CHECK: <dict> 680 // CHECK: <key>line</key><integer>29</integer> 681 // CHECK: <key>col</key><integer>5</integer> 682 // CHECK: <key>file</key><integer>0</integer> 683 // CHECK: </dict> 684 // CHECK: </array> 685 // CHECK: <key>end</key> 686 // CHECK: <array> 687 // CHECK: <dict> 688 // CHECK: <key>line</key><integer>30</integer> 689 // CHECK: <key>col</key><integer>5</integer> 690 // CHECK: <key>file</key><integer>0</integer> 691 // CHECK: </dict> 692 // CHECK: <dict> 693 // CHECK: <key>line</key><integer>30</integer> 694 // CHECK: <key>col</key><integer>6</integer> 695 // CHECK: <key>file</key><integer>0</integer> 696 // CHECK: </dict> 697 // CHECK: </array> 698 // CHECK: </dict> 699 // CHECK: </array> 700 // CHECK: </dict> 701 // CHECK: <dict> 702 // CHECK: <key>kind</key><string>event</string> 703 // CHECK: <key>location</key> 704 // CHECK: <dict> 705 // CHECK: <key>line</key><integer>30</integer> 706 // CHECK: <key>col</key><integer>5</integer> 707 // CHECK: <key>file</key><integer>0</integer> 708 // CHECK: </dict> 709 // CHECK: <key>ranges</key> 710 // CHECK: <array> 711 // CHECK: <array> 712 // CHECK: <dict> 713 // CHECK: <key>line</key><integer>30</integer> 714 // CHECK: <key>col</key><integer>6</integer> 715 // CHECK: <key>file</key><integer>0</integer> 716 // CHECK: </dict> 717 // CHECK: <dict> 718 // CHECK: <key>line</key><integer>30</integer> 719 // CHECK: <key>col</key><integer>6</integer> 720 // CHECK: <key>file</key><integer>0</integer> 721 // CHECK: </dict> 722 // CHECK: </array> 723 // CHECK: </array> 724 // CHECK: <key>extended_message</key> 725 // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> 726 // CHECK: <key>message</key> 727 // CHECK: <string>Dereference of null pointer (loaded from variable 'p')</string> 728 // CHECK: </dict> 729 // CHECK: </array> 730 // CHECK: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> 731 // CHECK: <key>category</key><string>Logic error</string> 732 // CHECK: <key>type</key><string>Dereference of null pointer</string> 733 // CHECK: <key>location</key> 734 // CHECK: <dict> 735 // CHECK: <key>line</key><integer>30</integer> 736 // CHECK: <key>col</key><integer>5</integer> 737 // CHECK: <key>file</key><integer>0</integer> 738 // CHECK: </dict> 739 // CHECK: </dict> 740 // CHECK: <dict> 741 // CHECK: <key>path</key> 742 // CHECK: <array> 743 // CHECK: <dict> 744 // CHECK: <key>kind</key><string>control</string> 745 // CHECK: <key>edges</key> 746 // CHECK: <array> 747 // CHECK: <dict> 748 // CHECK: <key>start</key> 749 // CHECK: <array> 750 // CHECK: <dict> 751 // CHECK: <key>line</key><integer>35</integer> 752 // CHECK: <key>col</key><integer>3</integer> 753 // CHECK: <key>file</key><integer>0</integer> 754 // CHECK: </dict> 755 // CHECK: <dict> 756 // CHECK: <key>line</key><integer>35</integer> 757 // CHECK: <key>col</key><integer>8</integer> 758 // CHECK: <key>file</key><integer>0</integer> 759 // CHECK: </dict> 760 // CHECK: </array> 761 // CHECK: <key>end</key> 762 // CHECK: <array> 763 // CHECK: <dict> 764 // CHECK: <key>line</key><integer>35</integer> 765 // CHECK: <key>col</key><integer>10</integer> 766 // CHECK: <key>file</key><integer>0</integer> 767 // CHECK: </dict> 768 // CHECK: <dict> 769 // CHECK: <key>line</key><integer>35</integer> 770 // CHECK: <key>col</key><integer>10</integer> 771 // CHECK: <key>file</key><integer>0</integer> 772 // CHECK: </dict> 773 // CHECK: </array> 774 // CHECK: </dict> 775 // CHECK: </array> 776 // CHECK: </dict> 777 // CHECK: <dict> 778 // CHECK: <key>kind</key><string>control</string> 779 // CHECK: <key>edges</key> 780 // CHECK: <array> 781 // CHECK: <dict> 782 // CHECK: <key>start</key> 783 // CHECK: <array> 784 // CHECK: <dict> 785 // CHECK: <key>line</key><integer>35</integer> 786 // CHECK: <key>col</key><integer>10</integer> 787 // CHECK: <key>file</key><integer>0</integer> 788 // CHECK: </dict> 789 // CHECK: <dict> 790 // CHECK: <key>line</key><integer>35</integer> 791 // CHECK: <key>col</key><integer>10</integer> 792 // CHECK: <key>file</key><integer>0</integer> 793 // CHECK: </dict> 794 // CHECK: </array> 795 // CHECK: <key>end</key> 796 // CHECK: <array> 797 // CHECK: <dict> 798 // CHECK: <key>line</key><integer>37</integer> 799 // CHECK: <key>col</key><integer>3</integer> 800 // CHECK: <key>file</key><integer>0</integer> 801 // CHECK: </dict> 802 // CHECK: <dict> 803 // CHECK: <key>line</key><integer>37</integer> 804 // CHECK: <key>col</key><integer>8</integer> 805 // CHECK: <key>file</key><integer>0</integer> 806 // CHECK: </dict> 807 // CHECK: </array> 808 // CHECK: </dict> 809 // CHECK: </array> 810 // CHECK: </dict> 811 // CHECK: <dict> 812 // CHECK: <key>kind</key><string>event</string> 813 // CHECK: <key>location</key> 814 // CHECK: <dict> 815 // CHECK: <key>line</key><integer>37</integer> 816 // CHECK: <key>col</key><integer>3</integer> 817 // CHECK: <key>file</key><integer>0</integer> 818 // CHECK: </dict> 819 // CHECK: <key>ranges</key> 820 // CHECK: <array> 821 // CHECK: <array> 822 // CHECK: <dict> 823 // CHECK: <key>line</key><integer>37</integer> 824 // CHECK: <key>col</key><integer>3</integer> 825 // CHECK: <key>file</key><integer>0</integer> 826 // CHECK: </dict> 827 // CHECK: <dict> 828 // CHECK: <key>line</key><integer>37</integer> 829 // CHECK: <key>col</key><integer>8</integer> 830 // CHECK: <key>file</key><integer>0</integer> 831 // CHECK: </dict> 832 // CHECK: </array> 833 // CHECK: </array> 834 // CHECK: <key>extended_message</key> 835 // CHECK: <string>Dereference of null pointer</string> 836 // CHECK: <key>message</key> 837 // CHECK: <string>Dereference of null pointer</string> 838 // CHECK: </dict> 839 // CHECK: </array> 840 // CHECK: <key>description</key><string>Dereference of null pointer</string> 841 // CHECK: <key>category</key><string>Logic error</string> 842 // CHECK: <key>type</key><string>Dereference of null pointer</string> 843 // CHECK: <key>location</key> 844 // CHECK: <dict> 845 // CHECK: <key>line</key><integer>37</integer> 846 // CHECK: <key>col</key><integer>3</integer> 847 // CHECK: <key>file</key><integer>0</integer> 848 // CHECK: </dict> 849 // CHECK: </dict> 850 // CHECK: </array> 851 // CHECK: </dict> 852 // CHECK: </plist> 853
