clang/test/Analysis/diagnostics/Inputs/expected-plists/deref-track-symbolic-region.c.plist

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
   3 <plist version="1.0">
   4 <dict>
   5  <key>clang_version</key>
   6  <key>diagnostics</key>
   7  <array>
   8   <dict>
   9    <key>path</key>
  10    <array>
  11     <dict>
  12      <key>kind</key><string>control</string>
  13      <key>edges</key>
  14       <array>
  15        <dict>
  16         <key>start</key>
  17          <array>
  18           <dict>
  19            <key>line</key><integer>13</integer>
  20            <key>col</key><integer>3</integer>
  21            <key>file</key><integer>0</integer>
  22           </dict>
  23           <dict>
  24            <key>line</key><integer>13</integer>
  25            <key>col</key><integer>5</integer>
  26            <key>file</key><integer>0</integer>
  27           </dict>
  28          </array>
  29         <key>end</key>
  30          <array>
  31           <dict>
  32            <key>line</key><integer>14</integer>
  33            <key>col</key><integer>3</integer>
  34            <key>file</key><integer>0</integer>
  35           </dict>
  36           <dict>
  37            <key>line</key><integer>14</integer>
  38            <key>col</key><integer>5</integer>
  39            <key>file</key><integer>0</integer>
  40           </dict>
  41          </array>
  42        </dict>
  43       </array>
  44     </dict>
  45     <dict>
  46      <key>kind</key><string>event</string>
  47      <key>location</key>
  48      <dict>
  49       <key>line</key><integer>14</integer>
  50       <key>col</key><integer>3</integer>
  51       <key>file</key><integer>0</integer>
  52      </dict>
  53      <key>ranges</key>
  54      <array>
  55        <array>
  56         <dict>
  57          <key>line</key><integer>14</integer>
  58          <key>col</key><integer>3</integer>
  59          <key>file</key><integer>0</integer>
  60         </dict>
  61         <dict>
  62          <key>line</key><integer>14</integer>
  63          <key>col</key><integer>15</integer>
  64          <key>file</key><integer>0</integer>
  65         </dict>
  66        </array>
  67      </array>
  68      <key>depth</key><integer>0</integer>
  69      <key>extended_message</key>
  70      <string>Value assigned to &apos;syz.x&apos;</string>
  71      <key>message</key>
  72      <string>Value assigned to &apos;syz.x&apos;</string>
  73     </dict>
  74     <dict>
  75      <key>kind</key><string>control</string>
  76      <key>edges</key>
  77       <array>
  78        <dict>
  79         <key>start</key>
  80          <array>
  81           <dict>
  82            <key>line</key><integer>14</integer>
  83            <key>col</key><integer>3</integer>
  84            <key>file</key><integer>0</integer>
  85           </dict>
  86           <dict>
  87            <key>line</key><integer>14</integer>
  88            <key>col</key><integer>5</integer>
  89            <key>file</key><integer>0</integer>
  90           </dict>
  91          </array>
  92         <key>end</key>
  93          <array>
  94           <dict>
  95            <key>line</key><integer>17</integer>
  96            <key>col</key><integer>3</integer>
  97            <key>file</key><integer>0</integer>
  98           </dict>
  99           <dict>
 100            <key>line</key><integer>17</integer>
 101            <key>col</key><integer>4</integer>
 102            <key>file</key><integer>0</integer>
 103           </dict>
 104          </array>
 105        </dict>
 106       </array>
 107     </dict>
 108     <dict>
 109      <key>kind</key><string>control</string>
 110      <key>edges</key>
 111       <array>
 112        <dict>
 113         <key>start</key>
 114          <array>
 115           <dict>
 116            <key>line</key><integer>17</integer>
 117            <key>col</key><integer>3</integer>
 118            <key>file</key><integer>0</integer>
 119           </dict>
 120           <dict>
 121            <key>line</key><integer>17</integer>
 122            <key>col</key><integer>4</integer>
 123            <key>file</key><integer>0</integer>
 124           </dict>
 125          </array>
 126         <key>end</key>
 127          <array>
 128           <dict>
 129            <key>line</key><integer>17</integer>
 130            <key>col</key><integer>7</integer>
 131            <key>file</key><integer>0</integer>
 132           </dict>
 133           <dict>
 134            <key>line</key><integer>17</integer>
 135            <key>col</key><integer>8</integer>
 136            <key>file</key><integer>0</integer>
 137           </dict>
 138          </array>
 139        </dict>
 140       </array>
 141     </dict>
 142     <dict>
 143      <key>kind</key><string>event</string>
 144      <key>location</key>
 145      <dict>
 146       <key>line</key><integer>17</integer>
 147       <key>col</key><integer>7</integer>
 148       <key>file</key><integer>0</integer>
 149      </dict>
 150      <key>ranges</key>
 151      <array>
 152        <array>
 153         <dict>
 154          <key>line</key><integer>17</integer>
 155          <key>col</key><integer>7</integer>
 156          <key>file</key><integer>0</integer>
 157         </dict>
 158         <dict>
 159          <key>line</key><integer>17</integer>
 160          <key>col</key><integer>11</integer>
 161          <key>file</key><integer>0</integer>
 162         </dict>
 163        </array>
 164      </array>
 165      <key>depth</key><integer>0</integer>
 166      <key>extended_message</key>
 167      <string>Assuming field &apos;x&apos; is null</string>
 168      <key>message</key>
 169      <string>Assuming field &apos;x&apos; is null</string>
 170     </dict>
 171     <dict>
 172      <key>kind</key><string>control</string>
 173      <key>edges</key>
 174       <array>
 175        <dict>
 176         <key>start</key>
 177          <array>
 178           <dict>
 179            <key>line</key><integer>17</integer>
 180            <key>col</key><integer>7</integer>
 181            <key>file</key><integer>0</integer>
 182           </dict>
 183           <dict>
 184            <key>line</key><integer>17</integer>
 185            <key>col</key><integer>8</integer>
 186            <key>file</key><integer>0</integer>
 187           </dict>
 188          </array>
 189         <key>end</key>
 190          <array>
 191           <dict>
 192            <key>line</key><integer>23</integer>
 193            <key>col</key><integer>3</integer>
 194            <key>file</key><integer>0</integer>
 195           </dict>
 196           <dict>
 197            <key>line</key><integer>23</integer>
 198            <key>col</key><integer>3</integer>
 199            <key>file</key><integer>0</integer>
 200           </dict>
 201          </array>
 202        </dict>
 203       </array>
 204     </dict>
 205     <dict>
 206      <key>kind</key><string>control</string>
 207      <key>edges</key>
 208       <array>
 209        <dict>
 210         <key>start</key>
 211          <array>
 212           <dict>
 213            <key>line</key><integer>23</integer>
 214            <key>col</key><integer>3</integer>
 215            <key>file</key><integer>0</integer>
 216           </dict>
 217           <dict>
 218            <key>line</key><integer>23</integer>
 219            <key>col</key><integer>3</integer>
 220            <key>file</key><integer>0</integer>
 221           </dict>
 222          </array>
 223         <key>end</key>
 224          <array>
 225           <dict>
 226            <key>line</key><integer>23</integer>
 227            <key>col</key><integer>8</integer>
 228            <key>file</key><integer>0</integer>
 229           </dict>
 230           <dict>
 231            <key>line</key><integer>23</integer>
 232            <key>col</key><integer>8</integer>
 233            <key>file</key><integer>0</integer>
 234           </dict>
 235          </array>
 236        </dict>
 237       </array>
 238     </dict>
 239     <dict>
 240      <key>kind</key><string>event</string>
 241      <key>location</key>
 242      <dict>
 243       <key>line</key><integer>23</integer>
 244       <key>col</key><integer>8</integer>
 245       <key>file</key><integer>0</integer>
 246      </dict>
 247      <key>ranges</key>
 248      <array>
 249        <array>
 250         <dict>
 251          <key>line</key><integer>23</integer>
 252          <key>col</key><integer>13</integer>
 253          <key>file</key><integer>0</integer>
 254         </dict>
 255         <dict>
 256          <key>line</key><integer>23</integer>
 257          <key>col</key><integer>13</integer>
 258          <key>file</key><integer>0</integer>
 259         </dict>
 260        </array>
 261      </array>
 262      <key>depth</key><integer>0</integer>
 263      <key>extended_message</key>
 264      <string>Dereference of null pointer (loaded from field &apos;x&apos;)</string>
 265      <key>message</key>
 266      <string>Dereference of null pointer (loaded from field &apos;x&apos;)</string>
 267     </dict>
 268    </array>
 269    <key>description</key><string>Dereference of null pointer (loaded from field &apos;x&apos;)</string>
 270    <key>category</key><string>Logic error</string>
 271    <key>type</key><string>Dereference of null pointer</string>
 272    <key>check_name</key><string>core.NullDereference</string>
 273    <!-- This hash is experimental and going to change! -->
 274    <key>issue_hash_content_of_line_in_context</key><string>5cafa075eb4d5b0bf1f228608a3ec87e</string>
 275   <key>issue_context_kind</key><string>function</string>
 276   <key>issue_context</key><string>test</string>
 277   <key>issue_hash_function_offset</key><string>11</string>
 278   <key>location</key>
 279   <dict>
 280    <key>line</key><integer>23</integer>
 281    <key>col</key><integer>8</integer>
 282    <key>file</key><integer>0</integer>
 283   </dict>
 284   <key>ExecutedLines</key>
 285   <dict>
 286    <key>0</key>
 287    <array>
 288     <integer>12</integer>
 289     <integer>13</integer>
 290     <integer>14</integer>
 291     <integer>16</integer>
 292     <integer>17</integer>
 293     <integer>23</integer>
 294    </array>
 295   </dict>
 296   </dict>
 297   <dict>
 298    <key>path</key>
 299    <array>
 300     <dict>
 301      <key>kind</key><string>control</string>
 302      <key>edges</key>
 303       <array>
 304        <dict>
 305         <key>start</key>
 306          <array>
 307           <dict>
 308            <key>line</key><integer>28</integer>
 309            <key>col</key><integer>3</integer>
 310            <key>file</key><integer>0</integer>
 311           </dict>
 312           <dict>
 313            <key>line</key><integer>28</integer>
 314            <key>col</key><integer>5</integer>
 315            <key>file</key><integer>0</integer>
 316           </dict>
 317          </array>
 318         <key>end</key>
 319          <array>
 320           <dict>
 321            <key>line</key><integer>29</integer>
 322            <key>col</key><integer>3</integer>
 323            <key>file</key><integer>0</integer>
 324           </dict>
 325           <dict>
 326            <key>line</key><integer>29</integer>
 327            <key>col</key><integer>5</integer>
 328            <key>file</key><integer>0</integer>
 329           </dict>
 330          </array>
 331        </dict>
 332       </array>
 333     </dict>
 334     <dict>
 335      <key>kind</key><string>event</string>
 336      <key>location</key>
 337      <dict>
 338       <key>line</key><integer>29</integer>
 339       <key>col</key><integer>3</integer>
 340       <key>file</key><integer>0</integer>
 341      </dict>
 342      <key>ranges</key>
 343      <array>
 344        <array>
 345         <dict>
 346          <key>line</key><integer>29</integer>
 347          <key>col</key><integer>3</integer>
 348          <key>file</key><integer>0</integer>
 349         </dict>
 350         <dict>
 351          <key>line</key><integer>29</integer>
 352          <key>col</key><integer>15</integer>
 353          <key>file</key><integer>0</integer>
 354         </dict>
 355        </array>
 356      </array>
 357      <key>depth</key><integer>0</integer>
 358      <key>extended_message</key>
 359      <string>Value assigned to &apos;syz.x&apos;</string>
 360      <key>message</key>
 361      <string>Value assigned to &apos;syz.x&apos;</string>
 362     </dict>
 363     <dict>
 364      <key>kind</key><string>control</string>
 365      <key>edges</key>
 366       <array>
 367        <dict>
 368         <key>start</key>
 369          <array>
 370           <dict>
 371            <key>line</key><integer>29</integer>
 372            <key>col</key><integer>3</integer>
 373            <key>file</key><integer>0</integer>
 374           </dict>
 375           <dict>
 376            <key>line</key><integer>29</integer>
 377            <key>col</key><integer>5</integer>
 378            <key>file</key><integer>0</integer>
 379           </dict>
 380          </array>
 381         <key>end</key>
 382          <array>
 383           <dict>
 384            <key>line</key><integer>32</integer>
 385            <key>col</key><integer>3</integer>
 386            <key>file</key><integer>0</integer>
 387           </dict>
 388           <dict>
 389            <key>line</key><integer>32</integer>
 390            <key>col</key><integer>4</integer>
 391            <key>file</key><integer>0</integer>
 392           </dict>
 393          </array>
 394        </dict>
 395       </array>
 396     </dict>
 397     <dict>
 398      <key>kind</key><string>control</string>
 399      <key>edges</key>
 400       <array>
 401        <dict>
 402         <key>start</key>
 403          <array>
 404           <dict>
 405            <key>line</key><integer>32</integer>
 406            <key>col</key><integer>3</integer>
 407            <key>file</key><integer>0</integer>
 408           </dict>
 409           <dict>
 410            <key>line</key><integer>32</integer>
 411            <key>col</key><integer>4</integer>
 412            <key>file</key><integer>0</integer>
 413           </dict>
 414          </array>
 415         <key>end</key>
 416          <array>
 417           <dict>
 418            <key>line</key><integer>32</integer>
 419            <key>col</key><integer>7</integer>
 420            <key>file</key><integer>0</integer>
 421           </dict>
 422           <dict>
 423            <key>line</key><integer>32</integer>
 424            <key>col</key><integer>8</integer>
 425            <key>file</key><integer>0</integer>
 426           </dict>
 427          </array>
 428        </dict>
 429       </array>
 430     </dict>
 431     <dict>
 432      <key>kind</key><string>event</string>
 433      <key>location</key>
 434      <dict>
 435       <key>line</key><integer>32</integer>
 436       <key>col</key><integer>7</integer>
 437       <key>file</key><integer>0</integer>
 438      </dict>
 439      <key>ranges</key>
 440      <array>
 441        <array>
 442         <dict>
 443          <key>line</key><integer>32</integer>
 444          <key>col</key><integer>7</integer>
 445          <key>file</key><integer>0</integer>
 446         </dict>
 447         <dict>
 448          <key>line</key><integer>32</integer>
 449          <key>col</key><integer>11</integer>
 450          <key>file</key><integer>0</integer>
 451         </dict>
 452        </array>
 453      </array>
 454      <key>depth</key><integer>0</integer>
 455      <key>extended_message</key>
 456      <string>Assuming field &apos;x&apos; is null</string>
 457      <key>message</key>
 458      <string>Assuming field &apos;x&apos; is null</string>
 459     </dict>
 460     <dict>
 461      <key>kind</key><string>control</string>
 462      <key>edges</key>
 463       <array>
 464        <dict>
 465         <key>start</key>
 466          <array>
 467           <dict>
 468            <key>line</key><integer>32</integer>
 469            <key>col</key><integer>7</integer>
 470            <key>file</key><integer>0</integer>
 471           </dict>
 472           <dict>
 473            <key>line</key><integer>32</integer>
 474            <key>col</key><integer>8</integer>
 475            <key>file</key><integer>0</integer>
 476           </dict>
 477          </array>
 478         <key>end</key>
 479          <array>
 480           <dict>
 481            <key>line</key><integer>37</integer>
 482            <key>col</key><integer>3</integer>
 483            <key>file</key><integer>0</integer>
 484           </dict>
 485           <dict>
 486            <key>line</key><integer>37</integer>
 487            <key>col</key><integer>5</integer>
 488            <key>file</key><integer>0</integer>
 489           </dict>
 490          </array>
 491        </dict>
 492       </array>
 493     </dict>
 494     <dict>
 495      <key>kind</key><string>event</string>
 496      <key>location</key>
 497      <dict>
 498       <key>line</key><integer>37</integer>
 499       <key>col</key><integer>3</integer>
 500       <key>file</key><integer>0</integer>
 501      </dict>
 502      <key>ranges</key>
 503      <array>
 504        <array>
 505         <dict>
 506          <key>line</key><integer>37</integer>
 507          <key>col</key><integer>3</integer>
 508          <key>file</key><integer>0</integer>
 509         </dict>
 510         <dict>
 511          <key>line</key><integer>37</integer>
 512          <key>col</key><integer>8</integer>
 513          <key>file</key><integer>0</integer>
 514         </dict>
 515        </array>
 516      </array>
 517      <key>depth</key><integer>0</integer>
 518      <key>extended_message</key>
 519      <string>&apos;p&apos; initialized to a null pointer value</string>
 520      <key>message</key>
 521      <string>&apos;p&apos; initialized to a null pointer value</string>
 522     </dict>
 523     <dict>
 524      <key>kind</key><string>control</string>
 525      <key>edges</key>
 526       <array>
 527        <dict>
 528         <key>start</key>
 529          <array>
 530           <dict>
 531            <key>line</key><integer>37</integer>
 532            <key>col</key><integer>3</integer>
 533            <key>file</key><integer>0</integer>
 534           </dict>
 535           <dict>
 536            <key>line</key><integer>37</integer>
 537            <key>col</key><integer>5</integer>
 538            <key>file</key><integer>0</integer>
 539           </dict>
 540          </array>
 541         <key>end</key>
 542          <array>
 543           <dict>
 544            <key>line</key><integer>38</integer>
 545            <key>col</key><integer>3</integer>
 546            <key>file</key><integer>0</integer>
 547           </dict>
 548           <dict>
 549            <key>line</key><integer>38</integer>
 550            <key>col</key><integer>3</integer>
 551            <key>file</key><integer>0</integer>
 552           </dict>
 553          </array>
 554        </dict>
 555       </array>
 556     </dict>
 557     <dict>
 558      <key>kind</key><string>control</string>
 559      <key>edges</key>
 560       <array>
 561        <dict>
 562         <key>start</key>
 563          <array>
 564           <dict>
 565            <key>line</key><integer>38</integer>
 566            <key>col</key><integer>3</integer>
 567            <key>file</key><integer>0</integer>
 568           </dict>
 569           <dict>
 570            <key>line</key><integer>38</integer>
 571            <key>col</key><integer>3</integer>
 572            <key>file</key><integer>0</integer>
 573           </dict>
 574          </array>
 575         <key>end</key>
 576          <array>
 577           <dict>
 578            <key>line</key><integer>38</integer>
 579            <key>col</key><integer>7</integer>
 580            <key>file</key><integer>0</integer>
 581           </dict>
 582           <dict>
 583            <key>line</key><integer>38</integer>
 584            <key>col</key><integer>7</integer>
 585            <key>file</key><integer>0</integer>
 586           </dict>
 587          </array>
 588        </dict>
 589       </array>
 590     </dict>
 591     <dict>
 592      <key>kind</key><string>event</string>
 593      <key>location</key>
 594      <dict>
 595       <key>line</key><integer>38</integer>
 596       <key>col</key><integer>7</integer>
 597       <key>file</key><integer>0</integer>
 598      </dict>
 599      <key>ranges</key>
 600      <array>
 601        <array>
 602         <dict>
 603          <key>line</key><integer>38</integer>
 604          <key>col</key><integer>8</integer>
 605          <key>file</key><integer>0</integer>
 606         </dict>
 607         <dict>
 608          <key>line</key><integer>38</integer>
 609          <key>col</key><integer>8</integer>
 610          <key>file</key><integer>0</integer>
 611         </dict>
 612        </array>
 613      </array>
 614      <key>depth</key><integer>0</integer>
 615      <key>extended_message</key>
 616      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
 617      <key>message</key>
 618      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
 619     </dict>
 620    </array>
 621    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
 622    <key>category</key><string>Logic error</string>
 623    <key>type</key><string>Dereference of null pointer</string>
 624    <key>check_name</key><string>core.NullDereference</string>
 625    <!-- This hash is experimental and going to change! -->
 626    <key>issue_hash_content_of_line_in_context</key><string>a213f858dacf7993492e6b32080aaa64</string>
 627   <key>issue_context_kind</key><string>function</string>
 628   <key>issue_context</key><string>testTrackConstraintBRVisitorIsTrackingTurnedOn</string>
 629   <key>issue_hash_function_offset</key><string>11</string>
 630   <key>location</key>
 631   <dict>
 632    <key>line</key><integer>38</integer>
 633    <key>col</key><integer>7</integer>
 634    <key>file</key><integer>0</integer>
 635   </dict>
 636   <key>ExecutedLines</key>
 637   <dict>
 638    <key>0</key>
 639    <array>
 640     <integer>27</integer>
 641     <integer>28</integer>
 642     <integer>29</integer>
 643     <integer>31</integer>
 644     <integer>32</integer>
 645     <integer>37</integer>
 646     <integer>38</integer>
 647    </array>
 648   </dict>
 649   </dict>
 650  </array>
 651  <key>files</key>
 652  <array>
 653  </array>
 654 </dict>
 655 </plist>