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