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