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