Home | History | Annotate | Download | only in Analysis
      1 // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -analyze -analyzer-checker=core,osx.cocoa.RetainCount,deadcode -verify -fblocks -analyzer-opt-analyze-nested-blocks -fobjc-arc -analyzer-config path-diagnostics-alternate=true -analyzer-output=plist-multi-file -o %t.plist %s
      2 // RUN: FileCheck --input-file=%t.plist %s
      3 
      4 typedef signed char BOOL;
      5 typedef struct _NSZone NSZone;
      6 @class NSInvocation, NSMethodSignature, NSCoder, NSString, NSEnumerator;
      7 typedef unsigned long NSUInteger;
      8 
      9 @protocol NSObject
     10 - (BOOL)isEqual:(id)object;
     11 @end
     12 @protocol NSCopying
     13 - (id)copyWithZone:(NSZone *)zone;
     14 @end
     15 @protocol NSCoding;
     16 @protocol NSMutableCopying;
     17 @protocol NSFastEnumeration
     18 - (void)encodeWithCoder:(NSCoder *)aCoder;
     19 @end
     20 @protocol NSMutableCopying  - (id)mutableCopyWithZone:(NSZone *)zone;
     21 @end
     22 @protocol NSCoding  - (void)encodeWithCoder:(NSCoder *)aCoder;
     23 @end
     24 @interface NSObject <NSObject> {}
     25 + (id)alloc;
     26 - (id)init;
     27 - (NSString *)description;
     28 @end
     29 @interface NSArray : NSObject <NSCopying, NSMutableCopying, NSCoding, NSFastEnumeration>
     30 - (NSUInteger)count;
     31 - (id)initWithObjects:(const id [])objects count:(NSUInteger)cnt;
     32 + (id)arrayWithObject:(id)anObject;
     33 + (id)arrayWithObjects:(const id [])objects count:(NSUInteger)cnt;
     34 + (id)arrayWithObjects:(id)firstObj, ... __attribute__((sentinel(0,1)));
     35 - (id)initWithObjects:(id)firstObj, ... __attribute__((sentinel(0,1)));
     36 - (id)initWithArray:(NSArray *)array;
     37 @end
     38 
     39 typedef const struct __CFAllocator * CFAllocatorRef;
     40 extern const CFAllocatorRef kCFAllocatorDefault;
     41 typedef double CFTimeInterval;
     42 typedef CFTimeInterval CFAbsoluteTime;
     43 extern CFAbsoluteTime CFAbsoluteTimeGetCurrent(void);
     44 typedef const struct __CFDate * CFDateRef;
     45 extern CFDateRef CFDateCreate(CFAllocatorRef allocator, CFAbsoluteTime at);
     46 
     47 typedef const void* objc_objectptr_t;
     48 __attribute__((ns_returns_retained)) id objc_retainedObject(objc_objectptr_t __attribute__((cf_consumed)) pointer);
     49 __attribute__((ns_returns_not_retained)) id objc_unretainedObject(objc_objectptr_t pointer);
     50 
     51 // Test the analyzer is working at all.
     52 void test_working() {
     53   int *p = 0;
     54   *p = 0xDEADBEEF; // expected-warning {{null}}
     55 }
     56 
     57 // Test that in ARC mode that blocks are correctly automatically copied
     58 // and not flagged as warnings by the analyzer.
     59 typedef void (^Block)(void);
     60 void testblock_bar(int x);
     61 
     62 Block testblock_foo(int x) {
     63   Block b = ^{ testblock_bar(x); };
     64   return b; // no-warning
     65 }
     66 
     67 Block testblock_baz(int x) {
     68   return ^{ testblock_bar(x); }; // no-warning
     69 }
     70 
     71 Block global_block;
     72 
     73 void testblock_qux(int x) {
     74   global_block = ^{ testblock_bar(x); }; // no-warning
     75 }
     76 
     77 // Test that Objective-C pointers are null initialized.
     78 void test_nil_initialized() {
     79   id x;
     80   if (x == 0)
     81     return;
     82   int *p = 0;
     83   *p = 0xDEADBEEF; // no-warning
     84 }
     85 
     86 // Test that we don't flag leaks of Objective-C objects.
     87 void test_alloc() {
     88   [NSObject alloc]; // no-warning
     89 }
     90 
     91 // Test that CF allocations are still caught as leaks.
     92 void test_cf_leak() {
     93   CFAbsoluteTime t = CFAbsoluteTimeGetCurrent();
     94   CFDateRef date = CFDateCreate(0, t); // expected-warning {{Potential leak}}
     95   (void) date;
     96 }
     97 
     98 // Test that 'init' methods do not try to claim ownerhip of an *unowned* allocated object
     99 // in ARC mode.
    100 @interface RDar9424890_A :  NSObject
    101 - (id)initWithCleaner:(int)pop mop:(NSString *)mop ;
    102 - (RDar9424890_A *)rdar9424890:(NSString *)identifier;
    103 @end
    104 @interface RDar9424890_B : NSObject
    105 @end
    106 @implementation RDar9424890_B
    107 - (RDar9424890_A *)obj:(RDar9424890_A *)obj {
    108   static NSString *WhizFiz = @"WhizFiz";
    109   RDar9424890_A *cell = [obj rdar9424890:WhizFiz];
    110   if (cell == ((void*)0)) {
    111     cell = [[RDar9424890_A alloc] initWithCleaner:0 mop:WhizFiz]; // no-warning
    112   }
    113   return cell;
    114 }
    115 @end
    116 
    117 // Test that dead store checking works in the prescence of "cleanups" in the AST.
    118 void rdar9424882() {
    119   id x = [NSObject alloc]; // expected-warning {{Value stored to 'x' during its initialization is never read}}
    120 }
    121 
    122 // Test 
    123 typedef const void *CFTypeRef;
    124 typedef const struct __CFString *CFStringRef;
    125 
    126 @interface NSString
    127 - (id) self;
    128 @end
    129 
    130 CFTypeRef CFCreateSomething();
    131 CFStringRef CFCreateString();
    132 CFTypeRef CFGetSomething();
    133 CFStringRef CFGetString();
    134 
    135 id CreateSomething();
    136 NSString *CreateNSString();
    137 
    138 void from_cf() {
    139   id obj1 = (__bridge_transfer id)CFCreateSomething(); // expected-warning{{never read}}
    140   id obj2 = (__bridge_transfer NSString*)CFCreateString();
    141   [obj2 self]; // Add a use, to show we can use the object after it has been transferred.
    142   id obj3 = (__bridge id)CFGetSomething();
    143   [obj3 self]; // Add a use, to show we can use the object after it has been bridged.
    144   id obj4 = (__bridge NSString*)CFGetString(); // expected-warning{{never read}}
    145   id obj5 = (__bridge id)CFCreateSomething(); // expected-warning{{never read}} expected-warning{{leak}}
    146   id obj6 = (__bridge NSString*)CFCreateString(); // expected-warning{{never read}} expected-warning{{leak}}
    147 }
    148 
    149 void to_cf(id obj) {
    150   CFTypeRef cf1 = (__bridge_retained CFTypeRef)CreateSomething(); // expected-warning{{never read}}
    151   CFStringRef cf2 = (__bridge_retained CFStringRef)CreateNSString(); // expected-warning{{never read}}
    152   CFTypeRef cf3 = (__bridge CFTypeRef)CreateSomething(); // expected-warning{{never read}}
    153   CFStringRef cf4 = (__bridge CFStringRef)CreateNSString();  // expected-warning{{never read}}
    154 }
    155 
    156 void test_objc_retainedObject() {
    157   CFAbsoluteTime t = CFAbsoluteTimeGetCurrent();
    158   CFDateRef date = CFDateCreate(0, t);
    159   id x = objc_retainedObject(date);
    160   (void) x;
    161 }
    162 
    163 void test_objc_unretainedObject() {
    164   CFAbsoluteTime t = CFAbsoluteTimeGetCurrent();
    165   CFDateRef date = CFDateCreate(0, t);  // expected-warning {{Potential leak}}
    166   id x = objc_unretainedObject(date);
    167   (void) x;
    168 }
    169 
    170 // Previously this resulted in a "return of stack address" warning.
    171 id test_return() {
    172   id x = (__bridge_transfer id) CFCreateString();
    173   return x; // no-warning
    174 }
    175 
    176 void test_objc_arrays() {
    177     { // CASE ONE -- OBJECT IN ARRAY CREATED DIRECTLY
    178         NSObject *o = [[NSObject alloc] init];
    179         NSArray *a = [[NSArray alloc] initWithObjects:o, (void*)0];
    180         [a description];
    181         [o description];
    182     }
    183 
    184     { // CASE TWO -- OBJECT IN ARRAY CREATED BY DUPING AUTORELEASED ARRAY
    185         NSObject *o = [[NSObject alloc] init];
    186         NSArray *a1 = [NSArray arrayWithObjects:o, (void*)0];
    187         NSArray *a2 = [[NSArray alloc] initWithArray:a1];
    188         [a2 description];
    189         [o description];
    190     }
    191 
    192     { // CASE THREE -- OBJECT IN RETAINED @[]
    193         NSObject *o = [[NSObject alloc] init];
    194         NSArray *a3 = @[o];
    195         [a3 description];
    196         [o description];
    197     }
    198     {
    199       // CASE 4, verify analyzer still working.
    200       CFCreateString(); // expected-warning {{leak}}
    201     }
    202 }
    203 
    204 // <rdar://problem/11059275> - dispatch_set_context and ARC.
    205 __attribute__((cf_returns_retained)) CFTypeRef CFBridgingRetain(id X);
    206 typedef void* dispatch_object_t;
    207 void dispatch_set_context(dispatch_object_t object, const void *context);
    208 
    209 void rdar11059275(dispatch_object_t object) {
    210   NSObject *o = [[NSObject alloc] init];
    211   dispatch_set_context(object, CFBridgingRetain(o)); // no-warning  
    212 }
    213 void rdar11059275_positive() {
    214   NSObject *o = [[NSObject alloc] init]; // expected-warning {{leak}}
    215   CFBridgingRetain(o);
    216 }
    217 void rdar11059275_negative() {
    218   NSObject *o = [[NSObject alloc] init]; // no-warning
    219   (void) o;
    220 }
    221 
    222 __attribute__((ns_returns_retained)) id rdar14061675_helper() {
    223   return [[NSObject alloc] init];
    224 }
    225 
    226 id rdar14061675() {
    227   // ARC produces an implicit cast here. We need to make sure the combination
    228   // of that and the inlined call don't produce a spurious edge cycle.
    229   id result = rdar14061675_helper();
    230   *(volatile int *)0 = 1; // expected-warning{{Dereference of null pointer}}
    231   return result;
    232 }
    233 
    234 // CHECK:  <key>diagnostics</key>
    235 // CHECK-NEXT:  <array>
    236 // CHECK-NEXT:   <dict>
    237 // CHECK-NEXT:    <key>path</key>
    238 // CHECK-NEXT:    <array>
    239 // CHECK-NEXT:     <dict>
    240 // CHECK-NEXT:      <key>kind</key><string>event</string>
    241 // CHECK-NEXT:      <key>location</key>
    242 // CHECK-NEXT:      <dict>
    243 // CHECK-NEXT:       <key>line</key><integer>53</integer>
    244 // CHECK-NEXT:       <key>col</key><integer>3</integer>
    245 // CHECK-NEXT:       <key>file</key><integer>0</integer>
    246 // CHECK-NEXT:      </dict>
    247 // CHECK-NEXT:      <key>ranges</key>
    248 // CHECK-NEXT:      <array>
    249 // CHECK-NEXT:        <array>
    250 // CHECK-NEXT:         <dict>
    251 // CHECK-NEXT:          <key>line</key><integer>53</integer>
    252 // CHECK-NEXT:          <key>col</key><integer>3</integer>
    253 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    254 // CHECK-NEXT:         </dict>
    255 // CHECK-NEXT:         <dict>
    256 // CHECK-NEXT:          <key>line</key><integer>53</integer>
    257 // CHECK-NEXT:          <key>col</key><integer>8</integer>
    258 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    259 // CHECK-NEXT:         </dict>
    260 // CHECK-NEXT:        </array>
    261 // CHECK-NEXT:      </array>
    262 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
    263 // CHECK-NEXT:      <key>extended_message</key>
    264 // CHECK-NEXT:      <string>&apos;p&apos; initialized to a null pointer value</string>
    265 // CHECK-NEXT:      <key>message</key>
    266 // CHECK-NEXT:      <string>&apos;p&apos; initialized to a null pointer value</string>
    267 // CHECK-NEXT:     </dict>
    268 // CHECK-NEXT:     <dict>
    269 // CHECK-NEXT:      <key>kind</key><string>control</string>
    270 // CHECK-NEXT:      <key>edges</key>
    271 // CHECK-NEXT:       <array>
    272 // CHECK-NEXT:        <dict>
    273 // CHECK-NEXT:         <key>start</key>
    274 // CHECK-NEXT:          <array>
    275 // CHECK-NEXT:           <dict>
    276 // CHECK-NEXT:            <key>line</key><integer>53</integer>
    277 // CHECK-NEXT:            <key>col</key><integer>3</integer>
    278 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    279 // CHECK-NEXT:           </dict>
    280 // CHECK-NEXT:           <dict>
    281 // CHECK-NEXT:            <key>line</key><integer>53</integer>
    282 // CHECK-NEXT:            <key>col</key><integer>5</integer>
    283 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    284 // CHECK-NEXT:           </dict>
    285 // CHECK-NEXT:          </array>
    286 // CHECK-NEXT:         <key>end</key>
    287 // CHECK-NEXT:          <array>
    288 // CHECK-NEXT:           <dict>
    289 // CHECK-NEXT:            <key>line</key><integer>54</integer>
    290 // CHECK-NEXT:            <key>col</key><integer>3</integer>
    291 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    292 // CHECK-NEXT:           </dict>
    293 // CHECK-NEXT:           <dict>
    294 // CHECK-NEXT:            <key>line</key><integer>54</integer>
    295 // CHECK-NEXT:            <key>col</key><integer>3</integer>
    296 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    297 // CHECK-NEXT:           </dict>
    298 // CHECK-NEXT:          </array>
    299 // CHECK-NEXT:        </dict>
    300 // CHECK-NEXT:       </array>
    301 // CHECK-NEXT:     </dict>
    302 // CHECK-NEXT:     <dict>
    303 // CHECK-NEXT:      <key>kind</key><string>control</string>
    304 // CHECK-NEXT:      <key>edges</key>
    305 // CHECK-NEXT:       <array>
    306 // CHECK-NEXT:        <dict>
    307 // CHECK-NEXT:         <key>start</key>
    308 // CHECK-NEXT:          <array>
    309 // CHECK-NEXT:           <dict>
    310 // CHECK-NEXT:            <key>line</key><integer>54</integer>
    311 // CHECK-NEXT:            <key>col</key><integer>3</integer>
    312 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    313 // CHECK-NEXT:           </dict>
    314 // CHECK-NEXT:           <dict>
    315 // CHECK-NEXT:            <key>line</key><integer>54</integer>
    316 // CHECK-NEXT:            <key>col</key><integer>3</integer>
    317 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    318 // CHECK-NEXT:           </dict>
    319 // CHECK-NEXT:          </array>
    320 // CHECK-NEXT:         <key>end</key>
    321 // CHECK-NEXT:          <array>
    322 // CHECK-NEXT:           <dict>
    323 // CHECK-NEXT:            <key>line</key><integer>54</integer>
    324 // CHECK-NEXT:            <key>col</key><integer>6</integer>
    325 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    326 // CHECK-NEXT:           </dict>
    327 // CHECK-NEXT:           <dict>
    328 // CHECK-NEXT:            <key>line</key><integer>54</integer>
    329 // CHECK-NEXT:            <key>col</key><integer>6</integer>
    330 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    331 // CHECK-NEXT:           </dict>
    332 // CHECK-NEXT:          </array>
    333 // CHECK-NEXT:        </dict>
    334 // CHECK-NEXT:       </array>
    335 // CHECK-NEXT:     </dict>
    336 // CHECK-NEXT:     <dict>
    337 // CHECK-NEXT:      <key>kind</key><string>event</string>
    338 // CHECK-NEXT:      <key>location</key>
    339 // CHECK-NEXT:      <dict>
    340 // CHECK-NEXT:       <key>line</key><integer>54</integer>
    341 // CHECK-NEXT:       <key>col</key><integer>6</integer>
    342 // CHECK-NEXT:       <key>file</key><integer>0</integer>
    343 // CHECK-NEXT:      </dict>
    344 // CHECK-NEXT:      <key>ranges</key>
    345 // CHECK-NEXT:      <array>
    346 // CHECK-NEXT:        <array>
    347 // CHECK-NEXT:         <dict>
    348 // CHECK-NEXT:          <key>line</key><integer>54</integer>
    349 // CHECK-NEXT:          <key>col</key><integer>4</integer>
    350 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    351 // CHECK-NEXT:         </dict>
    352 // CHECK-NEXT:         <dict>
    353 // CHECK-NEXT:          <key>line</key><integer>54</integer>
    354 // CHECK-NEXT:          <key>col</key><integer>4</integer>
    355 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    356 // CHECK-NEXT:         </dict>
    357 // CHECK-NEXT:        </array>
    358 // CHECK-NEXT:      </array>
    359 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
    360 // CHECK-NEXT:      <key>extended_message</key>
    361 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
    362 // CHECK-NEXT:      <key>message</key>
    363 // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
    364 // CHECK-NEXT:     </dict>
    365 // CHECK-NEXT:    </array>
    366 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
    367 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
    368 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
    369 // CHECK-NEXT:    <key>check_name</key><string>core.NullDereference</string>
    370 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
    371 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>b41b510812f2a0d8735c67dfff6a9a5c</string>
    372 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
    373 // CHECK-NEXT:   <key>issue_context</key><string>test_working</string>
    374 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>2</string>
    375 // CHECK-NEXT:   <key>location</key>
    376 // CHECK-NEXT:   <dict>
    377 // CHECK-NEXT:    <key>line</key><integer>54</integer>
    378 // CHECK-NEXT:    <key>col</key><integer>6</integer>
    379 // CHECK-NEXT:    <key>file</key><integer>0</integer>
    380 // CHECK-NEXT:   </dict>
    381 // CHECK-NEXT:   </dict>
    382 // CHECK-NEXT:   <dict>
    383 // CHECK-NEXT:    <key>path</key>
    384 // CHECK-NEXT:    <array>
    385 // CHECK-NEXT:     <dict>
    386 // CHECK-NEXT:      <key>kind</key><string>control</string>
    387 // CHECK-NEXT:      <key>edges</key>
    388 // CHECK-NEXT:       <array>
    389 // CHECK-NEXT:        <dict>
    390 // CHECK-NEXT:         <key>start</key>
    391 // CHECK-NEXT:          <array>
    392 // CHECK-NEXT:           <dict>
    393 // CHECK-NEXT:            <key>line</key><integer>93</integer>
    394 // CHECK-NEXT:            <key>col</key><integer>3</integer>
    395 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    396 // CHECK-NEXT:           </dict>
    397 // CHECK-NEXT:           <dict>
    398 // CHECK-NEXT:            <key>line</key><integer>93</integer>
    399 // CHECK-NEXT:            <key>col</key><integer>16</integer>
    400 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    401 // CHECK-NEXT:           </dict>
    402 // CHECK-NEXT:          </array>
    403 // CHECK-NEXT:         <key>end</key>
    404 // CHECK-NEXT:          <array>
    405 // CHECK-NEXT:           <dict>
    406 // CHECK-NEXT:            <key>line</key><integer>94</integer>
    407 // CHECK-NEXT:            <key>col</key><integer>3</integer>
    408 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    409 // CHECK-NEXT:           </dict>
    410 // CHECK-NEXT:           <dict>
    411 // CHECK-NEXT:            <key>line</key><integer>94</integer>
    412 // CHECK-NEXT:            <key>col</key><integer>11</integer>
    413 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    414 // CHECK-NEXT:           </dict>
    415 // CHECK-NEXT:          </array>
    416 // CHECK-NEXT:        </dict>
    417 // CHECK-NEXT:       </array>
    418 // CHECK-NEXT:     </dict>
    419 // CHECK-NEXT:     <dict>
    420 // CHECK-NEXT:      <key>kind</key><string>event</string>
    421 // CHECK-NEXT:      <key>location</key>
    422 // CHECK-NEXT:      <dict>
    423 // CHECK-NEXT:       <key>line</key><integer>94</integer>
    424 // CHECK-NEXT:       <key>col</key><integer>20</integer>
    425 // CHECK-NEXT:       <key>file</key><integer>0</integer>
    426 // CHECK-NEXT:      </dict>
    427 // CHECK-NEXT:      <key>ranges</key>
    428 // CHECK-NEXT:      <array>
    429 // CHECK-NEXT:        <array>
    430 // CHECK-NEXT:         <dict>
    431 // CHECK-NEXT:          <key>line</key><integer>94</integer>
    432 // CHECK-NEXT:          <key>col</key><integer>20</integer>
    433 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    434 // CHECK-NEXT:         </dict>
    435 // CHECK-NEXT:         <dict>
    436 // CHECK-NEXT:          <key>line</key><integer>94</integer>
    437 // CHECK-NEXT:          <key>col</key><integer>37</integer>
    438 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    439 // CHECK-NEXT:         </dict>
    440 // CHECK-NEXT:        </array>
    441 // CHECK-NEXT:      </array>
    442 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
    443 // CHECK-NEXT:      <key>extended_message</key>
    444 // CHECK-NEXT:      <string>Call to function &apos;CFDateCreate&apos; returns a Core Foundation object with a +1 retain count</string>
    445 // CHECK-NEXT:      <key>message</key>
    446 // CHECK-NEXT:      <string>Call to function &apos;CFDateCreate&apos; returns a Core Foundation object with a +1 retain count</string>
    447 // CHECK-NEXT:     </dict>
    448 // CHECK-NEXT:     <dict>
    449 // CHECK-NEXT:      <key>kind</key><string>control</string>
    450 // CHECK-NEXT:      <key>edges</key>
    451 // CHECK-NEXT:       <array>
    452 // CHECK-NEXT:        <dict>
    453 // CHECK-NEXT:         <key>start</key>
    454 // CHECK-NEXT:          <array>
    455 // CHECK-NEXT:           <dict>
    456 // CHECK-NEXT:            <key>line</key><integer>94</integer>
    457 // CHECK-NEXT:            <key>col</key><integer>3</integer>
    458 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    459 // CHECK-NEXT:           </dict>
    460 // CHECK-NEXT:           <dict>
    461 // CHECK-NEXT:            <key>line</key><integer>94</integer>
    462 // CHECK-NEXT:            <key>col</key><integer>11</integer>
    463 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    464 // CHECK-NEXT:           </dict>
    465 // CHECK-NEXT:          </array>
    466 // CHECK-NEXT:         <key>end</key>
    467 // CHECK-NEXT:          <array>
    468 // CHECK-NEXT:           <dict>
    469 // CHECK-NEXT:            <key>line</key><integer>95</integer>
    470 // CHECK-NEXT:            <key>col</key><integer>3</integer>
    471 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    472 // CHECK-NEXT:           </dict>
    473 // CHECK-NEXT:           <dict>
    474 // CHECK-NEXT:            <key>line</key><integer>95</integer>
    475 // CHECK-NEXT:            <key>col</key><integer>3</integer>
    476 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    477 // CHECK-NEXT:           </dict>
    478 // CHECK-NEXT:          </array>
    479 // CHECK-NEXT:        </dict>
    480 // CHECK-NEXT:       </array>
    481 // CHECK-NEXT:     </dict>
    482 // CHECK-NEXT:     <dict>
    483 // CHECK-NEXT:      <key>kind</key><string>control</string>
    484 // CHECK-NEXT:      <key>edges</key>
    485 // CHECK-NEXT:       <array>
    486 // CHECK-NEXT:        <dict>
    487 // CHECK-NEXT:         <key>start</key>
    488 // CHECK-NEXT:          <array>
    489 // CHECK-NEXT:           <dict>
    490 // CHECK-NEXT:            <key>line</key><integer>95</integer>
    491 // CHECK-NEXT:            <key>col</key><integer>3</integer>
    492 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    493 // CHECK-NEXT:           </dict>
    494 // CHECK-NEXT:           <dict>
    495 // CHECK-NEXT:            <key>line</key><integer>95</integer>
    496 // CHECK-NEXT:            <key>col</key><integer>3</integer>
    497 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    498 // CHECK-NEXT:           </dict>
    499 // CHECK-NEXT:          </array>
    500 // CHECK-NEXT:         <key>end</key>
    501 // CHECK-NEXT:          <array>
    502 // CHECK-NEXT:           <dict>
    503 // CHECK-NEXT:            <key>line</key><integer>96</integer>
    504 // CHECK-NEXT:            <key>col</key><integer>1</integer>
    505 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    506 // CHECK-NEXT:           </dict>
    507 // CHECK-NEXT:           <dict>
    508 // CHECK-NEXT:            <key>line</key><integer>96</integer>
    509 // CHECK-NEXT:            <key>col</key><integer>1</integer>
    510 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    511 // CHECK-NEXT:           </dict>
    512 // CHECK-NEXT:          </array>
    513 // CHECK-NEXT:        </dict>
    514 // CHECK-NEXT:       </array>
    515 // CHECK-NEXT:     </dict>
    516 // CHECK-NEXT:     <dict>
    517 // CHECK-NEXT:      <key>kind</key><string>event</string>
    518 // CHECK-NEXT:      <key>location</key>
    519 // CHECK-NEXT:      <dict>
    520 // CHECK-NEXT:       <key>line</key><integer>96</integer>
    521 // CHECK-NEXT:       <key>col</key><integer>1</integer>
    522 // CHECK-NEXT:       <key>file</key><integer>0</integer>
    523 // CHECK-NEXT:      </dict>
    524 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
    525 // CHECK-NEXT:      <key>extended_message</key>
    526 // CHECK-NEXT:      <string>Object leaked: object allocated and stored into &apos;date&apos; is not referenced later in this execution path and has a retain count of +1</string>
    527 // CHECK-NEXT:      <key>message</key>
    528 // CHECK-NEXT:      <string>Object leaked: object allocated and stored into &apos;date&apos; is not referenced later in this execution path and has a retain count of +1</string>
    529 // CHECK-NEXT:     </dict>
    530 // CHECK-NEXT:    </array>
    531 // CHECK-NEXT:    <key>description</key><string>Potential leak of an object stored into &apos;date&apos;</string>
    532 // CHECK-NEXT:    <key>category</key><string>Memory (Core Foundation/Objective-C)</string>
    533 // CHECK-NEXT:    <key>type</key><string>Leak</string>
    534 // CHECK-NEXT:    <key>check_name</key><string>osx.cocoa.RetainCount</string>
    535 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
    536 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>61d185b2522d15fb327f6784e0217adf</string>
    537 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
    538 // CHECK-NEXT:   <key>issue_context</key><string>test_cf_leak</string>
    539 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>2</string>
    540 // CHECK-NEXT:   <key>location</key>
    541 // CHECK-NEXT:   <dict>
    542 // CHECK-NEXT:    <key>line</key><integer>96</integer>
    543 // CHECK-NEXT:    <key>col</key><integer>1</integer>
    544 // CHECK-NEXT:    <key>file</key><integer>0</integer>
    545 // CHECK-NEXT:   </dict>
    546 // CHECK-NEXT:   </dict>
    547 // CHECK-NEXT:   <dict>
    548 // CHECK-NEXT:    <key>path</key>
    549 // CHECK-NEXT:    <array>
    550 // CHECK-NEXT:     <dict>
    551 // CHECK-NEXT:      <key>kind</key><string>event</string>
    552 // CHECK-NEXT:      <key>location</key>
    553 // CHECK-NEXT:      <dict>
    554 // CHECK-NEXT:       <key>line</key><integer>119</integer>
    555 // CHECK-NEXT:       <key>col</key><integer>6</integer>
    556 // CHECK-NEXT:       <key>file</key><integer>0</integer>
    557 // CHECK-NEXT:      </dict>
    558 // CHECK-NEXT:      <key>ranges</key>
    559 // CHECK-NEXT:      <array>
    560 // CHECK-NEXT:        <array>
    561 // CHECK-NEXT:         <dict>
    562 // CHECK-NEXT:          <key>line</key><integer>119</integer>
    563 // CHECK-NEXT:          <key>col</key><integer>6</integer>
    564 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    565 // CHECK-NEXT:         </dict>
    566 // CHECK-NEXT:         <dict>
    567 // CHECK-NEXT:          <key>line</key><integer>119</integer>
    568 // CHECK-NEXT:          <key>col</key><integer>6</integer>
    569 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    570 // CHECK-NEXT:         </dict>
    571 // CHECK-NEXT:        </array>
    572 // CHECK-NEXT:        <array>
    573 // CHECK-NEXT:         <dict>
    574 // CHECK-NEXT:          <key>line</key><integer>119</integer>
    575 // CHECK-NEXT:          <key>col</key><integer>10</integer>
    576 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    577 // CHECK-NEXT:         </dict>
    578 // CHECK-NEXT:         <dict>
    579 // CHECK-NEXT:          <key>line</key><integer>119</integer>
    580 // CHECK-NEXT:          <key>col</key><integer>25</integer>
    581 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    582 // CHECK-NEXT:         </dict>
    583 // CHECK-NEXT:        </array>
    584 // CHECK-NEXT:      </array>
    585 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
    586 // CHECK-NEXT:      <key>extended_message</key>
    587 // CHECK-NEXT:      <string>Value stored to &apos;x&apos; during its initialization is never read</string>
    588 // CHECK-NEXT:      <key>message</key>
    589 // CHECK-NEXT:      <string>Value stored to &apos;x&apos; during its initialization is never read</string>
    590 // CHECK-NEXT:     </dict>
    591 // CHECK-NEXT:    </array>
    592 // CHECK-NEXT:    <key>description</key><string>Value stored to &apos;x&apos; during its initialization is never read</string>
    593 // CHECK-NEXT:    <key>category</key><string>Dead store</string>
    594 // CHECK-NEXT:    <key>type</key><string>Dead initialization</string>
    595 // CHECK-NEXT:    <key>check_name</key><string>deadcode.DeadStores</string>
    596 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
    597 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>63df5972efc8a7acccdbd2aca10c9e9e</string>
    598 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
    599 // CHECK-NEXT:   <key>issue_context</key><string>rdar9424882</string>
    600 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>1</string>
    601 // CHECK-NEXT:   <key>location</key>
    602 // CHECK-NEXT:   <dict>
    603 // CHECK-NEXT:    <key>line</key><integer>119</integer>
    604 // CHECK-NEXT:    <key>col</key><integer>6</integer>
    605 // CHECK-NEXT:    <key>file</key><integer>0</integer>
    606 // CHECK-NEXT:   </dict>
    607 // CHECK-NEXT:   </dict>
    608 // CHECK-NEXT:   <dict>
    609 // CHECK-NEXT:    <key>path</key>
    610 // CHECK-NEXT:    <array>
    611 // CHECK-NEXT:     <dict>
    612 // CHECK-NEXT:      <key>kind</key><string>event</string>
    613 // CHECK-NEXT:      <key>location</key>
    614 // CHECK-NEXT:      <dict>
    615 // CHECK-NEXT:       <key>line</key><integer>139</integer>
    616 // CHECK-NEXT:       <key>col</key><integer>6</integer>
    617 // CHECK-NEXT:       <key>file</key><integer>0</integer>
    618 // CHECK-NEXT:      </dict>
    619 // CHECK-NEXT:      <key>ranges</key>
    620 // CHECK-NEXT:      <array>
    621 // CHECK-NEXT:        <array>
    622 // CHECK-NEXT:         <dict>
    623 // CHECK-NEXT:          <key>line</key><integer>139</integer>
    624 // CHECK-NEXT:          <key>col</key><integer>6</integer>
    625 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    626 // CHECK-NEXT:         </dict>
    627 // CHECK-NEXT:         <dict>
    628 // CHECK-NEXT:          <key>line</key><integer>139</integer>
    629 // CHECK-NEXT:          <key>col</key><integer>9</integer>
    630 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    631 // CHECK-NEXT:         </dict>
    632 // CHECK-NEXT:        </array>
    633 // CHECK-NEXT:        <array>
    634 // CHECK-NEXT:         <dict>
    635 // CHECK-NEXT:          <key>line</key><integer>139</integer>
    636 // CHECK-NEXT:          <key>col</key><integer>13</integer>
    637 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    638 // CHECK-NEXT:         </dict>
    639 // CHECK-NEXT:         <dict>
    640 // CHECK-NEXT:          <key>line</key><integer>139</integer>
    641 // CHECK-NEXT:          <key>col</key><integer>53</integer>
    642 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    643 // CHECK-NEXT:         </dict>
    644 // CHECK-NEXT:        </array>
    645 // CHECK-NEXT:      </array>
    646 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
    647 // CHECK-NEXT:      <key>extended_message</key>
    648 // CHECK-NEXT:      <string>Value stored to &apos;obj1&apos; during its initialization is never read</string>
    649 // CHECK-NEXT:      <key>message</key>
    650 // CHECK-NEXT:      <string>Value stored to &apos;obj1&apos; during its initialization is never read</string>
    651 // CHECK-NEXT:     </dict>
    652 // CHECK-NEXT:    </array>
    653 // CHECK-NEXT:    <key>description</key><string>Value stored to &apos;obj1&apos; during its initialization is never read</string>
    654 // CHECK-NEXT:    <key>category</key><string>Dead store</string>
    655 // CHECK-NEXT:    <key>type</key><string>Dead initialization</string>
    656 // CHECK-NEXT:    <key>check_name</key><string>deadcode.DeadStores</string>
    657 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
    658 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>125290ceaf2b55f5778c262d87b2b6d5</string>
    659 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
    660 // CHECK-NEXT:   <key>issue_context</key><string>from_cf</string>
    661 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>1</string>
    662 // CHECK-NEXT:   <key>location</key>
    663 // CHECK-NEXT:   <dict>
    664 // CHECK-NEXT:    <key>line</key><integer>139</integer>
    665 // CHECK-NEXT:    <key>col</key><integer>6</integer>
    666 // CHECK-NEXT:    <key>file</key><integer>0</integer>
    667 // CHECK-NEXT:   </dict>
    668 // CHECK-NEXT:   </dict>
    669 // CHECK-NEXT:   <dict>
    670 // CHECK-NEXT:    <key>path</key>
    671 // CHECK-NEXT:    <array>
    672 // CHECK-NEXT:     <dict>
    673 // CHECK-NEXT:      <key>kind</key><string>event</string>
    674 // CHECK-NEXT:      <key>location</key>
    675 // CHECK-NEXT:      <dict>
    676 // CHECK-NEXT:       <key>line</key><integer>144</integer>
    677 // CHECK-NEXT:       <key>col</key><integer>6</integer>
    678 // CHECK-NEXT:       <key>file</key><integer>0</integer>
    679 // CHECK-NEXT:      </dict>
    680 // CHECK-NEXT:      <key>ranges</key>
    681 // CHECK-NEXT:      <array>
    682 // CHECK-NEXT:        <array>
    683 // CHECK-NEXT:         <dict>
    684 // CHECK-NEXT:          <key>line</key><integer>144</integer>
    685 // CHECK-NEXT:          <key>col</key><integer>6</integer>
    686 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    687 // CHECK-NEXT:         </dict>
    688 // CHECK-NEXT:         <dict>
    689 // CHECK-NEXT:          <key>line</key><integer>144</integer>
    690 // CHECK-NEXT:          <key>col</key><integer>9</integer>
    691 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    692 // CHECK-NEXT:         </dict>
    693 // CHECK-NEXT:        </array>
    694 // CHECK-NEXT:        <array>
    695 // CHECK-NEXT:         <dict>
    696 // CHECK-NEXT:          <key>line</key><integer>144</integer>
    697 // CHECK-NEXT:          <key>col</key><integer>13</integer>
    698 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    699 // CHECK-NEXT:         </dict>
    700 // CHECK-NEXT:         <dict>
    701 // CHECK-NEXT:          <key>line</key><integer>144</integer>
    702 // CHECK-NEXT:          <key>col</key><integer>45</integer>
    703 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    704 // CHECK-NEXT:         </dict>
    705 // CHECK-NEXT:        </array>
    706 // CHECK-NEXT:      </array>
    707 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
    708 // CHECK-NEXT:      <key>extended_message</key>
    709 // CHECK-NEXT:      <string>Value stored to &apos;obj4&apos; during its initialization is never read</string>
    710 // CHECK-NEXT:      <key>message</key>
    711 // CHECK-NEXT:      <string>Value stored to &apos;obj4&apos; during its initialization is never read</string>
    712 // CHECK-NEXT:     </dict>
    713 // CHECK-NEXT:    </array>
    714 // CHECK-NEXT:    <key>description</key><string>Value stored to &apos;obj4&apos; during its initialization is never read</string>
    715 // CHECK-NEXT:    <key>category</key><string>Dead store</string>
    716 // CHECK-NEXT:    <key>type</key><string>Dead initialization</string>
    717 // CHECK-NEXT:    <key>check_name</key><string>deadcode.DeadStores</string>
    718 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
    719 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>54627578ee3b8520400ae899bc32b3d6</string>
    720 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
    721 // CHECK-NEXT:   <key>issue_context</key><string>from_cf</string>
    722 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>6</string>
    723 // CHECK-NEXT:   <key>location</key>
    724 // CHECK-NEXT:   <dict>
    725 // CHECK-NEXT:    <key>line</key><integer>144</integer>
    726 // CHECK-NEXT:    <key>col</key><integer>6</integer>
    727 // CHECK-NEXT:    <key>file</key><integer>0</integer>
    728 // CHECK-NEXT:   </dict>
    729 // CHECK-NEXT:   </dict>
    730 // CHECK-NEXT:   <dict>
    731 // CHECK-NEXT:    <key>path</key>
    732 // CHECK-NEXT:    <array>
    733 // CHECK-NEXT:     <dict>
    734 // CHECK-NEXT:      <key>kind</key><string>event</string>
    735 // CHECK-NEXT:      <key>location</key>
    736 // CHECK-NEXT:      <dict>
    737 // CHECK-NEXT:       <key>line</key><integer>145</integer>
    738 // CHECK-NEXT:       <key>col</key><integer>6</integer>
    739 // CHECK-NEXT:       <key>file</key><integer>0</integer>
    740 // CHECK-NEXT:      </dict>
    741 // CHECK-NEXT:      <key>ranges</key>
    742 // CHECK-NEXT:      <array>
    743 // CHECK-NEXT:        <array>
    744 // CHECK-NEXT:         <dict>
    745 // CHECK-NEXT:          <key>line</key><integer>145</integer>
    746 // CHECK-NEXT:          <key>col</key><integer>6</integer>
    747 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    748 // CHECK-NEXT:         </dict>
    749 // CHECK-NEXT:         <dict>
    750 // CHECK-NEXT:          <key>line</key><integer>145</integer>
    751 // CHECK-NEXT:          <key>col</key><integer>9</integer>
    752 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    753 // CHECK-NEXT:         </dict>
    754 // CHECK-NEXT:        </array>
    755 // CHECK-NEXT:        <array>
    756 // CHECK-NEXT:         <dict>
    757 // CHECK-NEXT:          <key>line</key><integer>145</integer>
    758 // CHECK-NEXT:          <key>col</key><integer>13</integer>
    759 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    760 // CHECK-NEXT:         </dict>
    761 // CHECK-NEXT:         <dict>
    762 // CHECK-NEXT:          <key>line</key><integer>145</integer>
    763 // CHECK-NEXT:          <key>col</key><integer>44</integer>
    764 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    765 // CHECK-NEXT:         </dict>
    766 // CHECK-NEXT:        </array>
    767 // CHECK-NEXT:      </array>
    768 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
    769 // CHECK-NEXT:      <key>extended_message</key>
    770 // CHECK-NEXT:      <string>Value stored to &apos;obj5&apos; during its initialization is never read</string>
    771 // CHECK-NEXT:      <key>message</key>
    772 // CHECK-NEXT:      <string>Value stored to &apos;obj5&apos; during its initialization is never read</string>
    773 // CHECK-NEXT:     </dict>
    774 // CHECK-NEXT:    </array>
    775 // CHECK-NEXT:    <key>description</key><string>Value stored to &apos;obj5&apos; during its initialization is never read</string>
    776 // CHECK-NEXT:    <key>category</key><string>Dead store</string>
    777 // CHECK-NEXT:    <key>type</key><string>Dead initialization</string>
    778 // CHECK-NEXT:    <key>check_name</key><string>deadcode.DeadStores</string>
    779 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
    780 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>27c31d7f5825a1613c0206b5be082800</string>
    781 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
    782 // CHECK-NEXT:   <key>issue_context</key><string>from_cf</string>
    783 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>7</string>
    784 // CHECK-NEXT:   <key>location</key>
    785 // CHECK-NEXT:   <dict>
    786 // CHECK-NEXT:    <key>line</key><integer>145</integer>
    787 // CHECK-NEXT:    <key>col</key><integer>6</integer>
    788 // CHECK-NEXT:    <key>file</key><integer>0</integer>
    789 // CHECK-NEXT:   </dict>
    790 // CHECK-NEXT:   </dict>
    791 // CHECK-NEXT:   <dict>
    792 // CHECK-NEXT:    <key>path</key>
    793 // CHECK-NEXT:    <array>
    794 // CHECK-NEXT:     <dict>
    795 // CHECK-NEXT:      <key>kind</key><string>event</string>
    796 // CHECK-NEXT:      <key>location</key>
    797 // CHECK-NEXT:      <dict>
    798 // CHECK-NEXT:       <key>line</key><integer>146</integer>
    799 // CHECK-NEXT:       <key>col</key><integer>6</integer>
    800 // CHECK-NEXT:       <key>file</key><integer>0</integer>
    801 // CHECK-NEXT:      </dict>
    802 // CHECK-NEXT:      <key>ranges</key>
    803 // CHECK-NEXT:      <array>
    804 // CHECK-NEXT:        <array>
    805 // CHECK-NEXT:         <dict>
    806 // CHECK-NEXT:          <key>line</key><integer>146</integer>
    807 // CHECK-NEXT:          <key>col</key><integer>6</integer>
    808 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    809 // CHECK-NEXT:         </dict>
    810 // CHECK-NEXT:         <dict>
    811 // CHECK-NEXT:          <key>line</key><integer>146</integer>
    812 // CHECK-NEXT:          <key>col</key><integer>9</integer>
    813 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    814 // CHECK-NEXT:         </dict>
    815 // CHECK-NEXT:        </array>
    816 // CHECK-NEXT:        <array>
    817 // CHECK-NEXT:         <dict>
    818 // CHECK-NEXT:          <key>line</key><integer>146</integer>
    819 // CHECK-NEXT:          <key>col</key><integer>13</integer>
    820 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    821 // CHECK-NEXT:         </dict>
    822 // CHECK-NEXT:         <dict>
    823 // CHECK-NEXT:          <key>line</key><integer>146</integer>
    824 // CHECK-NEXT:          <key>col</key><integer>48</integer>
    825 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    826 // CHECK-NEXT:         </dict>
    827 // CHECK-NEXT:        </array>
    828 // CHECK-NEXT:      </array>
    829 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
    830 // CHECK-NEXT:      <key>extended_message</key>
    831 // CHECK-NEXT:      <string>Value stored to &apos;obj6&apos; during its initialization is never read</string>
    832 // CHECK-NEXT:      <key>message</key>
    833 // CHECK-NEXT:      <string>Value stored to &apos;obj6&apos; during its initialization is never read</string>
    834 // CHECK-NEXT:     </dict>
    835 // CHECK-NEXT:    </array>
    836 // CHECK-NEXT:    <key>description</key><string>Value stored to &apos;obj6&apos; during its initialization is never read</string>
    837 // CHECK-NEXT:    <key>category</key><string>Dead store</string>
    838 // CHECK-NEXT:    <key>type</key><string>Dead initialization</string>
    839 // CHECK-NEXT:    <key>check_name</key><string>deadcode.DeadStores</string>
    840 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
    841 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>a59b85c1e38300cb17eaeedcf193f94b</string>
    842 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
    843 // CHECK-NEXT:   <key>issue_context</key><string>from_cf</string>
    844 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>8</string>
    845 // CHECK-NEXT:   <key>location</key>
    846 // CHECK-NEXT:   <dict>
    847 // CHECK-NEXT:    <key>line</key><integer>146</integer>
    848 // CHECK-NEXT:    <key>col</key><integer>6</integer>
    849 // CHECK-NEXT:    <key>file</key><integer>0</integer>
    850 // CHECK-NEXT:   </dict>
    851 // CHECK-NEXT:   </dict>
    852 // CHECK-NEXT:   <dict>
    853 // CHECK-NEXT:    <key>path</key>
    854 // CHECK-NEXT:    <array>
    855 // CHECK-NEXT:     <dict>
    856 // CHECK-NEXT:      <key>kind</key><string>control</string>
    857 // CHECK-NEXT:      <key>edges</key>
    858 // CHECK-NEXT:       <array>
    859 // CHECK-NEXT:        <dict>
    860 // CHECK-NEXT:         <key>start</key>
    861 // CHECK-NEXT:          <array>
    862 // CHECK-NEXT:           <dict>
    863 // CHECK-NEXT:            <key>line</key><integer>139</integer>
    864 // CHECK-NEXT:            <key>col</key><integer>3</integer>
    865 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    866 // CHECK-NEXT:           </dict>
    867 // CHECK-NEXT:           <dict>
    868 // CHECK-NEXT:            <key>line</key><integer>139</integer>
    869 // CHECK-NEXT:            <key>col</key><integer>4</integer>
    870 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    871 // CHECK-NEXT:           </dict>
    872 // CHECK-NEXT:          </array>
    873 // CHECK-NEXT:         <key>end</key>
    874 // CHECK-NEXT:          <array>
    875 // CHECK-NEXT:           <dict>
    876 // CHECK-NEXT:            <key>line</key><integer>145</integer>
    877 // CHECK-NEXT:            <key>col</key><integer>3</integer>
    878 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    879 // CHECK-NEXT:           </dict>
    880 // CHECK-NEXT:           <dict>
    881 // CHECK-NEXT:            <key>line</key><integer>145</integer>
    882 // CHECK-NEXT:            <key>col</key><integer>4</integer>
    883 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    884 // CHECK-NEXT:           </dict>
    885 // CHECK-NEXT:          </array>
    886 // CHECK-NEXT:        </dict>
    887 // CHECK-NEXT:       </array>
    888 // CHECK-NEXT:     </dict>
    889 // CHECK-NEXT:     <dict>
    890 // CHECK-NEXT:      <key>kind</key><string>event</string>
    891 // CHECK-NEXT:      <key>location</key>
    892 // CHECK-NEXT:      <dict>
    893 // CHECK-NEXT:       <key>line</key><integer>145</integer>
    894 // CHECK-NEXT:       <key>col</key><integer>26</integer>
    895 // CHECK-NEXT:       <key>file</key><integer>0</integer>
    896 // CHECK-NEXT:      </dict>
    897 // CHECK-NEXT:      <key>ranges</key>
    898 // CHECK-NEXT:      <array>
    899 // CHECK-NEXT:        <array>
    900 // CHECK-NEXT:         <dict>
    901 // CHECK-NEXT:          <key>line</key><integer>145</integer>
    902 // CHECK-NEXT:          <key>col</key><integer>26</integer>
    903 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    904 // CHECK-NEXT:         </dict>
    905 // CHECK-NEXT:         <dict>
    906 // CHECK-NEXT:          <key>line</key><integer>145</integer>
    907 // CHECK-NEXT:          <key>col</key><integer>44</integer>
    908 // CHECK-NEXT:          <key>file</key><integer>0</integer>
    909 // CHECK-NEXT:         </dict>
    910 // CHECK-NEXT:        </array>
    911 // CHECK-NEXT:      </array>
    912 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
    913 // CHECK-NEXT:      <key>extended_message</key>
    914 // CHECK-NEXT:      <string>Call to function &apos;CFCreateSomething&apos; returns a Core Foundation object with a +1 retain count</string>
    915 // CHECK-NEXT:      <key>message</key>
    916 // CHECK-NEXT:      <string>Call to function &apos;CFCreateSomething&apos; returns a Core Foundation object with a +1 retain count</string>
    917 // CHECK-NEXT:     </dict>
    918 // CHECK-NEXT:     <dict>
    919 // CHECK-NEXT:      <key>kind</key><string>control</string>
    920 // CHECK-NEXT:      <key>edges</key>
    921 // CHECK-NEXT:       <array>
    922 // CHECK-NEXT:        <dict>
    923 // CHECK-NEXT:         <key>start</key>
    924 // CHECK-NEXT:          <array>
    925 // CHECK-NEXT:           <dict>
    926 // CHECK-NEXT:            <key>line</key><integer>145</integer>
    927 // CHECK-NEXT:            <key>col</key><integer>3</integer>
    928 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    929 // CHECK-NEXT:           </dict>
    930 // CHECK-NEXT:           <dict>
    931 // CHECK-NEXT:            <key>line</key><integer>145</integer>
    932 // CHECK-NEXT:            <key>col</key><integer>4</integer>
    933 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    934 // CHECK-NEXT:           </dict>
    935 // CHECK-NEXT:          </array>
    936 // CHECK-NEXT:         <key>end</key>
    937 // CHECK-NEXT:          <array>
    938 // CHECK-NEXT:           <dict>
    939 // CHECK-NEXT:            <key>line</key><integer>146</integer>
    940 // CHECK-NEXT:            <key>col</key><integer>3</integer>
    941 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    942 // CHECK-NEXT:           </dict>
    943 // CHECK-NEXT:           <dict>
    944 // CHECK-NEXT:            <key>line</key><integer>146</integer>
    945 // CHECK-NEXT:            <key>col</key><integer>4</integer>
    946 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    947 // CHECK-NEXT:           </dict>
    948 // CHECK-NEXT:          </array>
    949 // CHECK-NEXT:        </dict>
    950 // CHECK-NEXT:       </array>
    951 // CHECK-NEXT:     </dict>
    952 // CHECK-NEXT:     <dict>
    953 // CHECK-NEXT:      <key>kind</key><string>control</string>
    954 // CHECK-NEXT:      <key>edges</key>
    955 // CHECK-NEXT:       <array>
    956 // CHECK-NEXT:        <dict>
    957 // CHECK-NEXT:         <key>start</key>
    958 // CHECK-NEXT:          <array>
    959 // CHECK-NEXT:           <dict>
    960 // CHECK-NEXT:            <key>line</key><integer>146</integer>
    961 // CHECK-NEXT:            <key>col</key><integer>3</integer>
    962 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    963 // CHECK-NEXT:           </dict>
    964 // CHECK-NEXT:           <dict>
    965 // CHECK-NEXT:            <key>line</key><integer>146</integer>
    966 // CHECK-NEXT:            <key>col</key><integer>4</integer>
    967 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    968 // CHECK-NEXT:           </dict>
    969 // CHECK-NEXT:          </array>
    970 // CHECK-NEXT:         <key>end</key>
    971 // CHECK-NEXT:          <array>
    972 // CHECK-NEXT:           <dict>
    973 // CHECK-NEXT:            <key>line</key><integer>146</integer>
    974 // CHECK-NEXT:            <key>col</key><integer>33</integer>
    975 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    976 // CHECK-NEXT:           </dict>
    977 // CHECK-NEXT:           <dict>
    978 // CHECK-NEXT:            <key>line</key><integer>146</integer>
    979 // CHECK-NEXT:            <key>col</key><integer>46</integer>
    980 // CHECK-NEXT:            <key>file</key><integer>0</integer>
    981 // CHECK-NEXT:           </dict>
    982 // CHECK-NEXT:          </array>
    983 // CHECK-NEXT:        </dict>
    984 // CHECK-NEXT:       </array>
    985 // CHECK-NEXT:     </dict>
    986 // CHECK-NEXT:     <dict>
    987 // CHECK-NEXT:      <key>kind</key><string>event</string>
    988 // CHECK-NEXT:      <key>location</key>
    989 // CHECK-NEXT:      <dict>
    990 // CHECK-NEXT:       <key>line</key><integer>146</integer>
    991 // CHECK-NEXT:       <key>col</key><integer>33</integer>
    992 // CHECK-NEXT:       <key>file</key><integer>0</integer>
    993 // CHECK-NEXT:      </dict>
    994 // CHECK-NEXT:      <key>ranges</key>
    995 // CHECK-NEXT:      <array>
    996 // CHECK-NEXT:        <array>
    997 // CHECK-NEXT:         <dict>
    998 // CHECK-NEXT:          <key>line</key><integer>146</integer>
    999 // CHECK-NEXT:          <key>col</key><integer>33</integer>
   1000 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1001 // CHECK-NEXT:         </dict>
   1002 // CHECK-NEXT:         <dict>
   1003 // CHECK-NEXT:          <key>line</key><integer>146</integer>
   1004 // CHECK-NEXT:          <key>col</key><integer>48</integer>
   1005 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1006 // CHECK-NEXT:         </dict>
   1007 // CHECK-NEXT:        </array>
   1008 // CHECK-NEXT:      </array>
   1009 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
   1010 // CHECK-NEXT:      <key>extended_message</key>
   1011 // CHECK-NEXT:      <string>Object leaked: object allocated and stored into &apos;obj5&apos; is not referenced later in this execution path and has a retain count of +1</string>
   1012 // CHECK-NEXT:      <key>message</key>
   1013 // CHECK-NEXT:      <string>Object leaked: object allocated and stored into &apos;obj5&apos; is not referenced later in this execution path and has a retain count of +1</string>
   1014 // CHECK-NEXT:     </dict>
   1015 // CHECK-NEXT:    </array>
   1016 // CHECK-NEXT:    <key>description</key><string>Potential leak of an object stored into &apos;obj5&apos;</string>
   1017 // CHECK-NEXT:    <key>category</key><string>Memory (Core Foundation/Objective-C)</string>
   1018 // CHECK-NEXT:    <key>type</key><string>Leak</string>
   1019 // CHECK-NEXT:    <key>check_name</key><string>osx.cocoa.RetainCount</string>
   1020 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
   1021 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>5baa7d5f38420d0a035aa61607675f3e</string>
   1022 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
   1023 // CHECK-NEXT:   <key>issue_context</key><string>from_cf</string>
   1024 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>7</string>
   1025 // CHECK-NEXT:   <key>location</key>
   1026 // CHECK-NEXT:   <dict>
   1027 // CHECK-NEXT:    <key>line</key><integer>146</integer>
   1028 // CHECK-NEXT:    <key>col</key><integer>33</integer>
   1029 // CHECK-NEXT:    <key>file</key><integer>0</integer>
   1030 // CHECK-NEXT:   </dict>
   1031 // CHECK-NEXT:   </dict>
   1032 // CHECK-NEXT:   <dict>
   1033 // CHECK-NEXT:    <key>path</key>
   1034 // CHECK-NEXT:    <array>
   1035 // CHECK-NEXT:     <dict>
   1036 // CHECK-NEXT:      <key>kind</key><string>control</string>
   1037 // CHECK-NEXT:      <key>edges</key>
   1038 // CHECK-NEXT:       <array>
   1039 // CHECK-NEXT:        <dict>
   1040 // CHECK-NEXT:         <key>start</key>
   1041 // CHECK-NEXT:          <array>
   1042 // CHECK-NEXT:           <dict>
   1043 // CHECK-NEXT:            <key>line</key><integer>139</integer>
   1044 // CHECK-NEXT:            <key>col</key><integer>3</integer>
   1045 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1046 // CHECK-NEXT:           </dict>
   1047 // CHECK-NEXT:           <dict>
   1048 // CHECK-NEXT:            <key>line</key><integer>139</integer>
   1049 // CHECK-NEXT:            <key>col</key><integer>4</integer>
   1050 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1051 // CHECK-NEXT:           </dict>
   1052 // CHECK-NEXT:          </array>
   1053 // CHECK-NEXT:         <key>end</key>
   1054 // CHECK-NEXT:          <array>
   1055 // CHECK-NEXT:           <dict>
   1056 // CHECK-NEXT:            <key>line</key><integer>146</integer>
   1057 // CHECK-NEXT:            <key>col</key><integer>3</integer>
   1058 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1059 // CHECK-NEXT:           </dict>
   1060 // CHECK-NEXT:           <dict>
   1061 // CHECK-NEXT:            <key>line</key><integer>146</integer>
   1062 // CHECK-NEXT:            <key>col</key><integer>4</integer>
   1063 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1064 // CHECK-NEXT:           </dict>
   1065 // CHECK-NEXT:          </array>
   1066 // CHECK-NEXT:        </dict>
   1067 // CHECK-NEXT:       </array>
   1068 // CHECK-NEXT:     </dict>
   1069 // CHECK-NEXT:     <dict>
   1070 // CHECK-NEXT:      <key>kind</key><string>event</string>
   1071 // CHECK-NEXT:      <key>location</key>
   1072 // CHECK-NEXT:      <dict>
   1073 // CHECK-NEXT:       <key>line</key><integer>146</integer>
   1074 // CHECK-NEXT:       <key>col</key><integer>33</integer>
   1075 // CHECK-NEXT:       <key>file</key><integer>0</integer>
   1076 // CHECK-NEXT:      </dict>
   1077 // CHECK-NEXT:      <key>ranges</key>
   1078 // CHECK-NEXT:      <array>
   1079 // CHECK-NEXT:        <array>
   1080 // CHECK-NEXT:         <dict>
   1081 // CHECK-NEXT:          <key>line</key><integer>146</integer>
   1082 // CHECK-NEXT:          <key>col</key><integer>33</integer>
   1083 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1084 // CHECK-NEXT:         </dict>
   1085 // CHECK-NEXT:         <dict>
   1086 // CHECK-NEXT:          <key>line</key><integer>146</integer>
   1087 // CHECK-NEXT:          <key>col</key><integer>48</integer>
   1088 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1089 // CHECK-NEXT:         </dict>
   1090 // CHECK-NEXT:        </array>
   1091 // CHECK-NEXT:      </array>
   1092 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
   1093 // CHECK-NEXT:      <key>extended_message</key>
   1094 // CHECK-NEXT:      <string>Call to function &apos;CFCreateString&apos; returns a Core Foundation object with a +1 retain count</string>
   1095 // CHECK-NEXT:      <key>message</key>
   1096 // CHECK-NEXT:      <string>Call to function &apos;CFCreateString&apos; returns a Core Foundation object with a +1 retain count</string>
   1097 // CHECK-NEXT:     </dict>
   1098 // CHECK-NEXT:     <dict>
   1099 // CHECK-NEXT:      <key>kind</key><string>control</string>
   1100 // CHECK-NEXT:      <key>edges</key>
   1101 // CHECK-NEXT:       <array>
   1102 // CHECK-NEXT:        <dict>
   1103 // CHECK-NEXT:         <key>start</key>
   1104 // CHECK-NEXT:          <array>
   1105 // CHECK-NEXT:           <dict>
   1106 // CHECK-NEXT:            <key>line</key><integer>146</integer>
   1107 // CHECK-NEXT:            <key>col</key><integer>3</integer>
   1108 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1109 // CHECK-NEXT:           </dict>
   1110 // CHECK-NEXT:           <dict>
   1111 // CHECK-NEXT:            <key>line</key><integer>146</integer>
   1112 // CHECK-NEXT:            <key>col</key><integer>4</integer>
   1113 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1114 // CHECK-NEXT:           </dict>
   1115 // CHECK-NEXT:          </array>
   1116 // CHECK-NEXT:         <key>end</key>
   1117 // CHECK-NEXT:          <array>
   1118 // CHECK-NEXT:           <dict>
   1119 // CHECK-NEXT:            <key>line</key><integer>147</integer>
   1120 // CHECK-NEXT:            <key>col</key><integer>1</integer>
   1121 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1122 // CHECK-NEXT:           </dict>
   1123 // CHECK-NEXT:           <dict>
   1124 // CHECK-NEXT:            <key>line</key><integer>147</integer>
   1125 // CHECK-NEXT:            <key>col</key><integer>1</integer>
   1126 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1127 // CHECK-NEXT:           </dict>
   1128 // CHECK-NEXT:          </array>
   1129 // CHECK-NEXT:        </dict>
   1130 // CHECK-NEXT:       </array>
   1131 // CHECK-NEXT:     </dict>
   1132 // CHECK-NEXT:     <dict>
   1133 // CHECK-NEXT:      <key>kind</key><string>event</string>
   1134 // CHECK-NEXT:      <key>location</key>
   1135 // CHECK-NEXT:      <dict>
   1136 // CHECK-NEXT:       <key>line</key><integer>147</integer>
   1137 // CHECK-NEXT:       <key>col</key><integer>1</integer>
   1138 // CHECK-NEXT:       <key>file</key><integer>0</integer>
   1139 // CHECK-NEXT:      </dict>
   1140 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
   1141 // CHECK-NEXT:      <key>extended_message</key>
   1142 // CHECK-NEXT:      <string>Object leaked: object allocated and stored into &apos;obj6&apos; is not referenced later in this execution path and has a retain count of +1</string>
   1143 // CHECK-NEXT:      <key>message</key>
   1144 // CHECK-NEXT:      <string>Object leaked: object allocated and stored into &apos;obj6&apos; is not referenced later in this execution path and has a retain count of +1</string>
   1145 // CHECK-NEXT:     </dict>
   1146 // CHECK-NEXT:    </array>
   1147 // CHECK-NEXT:    <key>description</key><string>Potential leak of an object stored into &apos;obj6&apos;</string>
   1148 // CHECK-NEXT:    <key>category</key><string>Memory (Core Foundation/Objective-C)</string>
   1149 // CHECK-NEXT:    <key>type</key><string>Leak</string>
   1150 // CHECK-NEXT:    <key>check_name</key><string>osx.cocoa.RetainCount</string>
   1151 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
   1152 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>4665e04694fd55e7c4ed7a67860b3b74</string>
   1153 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
   1154 // CHECK-NEXT:   <key>issue_context</key><string>from_cf</string>
   1155 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>8</string>
   1156 // CHECK-NEXT:   <key>location</key>
   1157 // CHECK-NEXT:   <dict>
   1158 // CHECK-NEXT:    <key>line</key><integer>147</integer>
   1159 // CHECK-NEXT:    <key>col</key><integer>1</integer>
   1160 // CHECK-NEXT:    <key>file</key><integer>0</integer>
   1161 // CHECK-NEXT:   </dict>
   1162 // CHECK-NEXT:   </dict>
   1163 // CHECK-NEXT:   <dict>
   1164 // CHECK-NEXT:    <key>path</key>
   1165 // CHECK-NEXT:    <array>
   1166 // CHECK-NEXT:     <dict>
   1167 // CHECK-NEXT:      <key>kind</key><string>event</string>
   1168 // CHECK-NEXT:      <key>location</key>
   1169 // CHECK-NEXT:      <dict>
   1170 // CHECK-NEXT:       <key>line</key><integer>150</integer>
   1171 // CHECK-NEXT:       <key>col</key><integer>13</integer>
   1172 // CHECK-NEXT:       <key>file</key><integer>0</integer>
   1173 // CHECK-NEXT:      </dict>
   1174 // CHECK-NEXT:      <key>ranges</key>
   1175 // CHECK-NEXT:      <array>
   1176 // CHECK-NEXT:        <array>
   1177 // CHECK-NEXT:         <dict>
   1178 // CHECK-NEXT:          <key>line</key><integer>150</integer>
   1179 // CHECK-NEXT:          <key>col</key><integer>13</integer>
   1180 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1181 // CHECK-NEXT:         </dict>
   1182 // CHECK-NEXT:         <dict>
   1183 // CHECK-NEXT:          <key>line</key><integer>150</integer>
   1184 // CHECK-NEXT:          <key>col</key><integer>15</integer>
   1185 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1186 // CHECK-NEXT:         </dict>
   1187 // CHECK-NEXT:        </array>
   1188 // CHECK-NEXT:        <array>
   1189 // CHECK-NEXT:         <dict>
   1190 // CHECK-NEXT:          <key>line</key><integer>150</integer>
   1191 // CHECK-NEXT:          <key>col</key><integer>19</integer>
   1192 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1193 // CHECK-NEXT:         </dict>
   1194 // CHECK-NEXT:         <dict>
   1195 // CHECK-NEXT:          <key>line</key><integer>150</integer>
   1196 // CHECK-NEXT:          <key>col</key><integer>64</integer>
   1197 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1198 // CHECK-NEXT:         </dict>
   1199 // CHECK-NEXT:        </array>
   1200 // CHECK-NEXT:      </array>
   1201 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
   1202 // CHECK-NEXT:      <key>extended_message</key>
   1203 // CHECK-NEXT:      <string>Value stored to &apos;cf1&apos; during its initialization is never read</string>
   1204 // CHECK-NEXT:      <key>message</key>
   1205 // CHECK-NEXT:      <string>Value stored to &apos;cf1&apos; during its initialization is never read</string>
   1206 // CHECK-NEXT:     </dict>
   1207 // CHECK-NEXT:    </array>
   1208 // CHECK-NEXT:    <key>description</key><string>Value stored to &apos;cf1&apos; during its initialization is never read</string>
   1209 // CHECK-NEXT:    <key>category</key><string>Dead store</string>
   1210 // CHECK-NEXT:    <key>type</key><string>Dead initialization</string>
   1211 // CHECK-NEXT:    <key>check_name</key><string>deadcode.DeadStores</string>
   1212 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
   1213 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>70a67cc8fefa3ad133a35c3ffb579b9e</string>
   1214 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
   1215 // CHECK-NEXT:   <key>issue_context</key><string>to_cf</string>
   1216 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>1</string>
   1217 // CHECK-NEXT:   <key>location</key>
   1218 // CHECK-NEXT:   <dict>
   1219 // CHECK-NEXT:    <key>line</key><integer>150</integer>
   1220 // CHECK-NEXT:    <key>col</key><integer>13</integer>
   1221 // CHECK-NEXT:    <key>file</key><integer>0</integer>
   1222 // CHECK-NEXT:   </dict>
   1223 // CHECK-NEXT:   </dict>
   1224 // CHECK-NEXT:   <dict>
   1225 // CHECK-NEXT:    <key>path</key>
   1226 // CHECK-NEXT:    <array>
   1227 // CHECK-NEXT:     <dict>
   1228 // CHECK-NEXT:      <key>kind</key><string>event</string>
   1229 // CHECK-NEXT:      <key>location</key>
   1230 // CHECK-NEXT:      <dict>
   1231 // CHECK-NEXT:       <key>line</key><integer>151</integer>
   1232 // CHECK-NEXT:       <key>col</key><integer>15</integer>
   1233 // CHECK-NEXT:       <key>file</key><integer>0</integer>
   1234 // CHECK-NEXT:      </dict>
   1235 // CHECK-NEXT:      <key>ranges</key>
   1236 // CHECK-NEXT:      <array>
   1237 // CHECK-NEXT:        <array>
   1238 // CHECK-NEXT:         <dict>
   1239 // CHECK-NEXT:          <key>line</key><integer>151</integer>
   1240 // CHECK-NEXT:          <key>col</key><integer>15</integer>
   1241 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1242 // CHECK-NEXT:         </dict>
   1243 // CHECK-NEXT:         <dict>
   1244 // CHECK-NEXT:          <key>line</key><integer>151</integer>
   1245 // CHECK-NEXT:          <key>col</key><integer>17</integer>
   1246 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1247 // CHECK-NEXT:         </dict>
   1248 // CHECK-NEXT:        </array>
   1249 // CHECK-NEXT:        <array>
   1250 // CHECK-NEXT:         <dict>
   1251 // CHECK-NEXT:          <key>line</key><integer>151</integer>
   1252 // CHECK-NEXT:          <key>col</key><integer>21</integer>
   1253 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1254 // CHECK-NEXT:         </dict>
   1255 // CHECK-NEXT:         <dict>
   1256 // CHECK-NEXT:          <key>line</key><integer>151</integer>
   1257 // CHECK-NEXT:          <key>col</key><integer>67</integer>
   1258 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1259 // CHECK-NEXT:         </dict>
   1260 // CHECK-NEXT:        </array>
   1261 // CHECK-NEXT:      </array>
   1262 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
   1263 // CHECK-NEXT:      <key>extended_message</key>
   1264 // CHECK-NEXT:      <string>Value stored to &apos;cf2&apos; during its initialization is never read</string>
   1265 // CHECK-NEXT:      <key>message</key>
   1266 // CHECK-NEXT:      <string>Value stored to &apos;cf2&apos; during its initialization is never read</string>
   1267 // CHECK-NEXT:     </dict>
   1268 // CHECK-NEXT:    </array>
   1269 // CHECK-NEXT:    <key>description</key><string>Value stored to &apos;cf2&apos; during its initialization is never read</string>
   1270 // CHECK-NEXT:    <key>category</key><string>Dead store</string>
   1271 // CHECK-NEXT:    <key>type</key><string>Dead initialization</string>
   1272 // CHECK-NEXT:    <key>check_name</key><string>deadcode.DeadStores</string>
   1273 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
   1274 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>afc41cacb8f32bfbe4a4152f20cec5bc</string>
   1275 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
   1276 // CHECK-NEXT:   <key>issue_context</key><string>to_cf</string>
   1277 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>2</string>
   1278 // CHECK-NEXT:   <key>location</key>
   1279 // CHECK-NEXT:   <dict>
   1280 // CHECK-NEXT:    <key>line</key><integer>151</integer>
   1281 // CHECK-NEXT:    <key>col</key><integer>15</integer>
   1282 // CHECK-NEXT:    <key>file</key><integer>0</integer>
   1283 // CHECK-NEXT:   </dict>
   1284 // CHECK-NEXT:   </dict>
   1285 // CHECK-NEXT:   <dict>
   1286 // CHECK-NEXT:    <key>path</key>
   1287 // CHECK-NEXT:    <array>
   1288 // CHECK-NEXT:     <dict>
   1289 // CHECK-NEXT:      <key>kind</key><string>event</string>
   1290 // CHECK-NEXT:      <key>location</key>
   1291 // CHECK-NEXT:      <dict>
   1292 // CHECK-NEXT:       <key>line</key><integer>152</integer>
   1293 // CHECK-NEXT:       <key>col</key><integer>13</integer>
   1294 // CHECK-NEXT:       <key>file</key><integer>0</integer>
   1295 // CHECK-NEXT:      </dict>
   1296 // CHECK-NEXT:      <key>ranges</key>
   1297 // CHECK-NEXT:      <array>
   1298 // CHECK-NEXT:        <array>
   1299 // CHECK-NEXT:         <dict>
   1300 // CHECK-NEXT:          <key>line</key><integer>152</integer>
   1301 // CHECK-NEXT:          <key>col</key><integer>13</integer>
   1302 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1303 // CHECK-NEXT:         </dict>
   1304 // CHECK-NEXT:         <dict>
   1305 // CHECK-NEXT:          <key>line</key><integer>152</integer>
   1306 // CHECK-NEXT:          <key>col</key><integer>15</integer>
   1307 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1308 // CHECK-NEXT:         </dict>
   1309 // CHECK-NEXT:        </array>
   1310 // CHECK-NEXT:        <array>
   1311 // CHECK-NEXT:         <dict>
   1312 // CHECK-NEXT:          <key>line</key><integer>152</integer>
   1313 // CHECK-NEXT:          <key>col</key><integer>19</integer>
   1314 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1315 // CHECK-NEXT:         </dict>
   1316 // CHECK-NEXT:         <dict>
   1317 // CHECK-NEXT:          <key>line</key><integer>152</integer>
   1318 // CHECK-NEXT:          <key>col</key><integer>55</integer>
   1319 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1320 // CHECK-NEXT:         </dict>
   1321 // CHECK-NEXT:        </array>
   1322 // CHECK-NEXT:      </array>
   1323 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
   1324 // CHECK-NEXT:      <key>extended_message</key>
   1325 // CHECK-NEXT:      <string>Value stored to &apos;cf3&apos; during its initialization is never read</string>
   1326 // CHECK-NEXT:      <key>message</key>
   1327 // CHECK-NEXT:      <string>Value stored to &apos;cf3&apos; during its initialization is never read</string>
   1328 // CHECK-NEXT:     </dict>
   1329 // CHECK-NEXT:    </array>
   1330 // CHECK-NEXT:    <key>description</key><string>Value stored to &apos;cf3&apos; during its initialization is never read</string>
   1331 // CHECK-NEXT:    <key>category</key><string>Dead store</string>
   1332 // CHECK-NEXT:    <key>type</key><string>Dead initialization</string>
   1333 // CHECK-NEXT:    <key>check_name</key><string>deadcode.DeadStores</string>
   1334 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
   1335 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>e512cd0ada59beca5acfa53e2a632670</string>
   1336 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
   1337 // CHECK-NEXT:   <key>issue_context</key><string>to_cf</string>
   1338 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>3</string>
   1339 // CHECK-NEXT:   <key>location</key>
   1340 // CHECK-NEXT:   <dict>
   1341 // CHECK-NEXT:    <key>line</key><integer>152</integer>
   1342 // CHECK-NEXT:    <key>col</key><integer>13</integer>
   1343 // CHECK-NEXT:    <key>file</key><integer>0</integer>
   1344 // CHECK-NEXT:   </dict>
   1345 // CHECK-NEXT:   </dict>
   1346 // CHECK-NEXT:   <dict>
   1347 // CHECK-NEXT:    <key>path</key>
   1348 // CHECK-NEXT:    <array>
   1349 // CHECK-NEXT:     <dict>
   1350 // CHECK-NEXT:      <key>kind</key><string>event</string>
   1351 // CHECK-NEXT:      <key>location</key>
   1352 // CHECK-NEXT:      <dict>
   1353 // CHECK-NEXT:       <key>line</key><integer>153</integer>
   1354 // CHECK-NEXT:       <key>col</key><integer>15</integer>
   1355 // CHECK-NEXT:       <key>file</key><integer>0</integer>
   1356 // CHECK-NEXT:      </dict>
   1357 // CHECK-NEXT:      <key>ranges</key>
   1358 // CHECK-NEXT:      <array>
   1359 // CHECK-NEXT:        <array>
   1360 // CHECK-NEXT:         <dict>
   1361 // CHECK-NEXT:          <key>line</key><integer>153</integer>
   1362 // CHECK-NEXT:          <key>col</key><integer>15</integer>
   1363 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1364 // CHECK-NEXT:         </dict>
   1365 // CHECK-NEXT:         <dict>
   1366 // CHECK-NEXT:          <key>line</key><integer>153</integer>
   1367 // CHECK-NEXT:          <key>col</key><integer>17</integer>
   1368 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1369 // CHECK-NEXT:         </dict>
   1370 // CHECK-NEXT:        </array>
   1371 // CHECK-NEXT:        <array>
   1372 // CHECK-NEXT:         <dict>
   1373 // CHECK-NEXT:          <key>line</key><integer>153</integer>
   1374 // CHECK-NEXT:          <key>col</key><integer>21</integer>
   1375 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1376 // CHECK-NEXT:         </dict>
   1377 // CHECK-NEXT:         <dict>
   1378 // CHECK-NEXT:          <key>line</key><integer>153</integer>
   1379 // CHECK-NEXT:          <key>col</key><integer>58</integer>
   1380 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1381 // CHECK-NEXT:         </dict>
   1382 // CHECK-NEXT:        </array>
   1383 // CHECK-NEXT:      </array>
   1384 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
   1385 // CHECK-NEXT:      <key>extended_message</key>
   1386 // CHECK-NEXT:      <string>Value stored to &apos;cf4&apos; during its initialization is never read</string>
   1387 // CHECK-NEXT:      <key>message</key>
   1388 // CHECK-NEXT:      <string>Value stored to &apos;cf4&apos; during its initialization is never read</string>
   1389 // CHECK-NEXT:     </dict>
   1390 // CHECK-NEXT:    </array>
   1391 // CHECK-NEXT:    <key>description</key><string>Value stored to &apos;cf4&apos; during its initialization is never read</string>
   1392 // CHECK-NEXT:    <key>category</key><string>Dead store</string>
   1393 // CHECK-NEXT:    <key>type</key><string>Dead initialization</string>
   1394 // CHECK-NEXT:    <key>check_name</key><string>deadcode.DeadStores</string>
   1395 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
   1396 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>a43ae78dcef14395931eeb452f81819f</string>
   1397 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
   1398 // CHECK-NEXT:   <key>issue_context</key><string>to_cf</string>
   1399 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>4</string>
   1400 // CHECK-NEXT:   <key>location</key>
   1401 // CHECK-NEXT:   <dict>
   1402 // CHECK-NEXT:    <key>line</key><integer>153</integer>
   1403 // CHECK-NEXT:    <key>col</key><integer>15</integer>
   1404 // CHECK-NEXT:    <key>file</key><integer>0</integer>
   1405 // CHECK-NEXT:   </dict>
   1406 // CHECK-NEXT:   </dict>
   1407 // CHECK-NEXT:   <dict>
   1408 // CHECK-NEXT:    <key>path</key>
   1409 // CHECK-NEXT:    <array>
   1410 // CHECK-NEXT:     <dict>
   1411 // CHECK-NEXT:      <key>kind</key><string>control</string>
   1412 // CHECK-NEXT:      <key>edges</key>
   1413 // CHECK-NEXT:       <array>
   1414 // CHECK-NEXT:        <dict>
   1415 // CHECK-NEXT:         <key>start</key>
   1416 // CHECK-NEXT:          <array>
   1417 // CHECK-NEXT:           <dict>
   1418 // CHECK-NEXT:            <key>line</key><integer>164</integer>
   1419 // CHECK-NEXT:            <key>col</key><integer>3</integer>
   1420 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1421 // CHECK-NEXT:           </dict>
   1422 // CHECK-NEXT:           <dict>
   1423 // CHECK-NEXT:            <key>line</key><integer>164</integer>
   1424 // CHECK-NEXT:            <key>col</key><integer>16</integer>
   1425 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1426 // CHECK-NEXT:           </dict>
   1427 // CHECK-NEXT:          </array>
   1428 // CHECK-NEXT:         <key>end</key>
   1429 // CHECK-NEXT:          <array>
   1430 // CHECK-NEXT:           <dict>
   1431 // CHECK-NEXT:            <key>line</key><integer>165</integer>
   1432 // CHECK-NEXT:            <key>col</key><integer>3</integer>
   1433 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1434 // CHECK-NEXT:           </dict>
   1435 // CHECK-NEXT:           <dict>
   1436 // CHECK-NEXT:            <key>line</key><integer>165</integer>
   1437 // CHECK-NEXT:            <key>col</key><integer>11</integer>
   1438 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1439 // CHECK-NEXT:           </dict>
   1440 // CHECK-NEXT:          </array>
   1441 // CHECK-NEXT:        </dict>
   1442 // CHECK-NEXT:       </array>
   1443 // CHECK-NEXT:     </dict>
   1444 // CHECK-NEXT:     <dict>
   1445 // CHECK-NEXT:      <key>kind</key><string>event</string>
   1446 // CHECK-NEXT:      <key>location</key>
   1447 // CHECK-NEXT:      <dict>
   1448 // CHECK-NEXT:       <key>line</key><integer>165</integer>
   1449 // CHECK-NEXT:       <key>col</key><integer>20</integer>
   1450 // CHECK-NEXT:       <key>file</key><integer>0</integer>
   1451 // CHECK-NEXT:      </dict>
   1452 // CHECK-NEXT:      <key>ranges</key>
   1453 // CHECK-NEXT:      <array>
   1454 // CHECK-NEXT:        <array>
   1455 // CHECK-NEXT:         <dict>
   1456 // CHECK-NEXT:          <key>line</key><integer>165</integer>
   1457 // CHECK-NEXT:          <key>col</key><integer>20</integer>
   1458 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1459 // CHECK-NEXT:         </dict>
   1460 // CHECK-NEXT:         <dict>
   1461 // CHECK-NEXT:          <key>line</key><integer>165</integer>
   1462 // CHECK-NEXT:          <key>col</key><integer>37</integer>
   1463 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1464 // CHECK-NEXT:         </dict>
   1465 // CHECK-NEXT:        </array>
   1466 // CHECK-NEXT:      </array>
   1467 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
   1468 // CHECK-NEXT:      <key>extended_message</key>
   1469 // CHECK-NEXT:      <string>Call to function &apos;CFDateCreate&apos; returns a Core Foundation object with a +1 retain count</string>
   1470 // CHECK-NEXT:      <key>message</key>
   1471 // CHECK-NEXT:      <string>Call to function &apos;CFDateCreate&apos; returns a Core Foundation object with a +1 retain count</string>
   1472 // CHECK-NEXT:     </dict>
   1473 // CHECK-NEXT:     <dict>
   1474 // CHECK-NEXT:      <key>kind</key><string>control</string>
   1475 // CHECK-NEXT:      <key>edges</key>
   1476 // CHECK-NEXT:       <array>
   1477 // CHECK-NEXT:        <dict>
   1478 // CHECK-NEXT:         <key>start</key>
   1479 // CHECK-NEXT:          <array>
   1480 // CHECK-NEXT:           <dict>
   1481 // CHECK-NEXT:            <key>line</key><integer>165</integer>
   1482 // CHECK-NEXT:            <key>col</key><integer>3</integer>
   1483 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1484 // CHECK-NEXT:           </dict>
   1485 // CHECK-NEXT:           <dict>
   1486 // CHECK-NEXT:            <key>line</key><integer>165</integer>
   1487 // CHECK-NEXT:            <key>col</key><integer>11</integer>
   1488 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1489 // CHECK-NEXT:           </dict>
   1490 // CHECK-NEXT:          </array>
   1491 // CHECK-NEXT:         <key>end</key>
   1492 // CHECK-NEXT:          <array>
   1493 // CHECK-NEXT:           <dict>
   1494 // CHECK-NEXT:            <key>line</key><integer>166</integer>
   1495 // CHECK-NEXT:            <key>col</key><integer>3</integer>
   1496 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1497 // CHECK-NEXT:           </dict>
   1498 // CHECK-NEXT:           <dict>
   1499 // CHECK-NEXT:            <key>line</key><integer>166</integer>
   1500 // CHECK-NEXT:            <key>col</key><integer>4</integer>
   1501 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1502 // CHECK-NEXT:           </dict>
   1503 // CHECK-NEXT:          </array>
   1504 // CHECK-NEXT:        </dict>
   1505 // CHECK-NEXT:       </array>
   1506 // CHECK-NEXT:     </dict>
   1507 // CHECK-NEXT:     <dict>
   1508 // CHECK-NEXT:      <key>kind</key><string>event</string>
   1509 // CHECK-NEXT:      <key>location</key>
   1510 // CHECK-NEXT:      <dict>
   1511 // CHECK-NEXT:       <key>line</key><integer>166</integer>
   1512 // CHECK-NEXT:       <key>col</key><integer>3</integer>
   1513 // CHECK-NEXT:       <key>file</key><integer>0</integer>
   1514 // CHECK-NEXT:      </dict>
   1515 // CHECK-NEXT:      <key>ranges</key>
   1516 // CHECK-NEXT:      <array>
   1517 // CHECK-NEXT:        <array>
   1518 // CHECK-NEXT:         <dict>
   1519 // CHECK-NEXT:          <key>line</key><integer>166</integer>
   1520 // CHECK-NEXT:          <key>col</key><integer>3</integer>
   1521 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1522 // CHECK-NEXT:         </dict>
   1523 // CHECK-NEXT:         <dict>
   1524 // CHECK-NEXT:          <key>line</key><integer>166</integer>
   1525 // CHECK-NEXT:          <key>col</key><integer>6</integer>
   1526 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1527 // CHECK-NEXT:         </dict>
   1528 // CHECK-NEXT:        </array>
   1529 // CHECK-NEXT:      </array>
   1530 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
   1531 // CHECK-NEXT:      <key>extended_message</key>
   1532 // CHECK-NEXT:      <string>Object leaked: object allocated and stored into &apos;date&apos; is not referenced later in this execution path and has a retain count of +1</string>
   1533 // CHECK-NEXT:      <key>message</key>
   1534 // CHECK-NEXT:      <string>Object leaked: object allocated and stored into &apos;date&apos; is not referenced later in this execution path and has a retain count of +1</string>
   1535 // CHECK-NEXT:     </dict>
   1536 // CHECK-NEXT:    </array>
   1537 // CHECK-NEXT:    <key>description</key><string>Potential leak of an object stored into &apos;date&apos;</string>
   1538 // CHECK-NEXT:    <key>category</key><string>Memory (Core Foundation/Objective-C)</string>
   1539 // CHECK-NEXT:    <key>type</key><string>Leak</string>
   1540 // CHECK-NEXT:    <key>check_name</key><string>osx.cocoa.RetainCount</string>
   1541 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
   1542 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>798e65f80df0526369f9bb240e3d91fd</string>
   1543 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
   1544 // CHECK-NEXT:   <key>issue_context</key><string>test_objc_unretainedObject</string>
   1545 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>2</string>
   1546 // CHECK-NEXT:   <key>location</key>
   1547 // CHECK-NEXT:   <dict>
   1548 // CHECK-NEXT:    <key>line</key><integer>166</integer>
   1549 // CHECK-NEXT:    <key>col</key><integer>3</integer>
   1550 // CHECK-NEXT:    <key>file</key><integer>0</integer>
   1551 // CHECK-NEXT:   </dict>
   1552 // CHECK-NEXT:   </dict>
   1553 // CHECK-NEXT:   <dict>
   1554 // CHECK-NEXT:    <key>path</key>
   1555 // CHECK-NEXT:    <array>
   1556 // CHECK-NEXT:     <dict>
   1557 // CHECK-NEXT:      <key>kind</key><string>control</string>
   1558 // CHECK-NEXT:      <key>edges</key>
   1559 // CHECK-NEXT:       <array>
   1560 // CHECK-NEXT:        <dict>
   1561 // CHECK-NEXT:         <key>start</key>
   1562 // CHECK-NEXT:          <array>
   1563 // CHECK-NEXT:           <dict>
   1564 // CHECK-NEXT:            <key>line</key><integer>178</integer>
   1565 // CHECK-NEXT:            <key>col</key><integer>9</integer>
   1566 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1567 // CHECK-NEXT:           </dict>
   1568 // CHECK-NEXT:           <dict>
   1569 // CHECK-NEXT:            <key>line</key><integer>178</integer>
   1570 // CHECK-NEXT:            <key>col</key><integer>16</integer>
   1571 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1572 // CHECK-NEXT:           </dict>
   1573 // CHECK-NEXT:          </array>
   1574 // CHECK-NEXT:         <key>end</key>
   1575 // CHECK-NEXT:          <array>
   1576 // CHECK-NEXT:           <dict>
   1577 // CHECK-NEXT:            <key>line</key><integer>181</integer>
   1578 // CHECK-NEXT:            <key>col</key><integer>9</integer>
   1579 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1580 // CHECK-NEXT:           </dict>
   1581 // CHECK-NEXT:           <dict>
   1582 // CHECK-NEXT:            <key>line</key><integer>181</integer>
   1583 // CHECK-NEXT:            <key>col</key><integer>9</integer>
   1584 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1585 // CHECK-NEXT:           </dict>
   1586 // CHECK-NEXT:          </array>
   1587 // CHECK-NEXT:        </dict>
   1588 // CHECK-NEXT:       </array>
   1589 // CHECK-NEXT:     </dict>
   1590 // CHECK-NEXT:     <dict>
   1591 // CHECK-NEXT:      <key>kind</key><string>control</string>
   1592 // CHECK-NEXT:      <key>edges</key>
   1593 // CHECK-NEXT:       <array>
   1594 // CHECK-NEXT:        <dict>
   1595 // CHECK-NEXT:         <key>start</key>
   1596 // CHECK-NEXT:          <array>
   1597 // CHECK-NEXT:           <dict>
   1598 // CHECK-NEXT:            <key>line</key><integer>181</integer>
   1599 // CHECK-NEXT:            <key>col</key><integer>9</integer>
   1600 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1601 // CHECK-NEXT:           </dict>
   1602 // CHECK-NEXT:           <dict>
   1603 // CHECK-NEXT:            <key>line</key><integer>181</integer>
   1604 // CHECK-NEXT:            <key>col</key><integer>9</integer>
   1605 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1606 // CHECK-NEXT:           </dict>
   1607 // CHECK-NEXT:          </array>
   1608 // CHECK-NEXT:         <key>end</key>
   1609 // CHECK-NEXT:          <array>
   1610 // CHECK-NEXT:           <dict>
   1611 // CHECK-NEXT:            <key>line</key><integer>185</integer>
   1612 // CHECK-NEXT:            <key>col</key><integer>9</integer>
   1613 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1614 // CHECK-NEXT:           </dict>
   1615 // CHECK-NEXT:           <dict>
   1616 // CHECK-NEXT:            <key>line</key><integer>185</integer>
   1617 // CHECK-NEXT:            <key>col</key><integer>16</integer>
   1618 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1619 // CHECK-NEXT:           </dict>
   1620 // CHECK-NEXT:          </array>
   1621 // CHECK-NEXT:        </dict>
   1622 // CHECK-NEXT:       </array>
   1623 // CHECK-NEXT:     </dict>
   1624 // CHECK-NEXT:     <dict>
   1625 // CHECK-NEXT:      <key>kind</key><string>control</string>
   1626 // CHECK-NEXT:      <key>edges</key>
   1627 // CHECK-NEXT:       <array>
   1628 // CHECK-NEXT:        <dict>
   1629 // CHECK-NEXT:         <key>start</key>
   1630 // CHECK-NEXT:          <array>
   1631 // CHECK-NEXT:           <dict>
   1632 // CHECK-NEXT:            <key>line</key><integer>185</integer>
   1633 // CHECK-NEXT:            <key>col</key><integer>9</integer>
   1634 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1635 // CHECK-NEXT:           </dict>
   1636 // CHECK-NEXT:           <dict>
   1637 // CHECK-NEXT:            <key>line</key><integer>185</integer>
   1638 // CHECK-NEXT:            <key>col</key><integer>16</integer>
   1639 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1640 // CHECK-NEXT:           </dict>
   1641 // CHECK-NEXT:          </array>
   1642 // CHECK-NEXT:         <key>end</key>
   1643 // CHECK-NEXT:          <array>
   1644 // CHECK-NEXT:           <dict>
   1645 // CHECK-NEXT:            <key>line</key><integer>189</integer>
   1646 // CHECK-NEXT:            <key>col</key><integer>9</integer>
   1647 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1648 // CHECK-NEXT:           </dict>
   1649 // CHECK-NEXT:           <dict>
   1650 // CHECK-NEXT:            <key>line</key><integer>189</integer>
   1651 // CHECK-NEXT:            <key>col</key><integer>9</integer>
   1652 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1653 // CHECK-NEXT:           </dict>
   1654 // CHECK-NEXT:          </array>
   1655 // CHECK-NEXT:        </dict>
   1656 // CHECK-NEXT:       </array>
   1657 // CHECK-NEXT:     </dict>
   1658 // CHECK-NEXT:     <dict>
   1659 // CHECK-NEXT:      <key>kind</key><string>control</string>
   1660 // CHECK-NEXT:      <key>edges</key>
   1661 // CHECK-NEXT:       <array>
   1662 // CHECK-NEXT:        <dict>
   1663 // CHECK-NEXT:         <key>start</key>
   1664 // CHECK-NEXT:          <array>
   1665 // CHECK-NEXT:           <dict>
   1666 // CHECK-NEXT:            <key>line</key><integer>189</integer>
   1667 // CHECK-NEXT:            <key>col</key><integer>9</integer>
   1668 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1669 // CHECK-NEXT:           </dict>
   1670 // CHECK-NEXT:           <dict>
   1671 // CHECK-NEXT:            <key>line</key><integer>189</integer>
   1672 // CHECK-NEXT:            <key>col</key><integer>9</integer>
   1673 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1674 // CHECK-NEXT:           </dict>
   1675 // CHECK-NEXT:          </array>
   1676 // CHECK-NEXT:         <key>end</key>
   1677 // CHECK-NEXT:          <array>
   1678 // CHECK-NEXT:           <dict>
   1679 // CHECK-NEXT:            <key>line</key><integer>193</integer>
   1680 // CHECK-NEXT:            <key>col</key><integer>9</integer>
   1681 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1682 // CHECK-NEXT:           </dict>
   1683 // CHECK-NEXT:           <dict>
   1684 // CHECK-NEXT:            <key>line</key><integer>193</integer>
   1685 // CHECK-NEXT:            <key>col</key><integer>16</integer>
   1686 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1687 // CHECK-NEXT:           </dict>
   1688 // CHECK-NEXT:          </array>
   1689 // CHECK-NEXT:        </dict>
   1690 // CHECK-NEXT:       </array>
   1691 // CHECK-NEXT:     </dict>
   1692 // CHECK-NEXT:     <dict>
   1693 // CHECK-NEXT:      <key>kind</key><string>control</string>
   1694 // CHECK-NEXT:      <key>edges</key>
   1695 // CHECK-NEXT:       <array>
   1696 // CHECK-NEXT:        <dict>
   1697 // CHECK-NEXT:         <key>start</key>
   1698 // CHECK-NEXT:          <array>
   1699 // CHECK-NEXT:           <dict>
   1700 // CHECK-NEXT:            <key>line</key><integer>193</integer>
   1701 // CHECK-NEXT:            <key>col</key><integer>9</integer>
   1702 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1703 // CHECK-NEXT:           </dict>
   1704 // CHECK-NEXT:           <dict>
   1705 // CHECK-NEXT:            <key>line</key><integer>193</integer>
   1706 // CHECK-NEXT:            <key>col</key><integer>16</integer>
   1707 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1708 // CHECK-NEXT:           </dict>
   1709 // CHECK-NEXT:          </array>
   1710 // CHECK-NEXT:         <key>end</key>
   1711 // CHECK-NEXT:          <array>
   1712 // CHECK-NEXT:           <dict>
   1713 // CHECK-NEXT:            <key>line</key><integer>196</integer>
   1714 // CHECK-NEXT:            <key>col</key><integer>9</integer>
   1715 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1716 // CHECK-NEXT:           </dict>
   1717 // CHECK-NEXT:           <dict>
   1718 // CHECK-NEXT:            <key>line</key><integer>196</integer>
   1719 // CHECK-NEXT:            <key>col</key><integer>9</integer>
   1720 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1721 // CHECK-NEXT:           </dict>
   1722 // CHECK-NEXT:          </array>
   1723 // CHECK-NEXT:        </dict>
   1724 // CHECK-NEXT:       </array>
   1725 // CHECK-NEXT:     </dict>
   1726 // CHECK-NEXT:     <dict>
   1727 // CHECK-NEXT:      <key>kind</key><string>control</string>
   1728 // CHECK-NEXT:      <key>edges</key>
   1729 // CHECK-NEXT:       <array>
   1730 // CHECK-NEXT:        <dict>
   1731 // CHECK-NEXT:         <key>start</key>
   1732 // CHECK-NEXT:          <array>
   1733 // CHECK-NEXT:           <dict>
   1734 // CHECK-NEXT:            <key>line</key><integer>196</integer>
   1735 // CHECK-NEXT:            <key>col</key><integer>9</integer>
   1736 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1737 // CHECK-NEXT:           </dict>
   1738 // CHECK-NEXT:           <dict>
   1739 // CHECK-NEXT:            <key>line</key><integer>196</integer>
   1740 // CHECK-NEXT:            <key>col</key><integer>9</integer>
   1741 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1742 // CHECK-NEXT:           </dict>
   1743 // CHECK-NEXT:          </array>
   1744 // CHECK-NEXT:         <key>end</key>
   1745 // CHECK-NEXT:          <array>
   1746 // CHECK-NEXT:           <dict>
   1747 // CHECK-NEXT:            <key>line</key><integer>200</integer>
   1748 // CHECK-NEXT:            <key>col</key><integer>7</integer>
   1749 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1750 // CHECK-NEXT:           </dict>
   1751 // CHECK-NEXT:           <dict>
   1752 // CHECK-NEXT:            <key>line</key><integer>200</integer>
   1753 // CHECK-NEXT:            <key>col</key><integer>20</integer>
   1754 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1755 // CHECK-NEXT:           </dict>
   1756 // CHECK-NEXT:          </array>
   1757 // CHECK-NEXT:        </dict>
   1758 // CHECK-NEXT:       </array>
   1759 // CHECK-NEXT:     </dict>
   1760 // CHECK-NEXT:     <dict>
   1761 // CHECK-NEXT:      <key>kind</key><string>event</string>
   1762 // CHECK-NEXT:      <key>location</key>
   1763 // CHECK-NEXT:      <dict>
   1764 // CHECK-NEXT:       <key>line</key><integer>200</integer>
   1765 // CHECK-NEXT:       <key>col</key><integer>7</integer>
   1766 // CHECK-NEXT:       <key>file</key><integer>0</integer>
   1767 // CHECK-NEXT:      </dict>
   1768 // CHECK-NEXT:      <key>ranges</key>
   1769 // CHECK-NEXT:      <array>
   1770 // CHECK-NEXT:        <array>
   1771 // CHECK-NEXT:         <dict>
   1772 // CHECK-NEXT:          <key>line</key><integer>200</integer>
   1773 // CHECK-NEXT:          <key>col</key><integer>7</integer>
   1774 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1775 // CHECK-NEXT:         </dict>
   1776 // CHECK-NEXT:         <dict>
   1777 // CHECK-NEXT:          <key>line</key><integer>200</integer>
   1778 // CHECK-NEXT:          <key>col</key><integer>22</integer>
   1779 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1780 // CHECK-NEXT:         </dict>
   1781 // CHECK-NEXT:        </array>
   1782 // CHECK-NEXT:      </array>
   1783 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
   1784 // CHECK-NEXT:      <key>extended_message</key>
   1785 // CHECK-NEXT:      <string>Call to function &apos;CFCreateString&apos; returns a Core Foundation object with a +1 retain count</string>
   1786 // CHECK-NEXT:      <key>message</key>
   1787 // CHECK-NEXT:      <string>Call to function &apos;CFCreateString&apos; returns a Core Foundation object with a +1 retain count</string>
   1788 // CHECK-NEXT:     </dict>
   1789 // CHECK-NEXT:     <dict>
   1790 // CHECK-NEXT:      <key>kind</key><string>control</string>
   1791 // CHECK-NEXT:      <key>edges</key>
   1792 // CHECK-NEXT:       <array>
   1793 // CHECK-NEXT:        <dict>
   1794 // CHECK-NEXT:         <key>start</key>
   1795 // CHECK-NEXT:          <array>
   1796 // CHECK-NEXT:           <dict>
   1797 // CHECK-NEXT:            <key>line</key><integer>200</integer>
   1798 // CHECK-NEXT:            <key>col</key><integer>7</integer>
   1799 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1800 // CHECK-NEXT:           </dict>
   1801 // CHECK-NEXT:           <dict>
   1802 // CHECK-NEXT:            <key>line</key><integer>200</integer>
   1803 // CHECK-NEXT:            <key>col</key><integer>20</integer>
   1804 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1805 // CHECK-NEXT:           </dict>
   1806 // CHECK-NEXT:          </array>
   1807 // CHECK-NEXT:         <key>end</key>
   1808 // CHECK-NEXT:          <array>
   1809 // CHECK-NEXT:           <dict>
   1810 // CHECK-NEXT:            <key>line</key><integer>202</integer>
   1811 // CHECK-NEXT:            <key>col</key><integer>1</integer>
   1812 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1813 // CHECK-NEXT:           </dict>
   1814 // CHECK-NEXT:           <dict>
   1815 // CHECK-NEXT:            <key>line</key><integer>202</integer>
   1816 // CHECK-NEXT:            <key>col</key><integer>1</integer>
   1817 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1818 // CHECK-NEXT:           </dict>
   1819 // CHECK-NEXT:          </array>
   1820 // CHECK-NEXT:        </dict>
   1821 // CHECK-NEXT:       </array>
   1822 // CHECK-NEXT:     </dict>
   1823 // CHECK-NEXT:     <dict>
   1824 // CHECK-NEXT:      <key>kind</key><string>event</string>
   1825 // CHECK-NEXT:      <key>location</key>
   1826 // CHECK-NEXT:      <dict>
   1827 // CHECK-NEXT:       <key>line</key><integer>202</integer>
   1828 // CHECK-NEXT:       <key>col</key><integer>1</integer>
   1829 // CHECK-NEXT:       <key>file</key><integer>0</integer>
   1830 // CHECK-NEXT:      </dict>
   1831 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
   1832 // CHECK-NEXT:      <key>extended_message</key>
   1833 // CHECK-NEXT:      <string>Object leaked: allocated object is not referenced later in this execution path and has a retain count of +1</string>
   1834 // CHECK-NEXT:      <key>message</key>
   1835 // CHECK-NEXT:      <string>Object leaked: allocated object is not referenced later in this execution path and has a retain count of +1</string>
   1836 // CHECK-NEXT:     </dict>
   1837 // CHECK-NEXT:    </array>
   1838 // CHECK-NEXT:    <key>description</key><string>Potential leak of an object</string>
   1839 // CHECK-NEXT:    <key>category</key><string>Memory (Core Foundation/Objective-C)</string>
   1840 // CHECK-NEXT:    <key>type</key><string>Leak</string>
   1841 // CHECK-NEXT:    <key>check_name</key><string>osx.cocoa.RetainCount</string>
   1842 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
   1843 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>e1fbcc142b678b3c2c43737ee35b64d9</string>
   1844 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
   1845 // CHECK-NEXT:   <key>issue_context</key><string>test_objc_arrays</string>
   1846 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>24</string>
   1847 // CHECK-NEXT:   <key>location</key>
   1848 // CHECK-NEXT:   <dict>
   1849 // CHECK-NEXT:    <key>line</key><integer>202</integer>
   1850 // CHECK-NEXT:    <key>col</key><integer>1</integer>
   1851 // CHECK-NEXT:    <key>file</key><integer>0</integer>
   1852 // CHECK-NEXT:   </dict>
   1853 // CHECK-NEXT:   </dict>
   1854 // CHECK-NEXT:   <dict>
   1855 // CHECK-NEXT:    <key>path</key>
   1856 // CHECK-NEXT:    <array>
   1857 // CHECK-NEXT:     <dict>
   1858 // CHECK-NEXT:      <key>kind</key><string>event</string>
   1859 // CHECK-NEXT:      <key>location</key>
   1860 // CHECK-NEXT:      <dict>
   1861 // CHECK-NEXT:       <key>line</key><integer>214</integer>
   1862 // CHECK-NEXT:       <key>col</key><integer>17</integer>
   1863 // CHECK-NEXT:       <key>file</key><integer>0</integer>
   1864 // CHECK-NEXT:      </dict>
   1865 // CHECK-NEXT:      <key>ranges</key>
   1866 // CHECK-NEXT:      <array>
   1867 // CHECK-NEXT:        <array>
   1868 // CHECK-NEXT:         <dict>
   1869 // CHECK-NEXT:          <key>line</key><integer>214</integer>
   1870 // CHECK-NEXT:          <key>col</key><integer>17</integer>
   1871 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1872 // CHECK-NEXT:         </dict>
   1873 // CHECK-NEXT:         <dict>
   1874 // CHECK-NEXT:          <key>line</key><integer>214</integer>
   1875 // CHECK-NEXT:          <key>col</key><integer>39</integer>
   1876 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1877 // CHECK-NEXT:         </dict>
   1878 // CHECK-NEXT:        </array>
   1879 // CHECK-NEXT:      </array>
   1880 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
   1881 // CHECK-NEXT:      <key>extended_message</key>
   1882 // CHECK-NEXT:      <string>Method returns an Objective-C object with a +0 retain count</string>
   1883 // CHECK-NEXT:      <key>message</key>
   1884 // CHECK-NEXT:      <string>Method returns an Objective-C object with a +0 retain count</string>
   1885 // CHECK-NEXT:     </dict>
   1886 // CHECK-NEXT:     <dict>
   1887 // CHECK-NEXT:      <key>kind</key><string>control</string>
   1888 // CHECK-NEXT:      <key>edges</key>
   1889 // CHECK-NEXT:       <array>
   1890 // CHECK-NEXT:        <dict>
   1891 // CHECK-NEXT:         <key>start</key>
   1892 // CHECK-NEXT:          <array>
   1893 // CHECK-NEXT:           <dict>
   1894 // CHECK-NEXT:            <key>line</key><integer>214</integer>
   1895 // CHECK-NEXT:            <key>col</key><integer>3</integer>
   1896 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1897 // CHECK-NEXT:           </dict>
   1898 // CHECK-NEXT:           <dict>
   1899 // CHECK-NEXT:            <key>line</key><integer>214</integer>
   1900 // CHECK-NEXT:            <key>col</key><integer>10</integer>
   1901 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1902 // CHECK-NEXT:           </dict>
   1903 // CHECK-NEXT:          </array>
   1904 // CHECK-NEXT:         <key>end</key>
   1905 // CHECK-NEXT:          <array>
   1906 // CHECK-NEXT:           <dict>
   1907 // CHECK-NEXT:            <key>line</key><integer>215</integer>
   1908 // CHECK-NEXT:            <key>col</key><integer>3</integer>
   1909 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1910 // CHECK-NEXT:           </dict>
   1911 // CHECK-NEXT:           <dict>
   1912 // CHECK-NEXT:            <key>line</key><integer>215</integer>
   1913 // CHECK-NEXT:            <key>col</key><integer>18</integer>
   1914 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1915 // CHECK-NEXT:           </dict>
   1916 // CHECK-NEXT:          </array>
   1917 // CHECK-NEXT:        </dict>
   1918 // CHECK-NEXT:       </array>
   1919 // CHECK-NEXT:     </dict>
   1920 // CHECK-NEXT:     <dict>
   1921 // CHECK-NEXT:      <key>kind</key><string>event</string>
   1922 // CHECK-NEXT:      <key>location</key>
   1923 // CHECK-NEXT:      <dict>
   1924 // CHECK-NEXT:       <key>line</key><integer>215</integer>
   1925 // CHECK-NEXT:       <key>col</key><integer>3</integer>
   1926 // CHECK-NEXT:       <key>file</key><integer>0</integer>
   1927 // CHECK-NEXT:      </dict>
   1928 // CHECK-NEXT:      <key>ranges</key>
   1929 // CHECK-NEXT:      <array>
   1930 // CHECK-NEXT:        <array>
   1931 // CHECK-NEXT:         <dict>
   1932 // CHECK-NEXT:          <key>line</key><integer>215</integer>
   1933 // CHECK-NEXT:          <key>col</key><integer>3</integer>
   1934 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1935 // CHECK-NEXT:         </dict>
   1936 // CHECK-NEXT:         <dict>
   1937 // CHECK-NEXT:          <key>line</key><integer>215</integer>
   1938 // CHECK-NEXT:          <key>col</key><integer>21</integer>
   1939 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1940 // CHECK-NEXT:         </dict>
   1941 // CHECK-NEXT:        </array>
   1942 // CHECK-NEXT:        <array>
   1943 // CHECK-NEXT:         <dict>
   1944 // CHECK-NEXT:          <key>line</key><integer>215</integer>
   1945 // CHECK-NEXT:          <key>col</key><integer>20</integer>
   1946 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1947 // CHECK-NEXT:         </dict>
   1948 // CHECK-NEXT:         <dict>
   1949 // CHECK-NEXT:          <key>line</key><integer>215</integer>
   1950 // CHECK-NEXT:          <key>col</key><integer>20</integer>
   1951 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   1952 // CHECK-NEXT:         </dict>
   1953 // CHECK-NEXT:        </array>
   1954 // CHECK-NEXT:      </array>
   1955 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
   1956 // CHECK-NEXT:      <key>extended_message</key>
   1957 // CHECK-NEXT:      <string>Reference count incremented. The object now has a +1 retain count</string>
   1958 // CHECK-NEXT:      <key>message</key>
   1959 // CHECK-NEXT:      <string>Reference count incremented. The object now has a +1 retain count</string>
   1960 // CHECK-NEXT:     </dict>
   1961 // CHECK-NEXT:     <dict>
   1962 // CHECK-NEXT:      <key>kind</key><string>control</string>
   1963 // CHECK-NEXT:      <key>edges</key>
   1964 // CHECK-NEXT:       <array>
   1965 // CHECK-NEXT:        <dict>
   1966 // CHECK-NEXT:         <key>start</key>
   1967 // CHECK-NEXT:          <array>
   1968 // CHECK-NEXT:           <dict>
   1969 // CHECK-NEXT:            <key>line</key><integer>215</integer>
   1970 // CHECK-NEXT:            <key>col</key><integer>3</integer>
   1971 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1972 // CHECK-NEXT:           </dict>
   1973 // CHECK-NEXT:           <dict>
   1974 // CHECK-NEXT:            <key>line</key><integer>215</integer>
   1975 // CHECK-NEXT:            <key>col</key><integer>18</integer>
   1976 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1977 // CHECK-NEXT:           </dict>
   1978 // CHECK-NEXT:          </array>
   1979 // CHECK-NEXT:         <key>end</key>
   1980 // CHECK-NEXT:          <array>
   1981 // CHECK-NEXT:           <dict>
   1982 // CHECK-NEXT:            <key>line</key><integer>216</integer>
   1983 // CHECK-NEXT:            <key>col</key><integer>1</integer>
   1984 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1985 // CHECK-NEXT:           </dict>
   1986 // CHECK-NEXT:           <dict>
   1987 // CHECK-NEXT:            <key>line</key><integer>216</integer>
   1988 // CHECK-NEXT:            <key>col</key><integer>1</integer>
   1989 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   1990 // CHECK-NEXT:           </dict>
   1991 // CHECK-NEXT:          </array>
   1992 // CHECK-NEXT:        </dict>
   1993 // CHECK-NEXT:       </array>
   1994 // CHECK-NEXT:     </dict>
   1995 // CHECK-NEXT:     <dict>
   1996 // CHECK-NEXT:      <key>kind</key><string>event</string>
   1997 // CHECK-NEXT:      <key>location</key>
   1998 // CHECK-NEXT:      <dict>
   1999 // CHECK-NEXT:       <key>line</key><integer>216</integer>
   2000 // CHECK-NEXT:       <key>col</key><integer>1</integer>
   2001 // CHECK-NEXT:       <key>file</key><integer>0</integer>
   2002 // CHECK-NEXT:      </dict>
   2003 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
   2004 // CHECK-NEXT:      <key>extended_message</key>
   2005 // CHECK-NEXT:      <string>Object leaked: object allocated and stored into &apos;o&apos; is not referenced later in this execution path and has a retain count of +1</string>
   2006 // CHECK-NEXT:      <key>message</key>
   2007 // CHECK-NEXT:      <string>Object leaked: object allocated and stored into &apos;o&apos; is not referenced later in this execution path and has a retain count of +1</string>
   2008 // CHECK-NEXT:     </dict>
   2009 // CHECK-NEXT:    </array>
   2010 // CHECK-NEXT:    <key>description</key><string>Potential leak of an object stored into &apos;o&apos;</string>
   2011 // CHECK-NEXT:    <key>category</key><string>Memory (Core Foundation/Objective-C)</string>
   2012 // CHECK-NEXT:    <key>type</key><string>Leak</string>
   2013 // CHECK-NEXT:    <key>check_name</key><string>osx.cocoa.RetainCount</string>
   2014 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
   2015 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>e300a279615a384d2b310329651d3978</string>
   2016 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
   2017 // CHECK-NEXT:   <key>issue_context</key><string>rdar11059275_positive</string>
   2018 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>1</string>
   2019 // CHECK-NEXT:   <key>location</key>
   2020 // CHECK-NEXT:   <dict>
   2021 // CHECK-NEXT:    <key>line</key><integer>216</integer>
   2022 // CHECK-NEXT:    <key>col</key><integer>1</integer>
   2023 // CHECK-NEXT:    <key>file</key><integer>0</integer>
   2024 // CHECK-NEXT:   </dict>
   2025 // CHECK-NEXT:   </dict>
   2026 // CHECK-NEXT:   <dict>
   2027 // CHECK-NEXT:    <key>path</key>
   2028 // CHECK-NEXT:    <array>
   2029 // CHECK-NEXT:     <dict>
   2030 // CHECK-NEXT:      <key>kind</key><string>control</string>
   2031 // CHECK-NEXT:      <key>edges</key>
   2032 // CHECK-NEXT:       <array>
   2033 // CHECK-NEXT:        <dict>
   2034 // CHECK-NEXT:         <key>start</key>
   2035 // CHECK-NEXT:          <array>
   2036 // CHECK-NEXT:           <dict>
   2037 // CHECK-NEXT:            <key>line</key><integer>229</integer>
   2038 // CHECK-NEXT:            <key>col</key><integer>3</integer>
   2039 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   2040 // CHECK-NEXT:           </dict>
   2041 // CHECK-NEXT:           <dict>
   2042 // CHECK-NEXT:            <key>line</key><integer>229</integer>
   2043 // CHECK-NEXT:            <key>col</key><integer>4</integer>
   2044 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   2045 // CHECK-NEXT:           </dict>
   2046 // CHECK-NEXT:          </array>
   2047 // CHECK-NEXT:         <key>end</key>
   2048 // CHECK-NEXT:          <array>
   2049 // CHECK-NEXT:           <dict>
   2050 // CHECK-NEXT:            <key>line</key><integer>230</integer>
   2051 // CHECK-NEXT:            <key>col</key><integer>3</integer>
   2052 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   2053 // CHECK-NEXT:           </dict>
   2054 // CHECK-NEXT:           <dict>
   2055 // CHECK-NEXT:            <key>line</key><integer>230</integer>
   2056 // CHECK-NEXT:            <key>col</key><integer>3</integer>
   2057 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   2058 // CHECK-NEXT:           </dict>
   2059 // CHECK-NEXT:          </array>
   2060 // CHECK-NEXT:        </dict>
   2061 // CHECK-NEXT:       </array>
   2062 // CHECK-NEXT:     </dict>
   2063 // CHECK-NEXT:     <dict>
   2064 // CHECK-NEXT:      <key>kind</key><string>control</string>
   2065 // CHECK-NEXT:      <key>edges</key>
   2066 // CHECK-NEXT:       <array>
   2067 // CHECK-NEXT:        <dict>
   2068 // CHECK-NEXT:         <key>start</key>
   2069 // CHECK-NEXT:          <array>
   2070 // CHECK-NEXT:           <dict>
   2071 // CHECK-NEXT:            <key>line</key><integer>230</integer>
   2072 // CHECK-NEXT:            <key>col</key><integer>3</integer>
   2073 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   2074 // CHECK-NEXT:           </dict>
   2075 // CHECK-NEXT:           <dict>
   2076 // CHECK-NEXT:            <key>line</key><integer>230</integer>
   2077 // CHECK-NEXT:            <key>col</key><integer>3</integer>
   2078 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   2079 // CHECK-NEXT:           </dict>
   2080 // CHECK-NEXT:          </array>
   2081 // CHECK-NEXT:         <key>end</key>
   2082 // CHECK-NEXT:          <array>
   2083 // CHECK-NEXT:           <dict>
   2084 // CHECK-NEXT:            <key>line</key><integer>230</integer>
   2085 // CHECK-NEXT:            <key>col</key><integer>22</integer>
   2086 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   2087 // CHECK-NEXT:           </dict>
   2088 // CHECK-NEXT:           <dict>
   2089 // CHECK-NEXT:            <key>line</key><integer>230</integer>
   2090 // CHECK-NEXT:            <key>col</key><integer>22</integer>
   2091 // CHECK-NEXT:            <key>file</key><integer>0</integer>
   2092 // CHECK-NEXT:           </dict>
   2093 // CHECK-NEXT:          </array>
   2094 // CHECK-NEXT:        </dict>
   2095 // CHECK-NEXT:       </array>
   2096 // CHECK-NEXT:     </dict>
   2097 // CHECK-NEXT:     <dict>
   2098 // CHECK-NEXT:      <key>kind</key><string>event</string>
   2099 // CHECK-NEXT:      <key>location</key>
   2100 // CHECK-NEXT:      <dict>
   2101 // CHECK-NEXT:       <key>line</key><integer>230</integer>
   2102 // CHECK-NEXT:       <key>col</key><integer>22</integer>
   2103 // CHECK-NEXT:       <key>file</key><integer>0</integer>
   2104 // CHECK-NEXT:      </dict>
   2105 // CHECK-NEXT:      <key>ranges</key>
   2106 // CHECK-NEXT:      <array>
   2107 // CHECK-NEXT:        <array>
   2108 // CHECK-NEXT:         <dict>
   2109 // CHECK-NEXT:          <key>line</key><integer>230</integer>
   2110 // CHECK-NEXT:          <key>col</key><integer>3</integer>
   2111 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   2112 // CHECK-NEXT:         </dict>
   2113 // CHECK-NEXT:         <dict>
   2114 // CHECK-NEXT:          <key>line</key><integer>230</integer>
   2115 // CHECK-NEXT:          <key>col</key><integer>24</integer>
   2116 // CHECK-NEXT:          <key>file</key><integer>0</integer>
   2117 // CHECK-NEXT:         </dict>
   2118 // CHECK-NEXT:        </array>
   2119 // CHECK-NEXT:      </array>
   2120 // CHECK-NEXT:      <key>depth</key><integer>0</integer>
   2121 // CHECK-NEXT:      <key>extended_message</key>
   2122 // CHECK-NEXT:      <string>Dereference of null pointer</string>
   2123 // CHECK-NEXT:      <key>message</key>
   2124 // CHECK-NEXT:      <string>Dereference of null pointer</string>
   2125 // CHECK-NEXT:     </dict>
   2126 // CHECK-NEXT:    </array>
   2127 // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer</string>
   2128 // CHECK-NEXT:    <key>category</key><string>Logic error</string>
   2129 // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
   2130 // CHECK-NEXT:    <key>check_name</key><string>core.NullDereference</string>
   2131 // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
   2132 // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>37efdaee587b783c6d49a228ff5ba49f</string>
   2133 // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
   2134 // CHECK-NEXT:   <key>issue_context</key><string>rdar14061675</string>
   2135 // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>4</string>
   2136 // CHECK-NEXT:   <key>location</key>
   2137 // CHECK-NEXT:   <dict>
   2138 // CHECK-NEXT:    <key>line</key><integer>230</integer>
   2139 // CHECK-NEXT:    <key>col</key><integer>22</integer>
   2140 // CHECK-NEXT:    <key>file</key><integer>0</integer>
   2141 // CHECK-NEXT:   </dict>
   2142 // CHECK-NEXT:   </dict>
   2143 // CHECK-NEXT:  </array>
   2144