test/Analysis/plist-output.m

   1 // RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks -analyzer-check-objc-mem -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 &apos;p&apos; initialized to a null pointer value</string>
  78 // CHECK:      <key>message</key>
  79 // CHECK: <string>Variable &apos;p&apos; 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 &apos;p&apos;)</string>
 140 // CHECK:      <key>message</key>
 141 // CHECK: <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
 142 // CHECK:     </dict>
 143 // CHECK:    </array>
 144 // CHECK:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</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 &apos;p&apos;</string>
 216 // CHECK:      <key>message</key>
 217 // CHECK: <string>Null pointer value stored to &apos;p&apos;</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 &apos;p&apos;)</string>
 278 // CHECK:      <key>message</key>
 279 // CHECK: <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
 280 // CHECK:     </dict>
 281 // CHECK:    </array>
 282 // CHECK:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</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 &apos;q&apos; initialized to a null pointer value</string>
 354 // CHECK:      <key>message</key>
 355 // CHECK: <string>Variable &apos;q&apos; 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 &apos;q&apos;)</string>
 416 // CHECK:      <key>message</key>
 417 // CHECK: <string>Dereference of null pointer (loaded from variable &apos;q&apos;)</string>
 418 // CHECK:     </dict>
 419 // CHECK:    </array>
 420 // CHECK:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;q&apos;)</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 &apos;p&apos;)</string>
 554 // CHECK:      <key>message</key>
 555 // CHECK: <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
 556 // CHECK:     </dict>
 557 // CHECK:    </array>
 558 // CHECK:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</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 &apos;p&apos;)</string>
 726 // CHECK:      <key>message</key>
 727 // CHECK: <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
 728 // CHECK:     </dict>
 729 // CHECK:    </array>
 730 // CHECK:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</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>