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 transfered. 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>'p' initialized to a null pointer value</string> 265 // CHECK-NEXT: <key>message</key> 266 // CHECK-NEXT: <string>'p' 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 'p')</string> 362 // CHECK-NEXT: <key>message</key> 363 // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string> 364 // CHECK-NEXT: </dict> 365 // CHECK-NEXT: </array> 366 // CHECK-NEXT: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</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>issue_context_kind</key><string>function</string> 370 // CHECK-NEXT: <key>issue_context</key><string>test_working</string> 371 // CHECK-NEXT: <key>issue_hash</key><string>2</string> 372 // CHECK-NEXT: <key>location</key> 373 // CHECK-NEXT: <dict> 374 // CHECK-NEXT: <key>line</key><integer>54</integer> 375 // CHECK-NEXT: <key>col</key><integer>6</integer> 376 // CHECK-NEXT: <key>file</key><integer>0</integer> 377 // CHECK-NEXT: </dict> 378 // CHECK-NEXT: </dict> 379 // CHECK-NEXT: <dict> 380 // CHECK-NEXT: <key>path</key> 381 // CHECK-NEXT: <array> 382 // CHECK-NEXT: <dict> 383 // CHECK-NEXT: <key>kind</key><string>control</string> 384 // CHECK-NEXT: <key>edges</key> 385 // CHECK-NEXT: <array> 386 // CHECK-NEXT: <dict> 387 // CHECK-NEXT: <key>start</key> 388 // CHECK-NEXT: <array> 389 // CHECK-NEXT: <dict> 390 // CHECK-NEXT: <key>line</key><integer>93</integer> 391 // CHECK-NEXT: <key>col</key><integer>3</integer> 392 // CHECK-NEXT: <key>file</key><integer>0</integer> 393 // CHECK-NEXT: </dict> 394 // CHECK-NEXT: <dict> 395 // CHECK-NEXT: <key>line</key><integer>93</integer> 396 // CHECK-NEXT: <key>col</key><integer>16</integer> 397 // CHECK-NEXT: <key>file</key><integer>0</integer> 398 // CHECK-NEXT: </dict> 399 // CHECK-NEXT: </array> 400 // CHECK-NEXT: <key>end</key> 401 // CHECK-NEXT: <array> 402 // CHECK-NEXT: <dict> 403 // CHECK-NEXT: <key>line</key><integer>94</integer> 404 // CHECK-NEXT: <key>col</key><integer>3</integer> 405 // CHECK-NEXT: <key>file</key><integer>0</integer> 406 // CHECK-NEXT: </dict> 407 // CHECK-NEXT: <dict> 408 // CHECK-NEXT: <key>line</key><integer>94</integer> 409 // CHECK-NEXT: <key>col</key><integer>11</integer> 410 // CHECK-NEXT: <key>file</key><integer>0</integer> 411 // CHECK-NEXT: </dict> 412 // CHECK-NEXT: </array> 413 // CHECK-NEXT: </dict> 414 // CHECK-NEXT: </array> 415 // CHECK-NEXT: </dict> 416 // CHECK-NEXT: <dict> 417 // CHECK-NEXT: <key>kind</key><string>event</string> 418 // CHECK-NEXT: <key>location</key> 419 // CHECK-NEXT: <dict> 420 // CHECK-NEXT: <key>line</key><integer>94</integer> 421 // CHECK-NEXT: <key>col</key><integer>20</integer> 422 // CHECK-NEXT: <key>file</key><integer>0</integer> 423 // CHECK-NEXT: </dict> 424 // CHECK-NEXT: <key>ranges</key> 425 // CHECK-NEXT: <array> 426 // CHECK-NEXT: <array> 427 // CHECK-NEXT: <dict> 428 // CHECK-NEXT: <key>line</key><integer>94</integer> 429 // CHECK-NEXT: <key>col</key><integer>20</integer> 430 // CHECK-NEXT: <key>file</key><integer>0</integer> 431 // CHECK-NEXT: </dict> 432 // CHECK-NEXT: <dict> 433 // CHECK-NEXT: <key>line</key><integer>94</integer> 434 // CHECK-NEXT: <key>col</key><integer>37</integer> 435 // CHECK-NEXT: <key>file</key><integer>0</integer> 436 // CHECK-NEXT: </dict> 437 // CHECK-NEXT: </array> 438 // CHECK-NEXT: </array> 439 // CHECK-NEXT: <key>depth</key><integer>0</integer> 440 // CHECK-NEXT: <key>extended_message</key> 441 // CHECK-NEXT: <string>Call to function 'CFDateCreate' returns a Core Foundation object with a +1 retain count</string> 442 // CHECK-NEXT: <key>message</key> 443 // CHECK-NEXT: <string>Call to function 'CFDateCreate' returns a Core Foundation object with a +1 retain count</string> 444 // CHECK-NEXT: </dict> 445 // CHECK-NEXT: <dict> 446 // CHECK-NEXT: <key>kind</key><string>control</string> 447 // CHECK-NEXT: <key>edges</key> 448 // CHECK-NEXT: <array> 449 // CHECK-NEXT: <dict> 450 // CHECK-NEXT: <key>start</key> 451 // CHECK-NEXT: <array> 452 // CHECK-NEXT: <dict> 453 // CHECK-NEXT: <key>line</key><integer>94</integer> 454 // CHECK-NEXT: <key>col</key><integer>3</integer> 455 // CHECK-NEXT: <key>file</key><integer>0</integer> 456 // CHECK-NEXT: </dict> 457 // CHECK-NEXT: <dict> 458 // CHECK-NEXT: <key>line</key><integer>94</integer> 459 // CHECK-NEXT: <key>col</key><integer>11</integer> 460 // CHECK-NEXT: <key>file</key><integer>0</integer> 461 // CHECK-NEXT: </dict> 462 // CHECK-NEXT: </array> 463 // CHECK-NEXT: <key>end</key> 464 // CHECK-NEXT: <array> 465 // CHECK-NEXT: <dict> 466 // CHECK-NEXT: <key>line</key><integer>95</integer> 467 // CHECK-NEXT: <key>col</key><integer>3</integer> 468 // CHECK-NEXT: <key>file</key><integer>0</integer> 469 // CHECK-NEXT: </dict> 470 // CHECK-NEXT: <dict> 471 // CHECK-NEXT: <key>line</key><integer>95</integer> 472 // CHECK-NEXT: <key>col</key><integer>3</integer> 473 // CHECK-NEXT: <key>file</key><integer>0</integer> 474 // CHECK-NEXT: </dict> 475 // CHECK-NEXT: </array> 476 // CHECK-NEXT: </dict> 477 // CHECK-NEXT: </array> 478 // CHECK-NEXT: </dict> 479 // CHECK-NEXT: <dict> 480 // CHECK-NEXT: <key>kind</key><string>control</string> 481 // CHECK-NEXT: <key>edges</key> 482 // CHECK-NEXT: <array> 483 // CHECK-NEXT: <dict> 484 // CHECK-NEXT: <key>start</key> 485 // CHECK-NEXT: <array> 486 // CHECK-NEXT: <dict> 487 // CHECK-NEXT: <key>line</key><integer>95</integer> 488 // CHECK-NEXT: <key>col</key><integer>3</integer> 489 // CHECK-NEXT: <key>file</key><integer>0</integer> 490 // CHECK-NEXT: </dict> 491 // CHECK-NEXT: <dict> 492 // CHECK-NEXT: <key>line</key><integer>95</integer> 493 // CHECK-NEXT: <key>col</key><integer>3</integer> 494 // CHECK-NEXT: <key>file</key><integer>0</integer> 495 // CHECK-NEXT: </dict> 496 // CHECK-NEXT: </array> 497 // CHECK-NEXT: <key>end</key> 498 // CHECK-NEXT: <array> 499 // CHECK-NEXT: <dict> 500 // CHECK-NEXT: <key>line</key><integer>96</integer> 501 // CHECK-NEXT: <key>col</key><integer>1</integer> 502 // CHECK-NEXT: <key>file</key><integer>0</integer> 503 // CHECK-NEXT: </dict> 504 // CHECK-NEXT: <dict> 505 // CHECK-NEXT: <key>line</key><integer>96</integer> 506 // CHECK-NEXT: <key>col</key><integer>1</integer> 507 // CHECK-NEXT: <key>file</key><integer>0</integer> 508 // CHECK-NEXT: </dict> 509 // CHECK-NEXT: </array> 510 // CHECK-NEXT: </dict> 511 // CHECK-NEXT: </array> 512 // CHECK-NEXT: </dict> 513 // CHECK-NEXT: <dict> 514 // CHECK-NEXT: <key>kind</key><string>event</string> 515 // CHECK-NEXT: <key>location</key> 516 // CHECK-NEXT: <dict> 517 // CHECK-NEXT: <key>line</key><integer>96</integer> 518 // CHECK-NEXT: <key>col</key><integer>1</integer> 519 // CHECK-NEXT: <key>file</key><integer>0</integer> 520 // CHECK-NEXT: </dict> 521 // CHECK-NEXT: <key>depth</key><integer>0</integer> 522 // CHECK-NEXT: <key>extended_message</key> 523 // CHECK-NEXT: <string>Object leaked: object allocated and stored into 'date' is not referenced later in this execution path and has a retain count of +1</string> 524 // CHECK-NEXT: <key>message</key> 525 // CHECK-NEXT: <string>Object leaked: object allocated and stored into 'date' is not referenced later in this execution path and has a retain count of +1</string> 526 // CHECK-NEXT: </dict> 527 // CHECK-NEXT: </array> 528 // CHECK-NEXT: <key>description</key><string>Potential leak of an object stored into 'date'</string> 529 // CHECK-NEXT: <key>category</key><string>Memory (Core Foundation/Objective-C)</string> 530 // CHECK-NEXT: <key>type</key><string>Leak</string> 531 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 532 // CHECK-NEXT: <key>issue_context</key><string>test_cf_leak</string> 533 // CHECK-NEXT: <key>issue_hash</key><string>2</string> 534 // CHECK-NEXT: <key>location</key> 535 // CHECK-NEXT: <dict> 536 // CHECK-NEXT: <key>line</key><integer>96</integer> 537 // CHECK-NEXT: <key>col</key><integer>1</integer> 538 // CHECK-NEXT: <key>file</key><integer>0</integer> 539 // CHECK-NEXT: </dict> 540 // CHECK-NEXT: </dict> 541 // CHECK-NEXT: <dict> 542 // CHECK-NEXT: <key>path</key> 543 // CHECK-NEXT: <array> 544 // CHECK-NEXT: <dict> 545 // CHECK-NEXT: <key>kind</key><string>event</string> 546 // CHECK-NEXT: <key>location</key> 547 // CHECK-NEXT: <dict> 548 // CHECK-NEXT: <key>line</key><integer>119</integer> 549 // CHECK-NEXT: <key>col</key><integer>6</integer> 550 // CHECK-NEXT: <key>file</key><integer>0</integer> 551 // CHECK-NEXT: </dict> 552 // CHECK-NEXT: <key>ranges</key> 553 // CHECK-NEXT: <array> 554 // CHECK-NEXT: <array> 555 // CHECK-NEXT: <dict> 556 // CHECK-NEXT: <key>line</key><integer>119</integer> 557 // CHECK-NEXT: <key>col</key><integer>6</integer> 558 // CHECK-NEXT: <key>file</key><integer>0</integer> 559 // CHECK-NEXT: </dict> 560 // CHECK-NEXT: <dict> 561 // CHECK-NEXT: <key>line</key><integer>119</integer> 562 // CHECK-NEXT: <key>col</key><integer>6</integer> 563 // CHECK-NEXT: <key>file</key><integer>0</integer> 564 // CHECK-NEXT: </dict> 565 // CHECK-NEXT: </array> 566 // CHECK-NEXT: <array> 567 // CHECK-NEXT: <dict> 568 // CHECK-NEXT: <key>line</key><integer>119</integer> 569 // CHECK-NEXT: <key>col</key><integer>10</integer> 570 // CHECK-NEXT: <key>file</key><integer>0</integer> 571 // CHECK-NEXT: </dict> 572 // CHECK-NEXT: <dict> 573 // CHECK-NEXT: <key>line</key><integer>119</integer> 574 // CHECK-NEXT: <key>col</key><integer>25</integer> 575 // CHECK-NEXT: <key>file</key><integer>0</integer> 576 // CHECK-NEXT: </dict> 577 // CHECK-NEXT: </array> 578 // CHECK-NEXT: </array> 579 // CHECK-NEXT: <key>depth</key><integer>0</integer> 580 // CHECK-NEXT: <key>extended_message</key> 581 // CHECK-NEXT: <string>Value stored to 'x' during its initialization is never read</string> 582 // CHECK-NEXT: <key>message</key> 583 // CHECK-NEXT: <string>Value stored to 'x' during its initialization is never read</string> 584 // CHECK-NEXT: </dict> 585 // CHECK-NEXT: </array> 586 // CHECK-NEXT: <key>description</key><string>Value stored to 'x' during its initialization is never read</string> 587 // CHECK-NEXT: <key>category</key><string>Dead store</string> 588 // CHECK-NEXT: <key>type</key><string>Dead initialization</string> 589 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 590 // CHECK-NEXT: <key>issue_context</key><string>rdar9424882</string> 591 // CHECK-NEXT: <key>issue_hash</key><string>1</string> 592 // CHECK-NEXT: <key>location</key> 593 // CHECK-NEXT: <dict> 594 // CHECK-NEXT: <key>line</key><integer>119</integer> 595 // CHECK-NEXT: <key>col</key><integer>6</integer> 596 // CHECK-NEXT: <key>file</key><integer>0</integer> 597 // CHECK-NEXT: </dict> 598 // CHECK-NEXT: </dict> 599 // CHECK-NEXT: <dict> 600 // CHECK-NEXT: <key>path</key> 601 // CHECK-NEXT: <array> 602 // CHECK-NEXT: <dict> 603 // CHECK-NEXT: <key>kind</key><string>event</string> 604 // CHECK-NEXT: <key>location</key> 605 // CHECK-NEXT: <dict> 606 // CHECK-NEXT: <key>line</key><integer>139</integer> 607 // CHECK-NEXT: <key>col</key><integer>6</integer> 608 // CHECK-NEXT: <key>file</key><integer>0</integer> 609 // CHECK-NEXT: </dict> 610 // CHECK-NEXT: <key>ranges</key> 611 // CHECK-NEXT: <array> 612 // CHECK-NEXT: <array> 613 // CHECK-NEXT: <dict> 614 // CHECK-NEXT: <key>line</key><integer>139</integer> 615 // CHECK-NEXT: <key>col</key><integer>6</integer> 616 // CHECK-NEXT: <key>file</key><integer>0</integer> 617 // CHECK-NEXT: </dict> 618 // CHECK-NEXT: <dict> 619 // CHECK-NEXT: <key>line</key><integer>139</integer> 620 // CHECK-NEXT: <key>col</key><integer>9</integer> 621 // CHECK-NEXT: <key>file</key><integer>0</integer> 622 // CHECK-NEXT: </dict> 623 // CHECK-NEXT: </array> 624 // CHECK-NEXT: <array> 625 // CHECK-NEXT: <dict> 626 // CHECK-NEXT: <key>line</key><integer>139</integer> 627 // CHECK-NEXT: <key>col</key><integer>13</integer> 628 // CHECK-NEXT: <key>file</key><integer>0</integer> 629 // CHECK-NEXT: </dict> 630 // CHECK-NEXT: <dict> 631 // CHECK-NEXT: <key>line</key><integer>139</integer> 632 // CHECK-NEXT: <key>col</key><integer>53</integer> 633 // CHECK-NEXT: <key>file</key><integer>0</integer> 634 // CHECK-NEXT: </dict> 635 // CHECK-NEXT: </array> 636 // CHECK-NEXT: </array> 637 // CHECK-NEXT: <key>depth</key><integer>0</integer> 638 // CHECK-NEXT: <key>extended_message</key> 639 // CHECK-NEXT: <string>Value stored to 'obj1' during its initialization is never read</string> 640 // CHECK-NEXT: <key>message</key> 641 // CHECK-NEXT: <string>Value stored to 'obj1' during its initialization is never read</string> 642 // CHECK-NEXT: </dict> 643 // CHECK-NEXT: </array> 644 // CHECK-NEXT: <key>description</key><string>Value stored to 'obj1' during its initialization is never read</string> 645 // CHECK-NEXT: <key>category</key><string>Dead store</string> 646 // CHECK-NEXT: <key>type</key><string>Dead initialization</string> 647 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 648 // CHECK-NEXT: <key>issue_context</key><string>from_cf</string> 649 // CHECK-NEXT: <key>issue_hash</key><string>1</string> 650 // CHECK-NEXT: <key>location</key> 651 // CHECK-NEXT: <dict> 652 // CHECK-NEXT: <key>line</key><integer>139</integer> 653 // CHECK-NEXT: <key>col</key><integer>6</integer> 654 // CHECK-NEXT: <key>file</key><integer>0</integer> 655 // CHECK-NEXT: </dict> 656 // CHECK-NEXT: </dict> 657 // CHECK-NEXT: <dict> 658 // CHECK-NEXT: <key>path</key> 659 // CHECK-NEXT: <array> 660 // CHECK-NEXT: <dict> 661 // CHECK-NEXT: <key>kind</key><string>event</string> 662 // CHECK-NEXT: <key>location</key> 663 // CHECK-NEXT: <dict> 664 // CHECK-NEXT: <key>line</key><integer>144</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: <key>ranges</key> 669 // CHECK-NEXT: <array> 670 // CHECK-NEXT: <array> 671 // CHECK-NEXT: <dict> 672 // CHECK-NEXT: <key>line</key><integer>144</integer> 673 // CHECK-NEXT: <key>col</key><integer>6</integer> 674 // CHECK-NEXT: <key>file</key><integer>0</integer> 675 // CHECK-NEXT: </dict> 676 // CHECK-NEXT: <dict> 677 // CHECK-NEXT: <key>line</key><integer>144</integer> 678 // CHECK-NEXT: <key>col</key><integer>9</integer> 679 // CHECK-NEXT: <key>file</key><integer>0</integer> 680 // CHECK-NEXT: </dict> 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>13</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>45</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: <key>depth</key><integer>0</integer> 696 // CHECK-NEXT: <key>extended_message</key> 697 // CHECK-NEXT: <string>Value stored to 'obj4' during its initialization is never read</string> 698 // CHECK-NEXT: <key>message</key> 699 // CHECK-NEXT: <string>Value stored to 'obj4' during its initialization is never read</string> 700 // CHECK-NEXT: </dict> 701 // CHECK-NEXT: </array> 702 // CHECK-NEXT: <key>description</key><string>Value stored to 'obj4' during its initialization is never read</string> 703 // CHECK-NEXT: <key>category</key><string>Dead store</string> 704 // CHECK-NEXT: <key>type</key><string>Dead initialization</string> 705 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 706 // CHECK-NEXT: <key>issue_context</key><string>from_cf</string> 707 // CHECK-NEXT: <key>issue_hash</key><string>6</string> 708 // CHECK-NEXT: <key>location</key> 709 // CHECK-NEXT: <dict> 710 // CHECK-NEXT: <key>line</key><integer>144</integer> 711 // CHECK-NEXT: <key>col</key><integer>6</integer> 712 // CHECK-NEXT: <key>file</key><integer>0</integer> 713 // CHECK-NEXT: </dict> 714 // CHECK-NEXT: </dict> 715 // CHECK-NEXT: <dict> 716 // CHECK-NEXT: <key>path</key> 717 // CHECK-NEXT: <array> 718 // CHECK-NEXT: <dict> 719 // CHECK-NEXT: <key>kind</key><string>event</string> 720 // CHECK-NEXT: <key>location</key> 721 // CHECK-NEXT: <dict> 722 // CHECK-NEXT: <key>line</key><integer>145</integer> 723 // CHECK-NEXT: <key>col</key><integer>6</integer> 724 // CHECK-NEXT: <key>file</key><integer>0</integer> 725 // CHECK-NEXT: </dict> 726 // CHECK-NEXT: <key>ranges</key> 727 // CHECK-NEXT: <array> 728 // CHECK-NEXT: <array> 729 // CHECK-NEXT: <dict> 730 // CHECK-NEXT: <key>line</key><integer>145</integer> 731 // CHECK-NEXT: <key>col</key><integer>6</integer> 732 // CHECK-NEXT: <key>file</key><integer>0</integer> 733 // CHECK-NEXT: </dict> 734 // CHECK-NEXT: <dict> 735 // CHECK-NEXT: <key>line</key><integer>145</integer> 736 // CHECK-NEXT: <key>col</key><integer>9</integer> 737 // CHECK-NEXT: <key>file</key><integer>0</integer> 738 // CHECK-NEXT: </dict> 739 // CHECK-NEXT: </array> 740 // CHECK-NEXT: <array> 741 // CHECK-NEXT: <dict> 742 // CHECK-NEXT: <key>line</key><integer>145</integer> 743 // CHECK-NEXT: <key>col</key><integer>13</integer> 744 // CHECK-NEXT: <key>file</key><integer>0</integer> 745 // CHECK-NEXT: </dict> 746 // CHECK-NEXT: <dict> 747 // CHECK-NEXT: <key>line</key><integer>145</integer> 748 // CHECK-NEXT: <key>col</key><integer>44</integer> 749 // CHECK-NEXT: <key>file</key><integer>0</integer> 750 // CHECK-NEXT: </dict> 751 // CHECK-NEXT: </array> 752 // CHECK-NEXT: </array> 753 // CHECK-NEXT: <key>depth</key><integer>0</integer> 754 // CHECK-NEXT: <key>extended_message</key> 755 // CHECK-NEXT: <string>Value stored to 'obj5' during its initialization is never read</string> 756 // CHECK-NEXT: <key>message</key> 757 // CHECK-NEXT: <string>Value stored to 'obj5' during its initialization is never read</string> 758 // CHECK-NEXT: </dict> 759 // CHECK-NEXT: </array> 760 // CHECK-NEXT: <key>description</key><string>Value stored to 'obj5' during its initialization is never read</string> 761 // CHECK-NEXT: <key>category</key><string>Dead store</string> 762 // CHECK-NEXT: <key>type</key><string>Dead initialization</string> 763 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 764 // CHECK-NEXT: <key>issue_context</key><string>from_cf</string> 765 // CHECK-NEXT: <key>issue_hash</key><string>7</string> 766 // CHECK-NEXT: <key>location</key> 767 // CHECK-NEXT: <dict> 768 // CHECK-NEXT: <key>line</key><integer>145</integer> 769 // CHECK-NEXT: <key>col</key><integer>6</integer> 770 // CHECK-NEXT: <key>file</key><integer>0</integer> 771 // CHECK-NEXT: </dict> 772 // CHECK-NEXT: </dict> 773 // CHECK-NEXT: <dict> 774 // CHECK-NEXT: <key>path</key> 775 // CHECK-NEXT: <array> 776 // CHECK-NEXT: <dict> 777 // CHECK-NEXT: <key>kind</key><string>event</string> 778 // CHECK-NEXT: <key>location</key> 779 // CHECK-NEXT: <dict> 780 // CHECK-NEXT: <key>line</key><integer>146</integer> 781 // CHECK-NEXT: <key>col</key><integer>6</integer> 782 // CHECK-NEXT: <key>file</key><integer>0</integer> 783 // CHECK-NEXT: </dict> 784 // CHECK-NEXT: <key>ranges</key> 785 // CHECK-NEXT: <array> 786 // CHECK-NEXT: <array> 787 // CHECK-NEXT: <dict> 788 // CHECK-NEXT: <key>line</key><integer>146</integer> 789 // CHECK-NEXT: <key>col</key><integer>6</integer> 790 // CHECK-NEXT: <key>file</key><integer>0</integer> 791 // CHECK-NEXT: </dict> 792 // CHECK-NEXT: <dict> 793 // CHECK-NEXT: <key>line</key><integer>146</integer> 794 // CHECK-NEXT: <key>col</key><integer>9</integer> 795 // CHECK-NEXT: <key>file</key><integer>0</integer> 796 // CHECK-NEXT: </dict> 797 // CHECK-NEXT: </array> 798 // CHECK-NEXT: <array> 799 // CHECK-NEXT: <dict> 800 // CHECK-NEXT: <key>line</key><integer>146</integer> 801 // CHECK-NEXT: <key>col</key><integer>13</integer> 802 // CHECK-NEXT: <key>file</key><integer>0</integer> 803 // CHECK-NEXT: </dict> 804 // CHECK-NEXT: <dict> 805 // CHECK-NEXT: <key>line</key><integer>146</integer> 806 // CHECK-NEXT: <key>col</key><integer>48</integer> 807 // CHECK-NEXT: <key>file</key><integer>0</integer> 808 // CHECK-NEXT: </dict> 809 // CHECK-NEXT: </array> 810 // CHECK-NEXT: </array> 811 // CHECK-NEXT: <key>depth</key><integer>0</integer> 812 // CHECK-NEXT: <key>extended_message</key> 813 // CHECK-NEXT: <string>Value stored to 'obj6' during its initialization is never read</string> 814 // CHECK-NEXT: <key>message</key> 815 // CHECK-NEXT: <string>Value stored to 'obj6' during its initialization is never read</string> 816 // CHECK-NEXT: </dict> 817 // CHECK-NEXT: </array> 818 // CHECK-NEXT: <key>description</key><string>Value stored to 'obj6' during its initialization is never read</string> 819 // CHECK-NEXT: <key>category</key><string>Dead store</string> 820 // CHECK-NEXT: <key>type</key><string>Dead initialization</string> 821 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 822 // CHECK-NEXT: <key>issue_context</key><string>from_cf</string> 823 // CHECK-NEXT: <key>issue_hash</key><string>8</string> 824 // CHECK-NEXT: <key>location</key> 825 // CHECK-NEXT: <dict> 826 // CHECK-NEXT: <key>line</key><integer>146</integer> 827 // CHECK-NEXT: <key>col</key><integer>6</integer> 828 // CHECK-NEXT: <key>file</key><integer>0</integer> 829 // CHECK-NEXT: </dict> 830 // CHECK-NEXT: </dict> 831 // CHECK-NEXT: <dict> 832 // CHECK-NEXT: <key>path</key> 833 // CHECK-NEXT: <array> 834 // CHECK-NEXT: <dict> 835 // CHECK-NEXT: <key>kind</key><string>control</string> 836 // CHECK-NEXT: <key>edges</key> 837 // CHECK-NEXT: <array> 838 // CHECK-NEXT: <dict> 839 // CHECK-NEXT: <key>start</key> 840 // CHECK-NEXT: <array> 841 // CHECK-NEXT: <dict> 842 // CHECK-NEXT: <key>line</key><integer>139</integer> 843 // CHECK-NEXT: <key>col</key><integer>3</integer> 844 // CHECK-NEXT: <key>file</key><integer>0</integer> 845 // CHECK-NEXT: </dict> 846 // CHECK-NEXT: <dict> 847 // CHECK-NEXT: <key>line</key><integer>139</integer> 848 // CHECK-NEXT: <key>col</key><integer>4</integer> 849 // CHECK-NEXT: <key>file</key><integer>0</integer> 850 // CHECK-NEXT: </dict> 851 // CHECK-NEXT: </array> 852 // CHECK-NEXT: <key>end</key> 853 // CHECK-NEXT: <array> 854 // CHECK-NEXT: <dict> 855 // CHECK-NEXT: <key>line</key><integer>145</integer> 856 // CHECK-NEXT: <key>col</key><integer>3</integer> 857 // CHECK-NEXT: <key>file</key><integer>0</integer> 858 // CHECK-NEXT: </dict> 859 // CHECK-NEXT: <dict> 860 // CHECK-NEXT: <key>line</key><integer>145</integer> 861 // CHECK-NEXT: <key>col</key><integer>4</integer> 862 // CHECK-NEXT: <key>file</key><integer>0</integer> 863 // CHECK-NEXT: </dict> 864 // CHECK-NEXT: </array> 865 // CHECK-NEXT: </dict> 866 // CHECK-NEXT: </array> 867 // CHECK-NEXT: </dict> 868 // CHECK-NEXT: <dict> 869 // CHECK-NEXT: <key>kind</key><string>event</string> 870 // CHECK-NEXT: <key>location</key> 871 // CHECK-NEXT: <dict> 872 // CHECK-NEXT: <key>line</key><integer>145</integer> 873 // CHECK-NEXT: <key>col</key><integer>26</integer> 874 // CHECK-NEXT: <key>file</key><integer>0</integer> 875 // CHECK-NEXT: </dict> 876 // CHECK-NEXT: <key>ranges</key> 877 // CHECK-NEXT: <array> 878 // CHECK-NEXT: <array> 879 // CHECK-NEXT: <dict> 880 // CHECK-NEXT: <key>line</key><integer>145</integer> 881 // CHECK-NEXT: <key>col</key><integer>26</integer> 882 // CHECK-NEXT: <key>file</key><integer>0</integer> 883 // CHECK-NEXT: </dict> 884 // CHECK-NEXT: <dict> 885 // CHECK-NEXT: <key>line</key><integer>145</integer> 886 // CHECK-NEXT: <key>col</key><integer>44</integer> 887 // CHECK-NEXT: <key>file</key><integer>0</integer> 888 // CHECK-NEXT: </dict> 889 // CHECK-NEXT: </array> 890 // CHECK-NEXT: </array> 891 // CHECK-NEXT: <key>depth</key><integer>0</integer> 892 // CHECK-NEXT: <key>extended_message</key> 893 // CHECK-NEXT: <string>Call to function 'CFCreateSomething' returns a Core Foundation object with a +1 retain count</string> 894 // CHECK-NEXT: <key>message</key> 895 // CHECK-NEXT: <string>Call to function 'CFCreateSomething' returns a Core Foundation object with a +1 retain count</string> 896 // CHECK-NEXT: </dict> 897 // CHECK-NEXT: <dict> 898 // CHECK-NEXT: <key>kind</key><string>control</string> 899 // CHECK-NEXT: <key>edges</key> 900 // CHECK-NEXT: <array> 901 // CHECK-NEXT: <dict> 902 // CHECK-NEXT: <key>start</key> 903 // CHECK-NEXT: <array> 904 // CHECK-NEXT: <dict> 905 // CHECK-NEXT: <key>line</key><integer>145</integer> 906 // CHECK-NEXT: <key>col</key><integer>3</integer> 907 // CHECK-NEXT: <key>file</key><integer>0</integer> 908 // CHECK-NEXT: </dict> 909 // CHECK-NEXT: <dict> 910 // CHECK-NEXT: <key>line</key><integer>145</integer> 911 // CHECK-NEXT: <key>col</key><integer>4</integer> 912 // CHECK-NEXT: <key>file</key><integer>0</integer> 913 // CHECK-NEXT: </dict> 914 // CHECK-NEXT: </array> 915 // CHECK-NEXT: <key>end</key> 916 // CHECK-NEXT: <array> 917 // CHECK-NEXT: <dict> 918 // CHECK-NEXT: <key>line</key><integer>146</integer> 919 // CHECK-NEXT: <key>col</key><integer>3</integer> 920 // CHECK-NEXT: <key>file</key><integer>0</integer> 921 // CHECK-NEXT: </dict> 922 // CHECK-NEXT: <dict> 923 // CHECK-NEXT: <key>line</key><integer>146</integer> 924 // CHECK-NEXT: <key>col</key><integer>4</integer> 925 // CHECK-NEXT: <key>file</key><integer>0</integer> 926 // CHECK-NEXT: </dict> 927 // CHECK-NEXT: </array> 928 // CHECK-NEXT: </dict> 929 // CHECK-NEXT: </array> 930 // CHECK-NEXT: </dict> 931 // CHECK-NEXT: <dict> 932 // CHECK-NEXT: <key>kind</key><string>control</string> 933 // CHECK-NEXT: <key>edges</key> 934 // CHECK-NEXT: <array> 935 // CHECK-NEXT: <dict> 936 // CHECK-NEXT: <key>start</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: <key>end</key> 950 // CHECK-NEXT: <array> 951 // CHECK-NEXT: <dict> 952 // CHECK-NEXT: <key>line</key><integer>146</integer> 953 // CHECK-NEXT: <key>col</key><integer>33</integer> 954 // CHECK-NEXT: <key>file</key><integer>0</integer> 955 // CHECK-NEXT: </dict> 956 // CHECK-NEXT: <dict> 957 // CHECK-NEXT: <key>line</key><integer>146</integer> 958 // CHECK-NEXT: <key>col</key><integer>46</integer> 959 // CHECK-NEXT: <key>file</key><integer>0</integer> 960 // CHECK-NEXT: </dict> 961 // CHECK-NEXT: </array> 962 // CHECK-NEXT: </dict> 963 // CHECK-NEXT: </array> 964 // CHECK-NEXT: </dict> 965 // CHECK-NEXT: <dict> 966 // CHECK-NEXT: <key>kind</key><string>event</string> 967 // CHECK-NEXT: <key>location</key> 968 // CHECK-NEXT: <dict> 969 // CHECK-NEXT: <key>line</key><integer>146</integer> 970 // CHECK-NEXT: <key>col</key><integer>33</integer> 971 // CHECK-NEXT: <key>file</key><integer>0</integer> 972 // CHECK-NEXT: </dict> 973 // CHECK-NEXT: <key>ranges</key> 974 // CHECK-NEXT: <array> 975 // CHECK-NEXT: <array> 976 // CHECK-NEXT: <dict> 977 // CHECK-NEXT: <key>line</key><integer>146</integer> 978 // CHECK-NEXT: <key>col</key><integer>33</integer> 979 // CHECK-NEXT: <key>file</key><integer>0</integer> 980 // CHECK-NEXT: </dict> 981 // CHECK-NEXT: <dict> 982 // CHECK-NEXT: <key>line</key><integer>146</integer> 983 // CHECK-NEXT: <key>col</key><integer>48</integer> 984 // CHECK-NEXT: <key>file</key><integer>0</integer> 985 // CHECK-NEXT: </dict> 986 // CHECK-NEXT: </array> 987 // CHECK-NEXT: </array> 988 // CHECK-NEXT: <key>depth</key><integer>0</integer> 989 // CHECK-NEXT: <key>extended_message</key> 990 // CHECK-NEXT: <string>Object leaked: object allocated and stored into 'obj5' is not referenced later in this execution path and has a retain count of +1</string> 991 // CHECK-NEXT: <key>message</key> 992 // CHECK-NEXT: <string>Object leaked: object allocated and stored into 'obj5' is not referenced later in this execution path and has a retain count of +1</string> 993 // CHECK-NEXT: </dict> 994 // CHECK-NEXT: </array> 995 // CHECK-NEXT: <key>description</key><string>Potential leak of an object stored into 'obj5'</string> 996 // CHECK-NEXT: <key>category</key><string>Memory (Core Foundation/Objective-C)</string> 997 // CHECK-NEXT: <key>type</key><string>Leak</string> 998 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 999 // CHECK-NEXT: <key>issue_context</key><string>from_cf</string> 1000 // CHECK-NEXT: <key>issue_hash</key><string>7</string> 1001 // CHECK-NEXT: <key>location</key> 1002 // CHECK-NEXT: <dict> 1003 // CHECK-NEXT: <key>line</key><integer>146</integer> 1004 // CHECK-NEXT: <key>col</key><integer>33</integer> 1005 // CHECK-NEXT: <key>file</key><integer>0</integer> 1006 // CHECK-NEXT: </dict> 1007 // CHECK-NEXT: </dict> 1008 // CHECK-NEXT: <dict> 1009 // CHECK-NEXT: <key>path</key> 1010 // CHECK-NEXT: <array> 1011 // CHECK-NEXT: <dict> 1012 // CHECK-NEXT: <key>kind</key><string>control</string> 1013 // CHECK-NEXT: <key>edges</key> 1014 // CHECK-NEXT: <array> 1015 // CHECK-NEXT: <dict> 1016 // CHECK-NEXT: <key>start</key> 1017 // CHECK-NEXT: <array> 1018 // CHECK-NEXT: <dict> 1019 // CHECK-NEXT: <key>line</key><integer>139</integer> 1020 // CHECK-NEXT: <key>col</key><integer>3</integer> 1021 // CHECK-NEXT: <key>file</key><integer>0</integer> 1022 // CHECK-NEXT: </dict> 1023 // CHECK-NEXT: <dict> 1024 // CHECK-NEXT: <key>line</key><integer>139</integer> 1025 // CHECK-NEXT: <key>col</key><integer>4</integer> 1026 // CHECK-NEXT: <key>file</key><integer>0</integer> 1027 // CHECK-NEXT: </dict> 1028 // CHECK-NEXT: </array> 1029 // CHECK-NEXT: <key>end</key> 1030 // CHECK-NEXT: <array> 1031 // CHECK-NEXT: <dict> 1032 // CHECK-NEXT: <key>line</key><integer>146</integer> 1033 // CHECK-NEXT: <key>col</key><integer>3</integer> 1034 // CHECK-NEXT: <key>file</key><integer>0</integer> 1035 // CHECK-NEXT: </dict> 1036 // CHECK-NEXT: <dict> 1037 // CHECK-NEXT: <key>line</key><integer>146</integer> 1038 // CHECK-NEXT: <key>col</key><integer>4</integer> 1039 // CHECK-NEXT: <key>file</key><integer>0</integer> 1040 // CHECK-NEXT: </dict> 1041 // CHECK-NEXT: </array> 1042 // CHECK-NEXT: </dict> 1043 // CHECK-NEXT: </array> 1044 // CHECK-NEXT: </dict> 1045 // CHECK-NEXT: <dict> 1046 // CHECK-NEXT: <key>kind</key><string>event</string> 1047 // CHECK-NEXT: <key>location</key> 1048 // CHECK-NEXT: <dict> 1049 // CHECK-NEXT: <key>line</key><integer>146</integer> 1050 // CHECK-NEXT: <key>col</key><integer>33</integer> 1051 // CHECK-NEXT: <key>file</key><integer>0</integer> 1052 // CHECK-NEXT: </dict> 1053 // CHECK-NEXT: <key>ranges</key> 1054 // CHECK-NEXT: <array> 1055 // CHECK-NEXT: <array> 1056 // CHECK-NEXT: <dict> 1057 // CHECK-NEXT: <key>line</key><integer>146</integer> 1058 // CHECK-NEXT: <key>col</key><integer>33</integer> 1059 // CHECK-NEXT: <key>file</key><integer>0</integer> 1060 // CHECK-NEXT: </dict> 1061 // CHECK-NEXT: <dict> 1062 // CHECK-NEXT: <key>line</key><integer>146</integer> 1063 // CHECK-NEXT: <key>col</key><integer>48</integer> 1064 // CHECK-NEXT: <key>file</key><integer>0</integer> 1065 // CHECK-NEXT: </dict> 1066 // CHECK-NEXT: </array> 1067 // CHECK-NEXT: </array> 1068 // CHECK-NEXT: <key>depth</key><integer>0</integer> 1069 // CHECK-NEXT: <key>extended_message</key> 1070 // CHECK-NEXT: <string>Call to function 'CFCreateString' returns a Core Foundation object with a +1 retain count</string> 1071 // CHECK-NEXT: <key>message</key> 1072 // CHECK-NEXT: <string>Call to function 'CFCreateString' returns a Core Foundation object with a +1 retain count</string> 1073 // CHECK-NEXT: </dict> 1074 // CHECK-NEXT: <dict> 1075 // CHECK-NEXT: <key>kind</key><string>control</string> 1076 // CHECK-NEXT: <key>edges</key> 1077 // CHECK-NEXT: <array> 1078 // CHECK-NEXT: <dict> 1079 // CHECK-NEXT: <key>start</key> 1080 // CHECK-NEXT: <array> 1081 // CHECK-NEXT: <dict> 1082 // CHECK-NEXT: <key>line</key><integer>146</integer> 1083 // CHECK-NEXT: <key>col</key><integer>3</integer> 1084 // CHECK-NEXT: <key>file</key><integer>0</integer> 1085 // CHECK-NEXT: </dict> 1086 // CHECK-NEXT: <dict> 1087 // CHECK-NEXT: <key>line</key><integer>146</integer> 1088 // CHECK-NEXT: <key>col</key><integer>4</integer> 1089 // CHECK-NEXT: <key>file</key><integer>0</integer> 1090 // CHECK-NEXT: </dict> 1091 // CHECK-NEXT: </array> 1092 // CHECK-NEXT: <key>end</key> 1093 // CHECK-NEXT: <array> 1094 // CHECK-NEXT: <dict> 1095 // CHECK-NEXT: <key>line</key><integer>147</integer> 1096 // CHECK-NEXT: <key>col</key><integer>1</integer> 1097 // CHECK-NEXT: <key>file</key><integer>0</integer> 1098 // CHECK-NEXT: </dict> 1099 // CHECK-NEXT: <dict> 1100 // CHECK-NEXT: <key>line</key><integer>147</integer> 1101 // CHECK-NEXT: <key>col</key><integer>1</integer> 1102 // CHECK-NEXT: <key>file</key><integer>0</integer> 1103 // CHECK-NEXT: </dict> 1104 // CHECK-NEXT: </array> 1105 // CHECK-NEXT: </dict> 1106 // CHECK-NEXT: </array> 1107 // CHECK-NEXT: </dict> 1108 // CHECK-NEXT: <dict> 1109 // CHECK-NEXT: <key>kind</key><string>event</string> 1110 // CHECK-NEXT: <key>location</key> 1111 // CHECK-NEXT: <dict> 1112 // CHECK-NEXT: <key>line</key><integer>147</integer> 1113 // CHECK-NEXT: <key>col</key><integer>1</integer> 1114 // CHECK-NEXT: <key>file</key><integer>0</integer> 1115 // CHECK-NEXT: </dict> 1116 // CHECK-NEXT: <key>depth</key><integer>0</integer> 1117 // CHECK-NEXT: <key>extended_message</key> 1118 // CHECK-NEXT: <string>Object leaked: object allocated and stored into 'obj6' is not referenced later in this execution path and has a retain count of +1</string> 1119 // CHECK-NEXT: <key>message</key> 1120 // CHECK-NEXT: <string>Object leaked: object allocated and stored into 'obj6' is not referenced later in this execution path and has a retain count of +1</string> 1121 // CHECK-NEXT: </dict> 1122 // CHECK-NEXT: </array> 1123 // CHECK-NEXT: <key>description</key><string>Potential leak of an object stored into 'obj6'</string> 1124 // CHECK-NEXT: <key>category</key><string>Memory (Core Foundation/Objective-C)</string> 1125 // CHECK-NEXT: <key>type</key><string>Leak</string> 1126 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 1127 // CHECK-NEXT: <key>issue_context</key><string>from_cf</string> 1128 // CHECK-NEXT: <key>issue_hash</key><string>8</string> 1129 // CHECK-NEXT: <key>location</key> 1130 // CHECK-NEXT: <dict> 1131 // CHECK-NEXT: <key>line</key><integer>147</integer> 1132 // CHECK-NEXT: <key>col</key><integer>1</integer> 1133 // CHECK-NEXT: <key>file</key><integer>0</integer> 1134 // CHECK-NEXT: </dict> 1135 // CHECK-NEXT: </dict> 1136 // CHECK-NEXT: <dict> 1137 // CHECK-NEXT: <key>path</key> 1138 // CHECK-NEXT: <array> 1139 // CHECK-NEXT: <dict> 1140 // CHECK-NEXT: <key>kind</key><string>event</string> 1141 // CHECK-NEXT: <key>location</key> 1142 // CHECK-NEXT: <dict> 1143 // CHECK-NEXT: <key>line</key><integer>150</integer> 1144 // CHECK-NEXT: <key>col</key><integer>13</integer> 1145 // CHECK-NEXT: <key>file</key><integer>0</integer> 1146 // CHECK-NEXT: </dict> 1147 // CHECK-NEXT: <key>ranges</key> 1148 // CHECK-NEXT: <array> 1149 // CHECK-NEXT: <array> 1150 // CHECK-NEXT: <dict> 1151 // CHECK-NEXT: <key>line</key><integer>150</integer> 1152 // CHECK-NEXT: <key>col</key><integer>13</integer> 1153 // CHECK-NEXT: <key>file</key><integer>0</integer> 1154 // CHECK-NEXT: </dict> 1155 // CHECK-NEXT: <dict> 1156 // CHECK-NEXT: <key>line</key><integer>150</integer> 1157 // CHECK-NEXT: <key>col</key><integer>15</integer> 1158 // CHECK-NEXT: <key>file</key><integer>0</integer> 1159 // CHECK-NEXT: </dict> 1160 // CHECK-NEXT: </array> 1161 // CHECK-NEXT: <array> 1162 // CHECK-NEXT: <dict> 1163 // CHECK-NEXT: <key>line</key><integer>150</integer> 1164 // CHECK-NEXT: <key>col</key><integer>19</integer> 1165 // CHECK-NEXT: <key>file</key><integer>0</integer> 1166 // CHECK-NEXT: </dict> 1167 // CHECK-NEXT: <dict> 1168 // CHECK-NEXT: <key>line</key><integer>150</integer> 1169 // CHECK-NEXT: <key>col</key><integer>64</integer> 1170 // CHECK-NEXT: <key>file</key><integer>0</integer> 1171 // CHECK-NEXT: </dict> 1172 // CHECK-NEXT: </array> 1173 // CHECK-NEXT: </array> 1174 // CHECK-NEXT: <key>depth</key><integer>0</integer> 1175 // CHECK-NEXT: <key>extended_message</key> 1176 // CHECK-NEXT: <string>Value stored to 'cf1' during its initialization is never read</string> 1177 // CHECK-NEXT: <key>message</key> 1178 // CHECK-NEXT: <string>Value stored to 'cf1' during its initialization is never read</string> 1179 // CHECK-NEXT: </dict> 1180 // CHECK-NEXT: </array> 1181 // CHECK-NEXT: <key>description</key><string>Value stored to 'cf1' during its initialization is never read</string> 1182 // CHECK-NEXT: <key>category</key><string>Dead store</string> 1183 // CHECK-NEXT: <key>type</key><string>Dead initialization</string> 1184 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 1185 // CHECK-NEXT: <key>issue_context</key><string>to_cf</string> 1186 // CHECK-NEXT: <key>issue_hash</key><string>1</string> 1187 // CHECK-NEXT: <key>location</key> 1188 // CHECK-NEXT: <dict> 1189 // CHECK-NEXT: <key>line</key><integer>150</integer> 1190 // CHECK-NEXT: <key>col</key><integer>13</integer> 1191 // CHECK-NEXT: <key>file</key><integer>0</integer> 1192 // CHECK-NEXT: </dict> 1193 // CHECK-NEXT: </dict> 1194 // CHECK-NEXT: <dict> 1195 // CHECK-NEXT: <key>path</key> 1196 // CHECK-NEXT: <array> 1197 // CHECK-NEXT: <dict> 1198 // CHECK-NEXT: <key>kind</key><string>event</string> 1199 // CHECK-NEXT: <key>location</key> 1200 // CHECK-NEXT: <dict> 1201 // CHECK-NEXT: <key>line</key><integer>151</integer> 1202 // CHECK-NEXT: <key>col</key><integer>15</integer> 1203 // CHECK-NEXT: <key>file</key><integer>0</integer> 1204 // CHECK-NEXT: </dict> 1205 // CHECK-NEXT: <key>ranges</key> 1206 // CHECK-NEXT: <array> 1207 // CHECK-NEXT: <array> 1208 // CHECK-NEXT: <dict> 1209 // CHECK-NEXT: <key>line</key><integer>151</integer> 1210 // CHECK-NEXT: <key>col</key><integer>15</integer> 1211 // CHECK-NEXT: <key>file</key><integer>0</integer> 1212 // CHECK-NEXT: </dict> 1213 // CHECK-NEXT: <dict> 1214 // CHECK-NEXT: <key>line</key><integer>151</integer> 1215 // CHECK-NEXT: <key>col</key><integer>17</integer> 1216 // CHECK-NEXT: <key>file</key><integer>0</integer> 1217 // CHECK-NEXT: </dict> 1218 // CHECK-NEXT: </array> 1219 // CHECK-NEXT: <array> 1220 // CHECK-NEXT: <dict> 1221 // CHECK-NEXT: <key>line</key><integer>151</integer> 1222 // CHECK-NEXT: <key>col</key><integer>21</integer> 1223 // CHECK-NEXT: <key>file</key><integer>0</integer> 1224 // CHECK-NEXT: </dict> 1225 // CHECK-NEXT: <dict> 1226 // CHECK-NEXT: <key>line</key><integer>151</integer> 1227 // CHECK-NEXT: <key>col</key><integer>67</integer> 1228 // CHECK-NEXT: <key>file</key><integer>0</integer> 1229 // CHECK-NEXT: </dict> 1230 // CHECK-NEXT: </array> 1231 // CHECK-NEXT: </array> 1232 // CHECK-NEXT: <key>depth</key><integer>0</integer> 1233 // CHECK-NEXT: <key>extended_message</key> 1234 // CHECK-NEXT: <string>Value stored to 'cf2' during its initialization is never read</string> 1235 // CHECK-NEXT: <key>message</key> 1236 // CHECK-NEXT: <string>Value stored to 'cf2' during its initialization is never read</string> 1237 // CHECK-NEXT: </dict> 1238 // CHECK-NEXT: </array> 1239 // CHECK-NEXT: <key>description</key><string>Value stored to 'cf2' during its initialization is never read</string> 1240 // CHECK-NEXT: <key>category</key><string>Dead store</string> 1241 // CHECK-NEXT: <key>type</key><string>Dead initialization</string> 1242 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 1243 // CHECK-NEXT: <key>issue_context</key><string>to_cf</string> 1244 // CHECK-NEXT: <key>issue_hash</key><string>2</string> 1245 // CHECK-NEXT: <key>location</key> 1246 // CHECK-NEXT: <dict> 1247 // CHECK-NEXT: <key>line</key><integer>151</integer> 1248 // CHECK-NEXT: <key>col</key><integer>15</integer> 1249 // CHECK-NEXT: <key>file</key><integer>0</integer> 1250 // CHECK-NEXT: </dict> 1251 // CHECK-NEXT: </dict> 1252 // CHECK-NEXT: <dict> 1253 // CHECK-NEXT: <key>path</key> 1254 // CHECK-NEXT: <array> 1255 // CHECK-NEXT: <dict> 1256 // CHECK-NEXT: <key>kind</key><string>event</string> 1257 // CHECK-NEXT: <key>location</key> 1258 // CHECK-NEXT: <dict> 1259 // CHECK-NEXT: <key>line</key><integer>152</integer> 1260 // CHECK-NEXT: <key>col</key><integer>13</integer> 1261 // CHECK-NEXT: <key>file</key><integer>0</integer> 1262 // CHECK-NEXT: </dict> 1263 // CHECK-NEXT: <key>ranges</key> 1264 // CHECK-NEXT: <array> 1265 // CHECK-NEXT: <array> 1266 // CHECK-NEXT: <dict> 1267 // CHECK-NEXT: <key>line</key><integer>152</integer> 1268 // CHECK-NEXT: <key>col</key><integer>13</integer> 1269 // CHECK-NEXT: <key>file</key><integer>0</integer> 1270 // CHECK-NEXT: </dict> 1271 // CHECK-NEXT: <dict> 1272 // CHECK-NEXT: <key>line</key><integer>152</integer> 1273 // CHECK-NEXT: <key>col</key><integer>15</integer> 1274 // CHECK-NEXT: <key>file</key><integer>0</integer> 1275 // CHECK-NEXT: </dict> 1276 // CHECK-NEXT: </array> 1277 // CHECK-NEXT: <array> 1278 // CHECK-NEXT: <dict> 1279 // CHECK-NEXT: <key>line</key><integer>152</integer> 1280 // CHECK-NEXT: <key>col</key><integer>19</integer> 1281 // CHECK-NEXT: <key>file</key><integer>0</integer> 1282 // CHECK-NEXT: </dict> 1283 // CHECK-NEXT: <dict> 1284 // CHECK-NEXT: <key>line</key><integer>152</integer> 1285 // CHECK-NEXT: <key>col</key><integer>55</integer> 1286 // CHECK-NEXT: <key>file</key><integer>0</integer> 1287 // CHECK-NEXT: </dict> 1288 // CHECK-NEXT: </array> 1289 // CHECK-NEXT: </array> 1290 // CHECK-NEXT: <key>depth</key><integer>0</integer> 1291 // CHECK-NEXT: <key>extended_message</key> 1292 // CHECK-NEXT: <string>Value stored to 'cf3' during its initialization is never read</string> 1293 // CHECK-NEXT: <key>message</key> 1294 // CHECK-NEXT: <string>Value stored to 'cf3' during its initialization is never read</string> 1295 // CHECK-NEXT: </dict> 1296 // CHECK-NEXT: </array> 1297 // CHECK-NEXT: <key>description</key><string>Value stored to 'cf3' during its initialization is never read</string> 1298 // CHECK-NEXT: <key>category</key><string>Dead store</string> 1299 // CHECK-NEXT: <key>type</key><string>Dead initialization</string> 1300 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 1301 // CHECK-NEXT: <key>issue_context</key><string>to_cf</string> 1302 // CHECK-NEXT: <key>issue_hash</key><string>3</string> 1303 // CHECK-NEXT: <key>location</key> 1304 // CHECK-NEXT: <dict> 1305 // CHECK-NEXT: <key>line</key><integer>152</integer> 1306 // CHECK-NEXT: <key>col</key><integer>13</integer> 1307 // CHECK-NEXT: <key>file</key><integer>0</integer> 1308 // CHECK-NEXT: </dict> 1309 // CHECK-NEXT: </dict> 1310 // CHECK-NEXT: <dict> 1311 // CHECK-NEXT: <key>path</key> 1312 // CHECK-NEXT: <array> 1313 // CHECK-NEXT: <dict> 1314 // CHECK-NEXT: <key>kind</key><string>event</string> 1315 // CHECK-NEXT: <key>location</key> 1316 // CHECK-NEXT: <dict> 1317 // CHECK-NEXT: <key>line</key><integer>153</integer> 1318 // CHECK-NEXT: <key>col</key><integer>15</integer> 1319 // CHECK-NEXT: <key>file</key><integer>0</integer> 1320 // CHECK-NEXT: </dict> 1321 // CHECK-NEXT: <key>ranges</key> 1322 // CHECK-NEXT: <array> 1323 // CHECK-NEXT: <array> 1324 // CHECK-NEXT: <dict> 1325 // CHECK-NEXT: <key>line</key><integer>153</integer> 1326 // CHECK-NEXT: <key>col</key><integer>15</integer> 1327 // CHECK-NEXT: <key>file</key><integer>0</integer> 1328 // CHECK-NEXT: </dict> 1329 // CHECK-NEXT: <dict> 1330 // CHECK-NEXT: <key>line</key><integer>153</integer> 1331 // CHECK-NEXT: <key>col</key><integer>17</integer> 1332 // CHECK-NEXT: <key>file</key><integer>0</integer> 1333 // CHECK-NEXT: </dict> 1334 // CHECK-NEXT: </array> 1335 // CHECK-NEXT: <array> 1336 // CHECK-NEXT: <dict> 1337 // CHECK-NEXT: <key>line</key><integer>153</integer> 1338 // CHECK-NEXT: <key>col</key><integer>21</integer> 1339 // CHECK-NEXT: <key>file</key><integer>0</integer> 1340 // CHECK-NEXT: </dict> 1341 // CHECK-NEXT: <dict> 1342 // CHECK-NEXT: <key>line</key><integer>153</integer> 1343 // CHECK-NEXT: <key>col</key><integer>58</integer> 1344 // CHECK-NEXT: <key>file</key><integer>0</integer> 1345 // CHECK-NEXT: </dict> 1346 // CHECK-NEXT: </array> 1347 // CHECK-NEXT: </array> 1348 // CHECK-NEXT: <key>depth</key><integer>0</integer> 1349 // CHECK-NEXT: <key>extended_message</key> 1350 // CHECK-NEXT: <string>Value stored to 'cf4' during its initialization is never read</string> 1351 // CHECK-NEXT: <key>message</key> 1352 // CHECK-NEXT: <string>Value stored to 'cf4' during its initialization is never read</string> 1353 // CHECK-NEXT: </dict> 1354 // CHECK-NEXT: </array> 1355 // CHECK-NEXT: <key>description</key><string>Value stored to 'cf4' during its initialization is never read</string> 1356 // CHECK-NEXT: <key>category</key><string>Dead store</string> 1357 // CHECK-NEXT: <key>type</key><string>Dead initialization</string> 1358 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 1359 // CHECK-NEXT: <key>issue_context</key><string>to_cf</string> 1360 // CHECK-NEXT: <key>issue_hash</key><string>4</string> 1361 // CHECK-NEXT: <key>location</key> 1362 // CHECK-NEXT: <dict> 1363 // CHECK-NEXT: <key>line</key><integer>153</integer> 1364 // CHECK-NEXT: <key>col</key><integer>15</integer> 1365 // CHECK-NEXT: <key>file</key><integer>0</integer> 1366 // CHECK-NEXT: </dict> 1367 // CHECK-NEXT: </dict> 1368 // CHECK-NEXT: <dict> 1369 // CHECK-NEXT: <key>path</key> 1370 // CHECK-NEXT: <array> 1371 // CHECK-NEXT: <dict> 1372 // CHECK-NEXT: <key>kind</key><string>control</string> 1373 // CHECK-NEXT: <key>edges</key> 1374 // CHECK-NEXT: <array> 1375 // CHECK-NEXT: <dict> 1376 // CHECK-NEXT: <key>start</key> 1377 // CHECK-NEXT: <array> 1378 // CHECK-NEXT: <dict> 1379 // CHECK-NEXT: <key>line</key><integer>164</integer> 1380 // CHECK-NEXT: <key>col</key><integer>3</integer> 1381 // CHECK-NEXT: <key>file</key><integer>0</integer> 1382 // CHECK-NEXT: </dict> 1383 // CHECK-NEXT: <dict> 1384 // CHECK-NEXT: <key>line</key><integer>164</integer> 1385 // CHECK-NEXT: <key>col</key><integer>16</integer> 1386 // CHECK-NEXT: <key>file</key><integer>0</integer> 1387 // CHECK-NEXT: </dict> 1388 // CHECK-NEXT: </array> 1389 // CHECK-NEXT: <key>end</key> 1390 // CHECK-NEXT: <array> 1391 // CHECK-NEXT: <dict> 1392 // CHECK-NEXT: <key>line</key><integer>165</integer> 1393 // CHECK-NEXT: <key>col</key><integer>3</integer> 1394 // CHECK-NEXT: <key>file</key><integer>0</integer> 1395 // CHECK-NEXT: </dict> 1396 // CHECK-NEXT: <dict> 1397 // CHECK-NEXT: <key>line</key><integer>165</integer> 1398 // CHECK-NEXT: <key>col</key><integer>11</integer> 1399 // CHECK-NEXT: <key>file</key><integer>0</integer> 1400 // CHECK-NEXT: </dict> 1401 // CHECK-NEXT: </array> 1402 // CHECK-NEXT: </dict> 1403 // CHECK-NEXT: </array> 1404 // CHECK-NEXT: </dict> 1405 // CHECK-NEXT: <dict> 1406 // CHECK-NEXT: <key>kind</key><string>event</string> 1407 // CHECK-NEXT: <key>location</key> 1408 // CHECK-NEXT: <dict> 1409 // CHECK-NEXT: <key>line</key><integer>165</integer> 1410 // CHECK-NEXT: <key>col</key><integer>20</integer> 1411 // CHECK-NEXT: <key>file</key><integer>0</integer> 1412 // CHECK-NEXT: </dict> 1413 // CHECK-NEXT: <key>ranges</key> 1414 // CHECK-NEXT: <array> 1415 // CHECK-NEXT: <array> 1416 // CHECK-NEXT: <dict> 1417 // CHECK-NEXT: <key>line</key><integer>165</integer> 1418 // CHECK-NEXT: <key>col</key><integer>20</integer> 1419 // CHECK-NEXT: <key>file</key><integer>0</integer> 1420 // CHECK-NEXT: </dict> 1421 // CHECK-NEXT: <dict> 1422 // CHECK-NEXT: <key>line</key><integer>165</integer> 1423 // CHECK-NEXT: <key>col</key><integer>37</integer> 1424 // CHECK-NEXT: <key>file</key><integer>0</integer> 1425 // CHECK-NEXT: </dict> 1426 // CHECK-NEXT: </array> 1427 // CHECK-NEXT: </array> 1428 // CHECK-NEXT: <key>depth</key><integer>0</integer> 1429 // CHECK-NEXT: <key>extended_message</key> 1430 // CHECK-NEXT: <string>Call to function 'CFDateCreate' returns a Core Foundation object with a +1 retain count</string> 1431 // CHECK-NEXT: <key>message</key> 1432 // CHECK-NEXT: <string>Call to function 'CFDateCreate' returns a Core Foundation object with a +1 retain count</string> 1433 // CHECK-NEXT: </dict> 1434 // CHECK-NEXT: <dict> 1435 // CHECK-NEXT: <key>kind</key><string>control</string> 1436 // CHECK-NEXT: <key>edges</key> 1437 // CHECK-NEXT: <array> 1438 // CHECK-NEXT: <dict> 1439 // CHECK-NEXT: <key>start</key> 1440 // CHECK-NEXT: <array> 1441 // CHECK-NEXT: <dict> 1442 // CHECK-NEXT: <key>line</key><integer>165</integer> 1443 // CHECK-NEXT: <key>col</key><integer>3</integer> 1444 // CHECK-NEXT: <key>file</key><integer>0</integer> 1445 // CHECK-NEXT: </dict> 1446 // CHECK-NEXT: <dict> 1447 // CHECK-NEXT: <key>line</key><integer>165</integer> 1448 // CHECK-NEXT: <key>col</key><integer>11</integer> 1449 // CHECK-NEXT: <key>file</key><integer>0</integer> 1450 // CHECK-NEXT: </dict> 1451 // CHECK-NEXT: </array> 1452 // CHECK-NEXT: <key>end</key> 1453 // CHECK-NEXT: <array> 1454 // CHECK-NEXT: <dict> 1455 // CHECK-NEXT: <key>line</key><integer>166</integer> 1456 // CHECK-NEXT: <key>col</key><integer>3</integer> 1457 // CHECK-NEXT: <key>file</key><integer>0</integer> 1458 // CHECK-NEXT: </dict> 1459 // CHECK-NEXT: <dict> 1460 // CHECK-NEXT: <key>line</key><integer>166</integer> 1461 // CHECK-NEXT: <key>col</key><integer>4</integer> 1462 // CHECK-NEXT: <key>file</key><integer>0</integer> 1463 // CHECK-NEXT: </dict> 1464 // CHECK-NEXT: </array> 1465 // CHECK-NEXT: </dict> 1466 // CHECK-NEXT: </array> 1467 // CHECK-NEXT: </dict> 1468 // CHECK-NEXT: <dict> 1469 // CHECK-NEXT: <key>kind</key><string>event</string> 1470 // CHECK-NEXT: <key>location</key> 1471 // CHECK-NEXT: <dict> 1472 // CHECK-NEXT: <key>line</key><integer>166</integer> 1473 // CHECK-NEXT: <key>col</key><integer>3</integer> 1474 // CHECK-NEXT: <key>file</key><integer>0</integer> 1475 // CHECK-NEXT: </dict> 1476 // CHECK-NEXT: <key>ranges</key> 1477 // CHECK-NEXT: <array> 1478 // CHECK-NEXT: <array> 1479 // CHECK-NEXT: <dict> 1480 // CHECK-NEXT: <key>line</key><integer>166</integer> 1481 // CHECK-NEXT: <key>col</key><integer>3</integer> 1482 // CHECK-NEXT: <key>file</key><integer>0</integer> 1483 // CHECK-NEXT: </dict> 1484 // CHECK-NEXT: <dict> 1485 // CHECK-NEXT: <key>line</key><integer>166</integer> 1486 // CHECK-NEXT: <key>col</key><integer>6</integer> 1487 // CHECK-NEXT: <key>file</key><integer>0</integer> 1488 // CHECK-NEXT: </dict> 1489 // CHECK-NEXT: </array> 1490 // CHECK-NEXT: </array> 1491 // CHECK-NEXT: <key>depth</key><integer>0</integer> 1492 // CHECK-NEXT: <key>extended_message</key> 1493 // CHECK-NEXT: <string>Object leaked: object allocated and stored into 'date' is not referenced later in this execution path and has a retain count of +1</string> 1494 // CHECK-NEXT: <key>message</key> 1495 // CHECK-NEXT: <string>Object leaked: object allocated and stored into 'date' is not referenced later in this execution path and has a retain count of +1</string> 1496 // CHECK-NEXT: </dict> 1497 // CHECK-NEXT: </array> 1498 // CHECK-NEXT: <key>description</key><string>Potential leak of an object stored into 'date'</string> 1499 // CHECK-NEXT: <key>category</key><string>Memory (Core Foundation/Objective-C)</string> 1500 // CHECK-NEXT: <key>type</key><string>Leak</string> 1501 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 1502 // CHECK-NEXT: <key>issue_context</key><string>test_objc_unretainedObject</string> 1503 // CHECK-NEXT: <key>issue_hash</key><string>2</string> 1504 // CHECK-NEXT: <key>location</key> 1505 // CHECK-NEXT: <dict> 1506 // CHECK-NEXT: <key>line</key><integer>166</integer> 1507 // CHECK-NEXT: <key>col</key><integer>3</integer> 1508 // CHECK-NEXT: <key>file</key><integer>0</integer> 1509 // CHECK-NEXT: </dict> 1510 // CHECK-NEXT: </dict> 1511 // CHECK-NEXT: <dict> 1512 // CHECK-NEXT: <key>path</key> 1513 // CHECK-NEXT: <array> 1514 // CHECK-NEXT: <dict> 1515 // CHECK-NEXT: <key>kind</key><string>control</string> 1516 // CHECK-NEXT: <key>edges</key> 1517 // CHECK-NEXT: <array> 1518 // CHECK-NEXT: <dict> 1519 // CHECK-NEXT: <key>start</key> 1520 // CHECK-NEXT: <array> 1521 // CHECK-NEXT: <dict> 1522 // CHECK-NEXT: <key>line</key><integer>178</integer> 1523 // CHECK-NEXT: <key>col</key><integer>9</integer> 1524 // CHECK-NEXT: <key>file</key><integer>0</integer> 1525 // CHECK-NEXT: </dict> 1526 // CHECK-NEXT: <dict> 1527 // CHECK-NEXT: <key>line</key><integer>178</integer> 1528 // CHECK-NEXT: <key>col</key><integer>16</integer> 1529 // CHECK-NEXT: <key>file</key><integer>0</integer> 1530 // CHECK-NEXT: </dict> 1531 // CHECK-NEXT: </array> 1532 // CHECK-NEXT: <key>end</key> 1533 // CHECK-NEXT: <array> 1534 // CHECK-NEXT: <dict> 1535 // CHECK-NEXT: <key>line</key><integer>181</integer> 1536 // CHECK-NEXT: <key>col</key><integer>9</integer> 1537 // CHECK-NEXT: <key>file</key><integer>0</integer> 1538 // CHECK-NEXT: </dict> 1539 // CHECK-NEXT: <dict> 1540 // CHECK-NEXT: <key>line</key><integer>181</integer> 1541 // CHECK-NEXT: <key>col</key><integer>9</integer> 1542 // CHECK-NEXT: <key>file</key><integer>0</integer> 1543 // CHECK-NEXT: </dict> 1544 // CHECK-NEXT: </array> 1545 // CHECK-NEXT: </dict> 1546 // CHECK-NEXT: </array> 1547 // CHECK-NEXT: </dict> 1548 // CHECK-NEXT: <dict> 1549 // CHECK-NEXT: <key>kind</key><string>control</string> 1550 // CHECK-NEXT: <key>edges</key> 1551 // CHECK-NEXT: <array> 1552 // CHECK-NEXT: <dict> 1553 // CHECK-NEXT: <key>start</key> 1554 // CHECK-NEXT: <array> 1555 // CHECK-NEXT: <dict> 1556 // CHECK-NEXT: <key>line</key><integer>181</integer> 1557 // CHECK-NEXT: <key>col</key><integer>9</integer> 1558 // CHECK-NEXT: <key>file</key><integer>0</integer> 1559 // CHECK-NEXT: </dict> 1560 // CHECK-NEXT: <dict> 1561 // CHECK-NEXT: <key>line</key><integer>181</integer> 1562 // CHECK-NEXT: <key>col</key><integer>9</integer> 1563 // CHECK-NEXT: <key>file</key><integer>0</integer> 1564 // CHECK-NEXT: </dict> 1565 // CHECK-NEXT: </array> 1566 // CHECK-NEXT: <key>end</key> 1567 // CHECK-NEXT: <array> 1568 // CHECK-NEXT: <dict> 1569 // CHECK-NEXT: <key>line</key><integer>185</integer> 1570 // CHECK-NEXT: <key>col</key><integer>9</integer> 1571 // CHECK-NEXT: <key>file</key><integer>0</integer> 1572 // CHECK-NEXT: </dict> 1573 // CHECK-NEXT: <dict> 1574 // CHECK-NEXT: <key>line</key><integer>185</integer> 1575 // CHECK-NEXT: <key>col</key><integer>16</integer> 1576 // CHECK-NEXT: <key>file</key><integer>0</integer> 1577 // CHECK-NEXT: </dict> 1578 // CHECK-NEXT: </array> 1579 // CHECK-NEXT: </dict> 1580 // CHECK-NEXT: </array> 1581 // CHECK-NEXT: </dict> 1582 // CHECK-NEXT: <dict> 1583 // CHECK-NEXT: <key>kind</key><string>control</string> 1584 // CHECK-NEXT: <key>edges</key> 1585 // CHECK-NEXT: <array> 1586 // CHECK-NEXT: <dict> 1587 // CHECK-NEXT: <key>start</key> 1588 // CHECK-NEXT: <array> 1589 // CHECK-NEXT: <dict> 1590 // CHECK-NEXT: <key>line</key><integer>185</integer> 1591 // CHECK-NEXT: <key>col</key><integer>9</integer> 1592 // CHECK-NEXT: <key>file</key><integer>0</integer> 1593 // CHECK-NEXT: </dict> 1594 // CHECK-NEXT: <dict> 1595 // CHECK-NEXT: <key>line</key><integer>185</integer> 1596 // CHECK-NEXT: <key>col</key><integer>16</integer> 1597 // CHECK-NEXT: <key>file</key><integer>0</integer> 1598 // CHECK-NEXT: </dict> 1599 // CHECK-NEXT: </array> 1600 // CHECK-NEXT: <key>end</key> 1601 // CHECK-NEXT: <array> 1602 // CHECK-NEXT: <dict> 1603 // CHECK-NEXT: <key>line</key><integer>189</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: <dict> 1608 // CHECK-NEXT: <key>line</key><integer>189</integer> 1609 // CHECK-NEXT: <key>col</key><integer>9</integer> 1610 // CHECK-NEXT: <key>file</key><integer>0</integer> 1611 // CHECK-NEXT: </dict> 1612 // CHECK-NEXT: </array> 1613 // CHECK-NEXT: </dict> 1614 // CHECK-NEXT: </array> 1615 // CHECK-NEXT: </dict> 1616 // CHECK-NEXT: <dict> 1617 // CHECK-NEXT: <key>kind</key><string>control</string> 1618 // CHECK-NEXT: <key>edges</key> 1619 // CHECK-NEXT: <array> 1620 // CHECK-NEXT: <dict> 1621 // CHECK-NEXT: <key>start</key> 1622 // CHECK-NEXT: <array> 1623 // CHECK-NEXT: <dict> 1624 // CHECK-NEXT: <key>line</key><integer>189</integer> 1625 // CHECK-NEXT: <key>col</key><integer>9</integer> 1626 // CHECK-NEXT: <key>file</key><integer>0</integer> 1627 // CHECK-NEXT: </dict> 1628 // CHECK-NEXT: <dict> 1629 // CHECK-NEXT: <key>line</key><integer>189</integer> 1630 // CHECK-NEXT: <key>col</key><integer>9</integer> 1631 // CHECK-NEXT: <key>file</key><integer>0</integer> 1632 // CHECK-NEXT: </dict> 1633 // CHECK-NEXT: </array> 1634 // CHECK-NEXT: <key>end</key> 1635 // CHECK-NEXT: <array> 1636 // CHECK-NEXT: <dict> 1637 // CHECK-NEXT: <key>line</key><integer>193</integer> 1638 // CHECK-NEXT: <key>col</key><integer>9</integer> 1639 // CHECK-NEXT: <key>file</key><integer>0</integer> 1640 // CHECK-NEXT: </dict> 1641 // CHECK-NEXT: <dict> 1642 // CHECK-NEXT: <key>line</key><integer>193</integer> 1643 // CHECK-NEXT: <key>col</key><integer>16</integer> 1644 // CHECK-NEXT: <key>file</key><integer>0</integer> 1645 // CHECK-NEXT: </dict> 1646 // CHECK-NEXT: </array> 1647 // CHECK-NEXT: </dict> 1648 // CHECK-NEXT: </array> 1649 // CHECK-NEXT: </dict> 1650 // CHECK-NEXT: <dict> 1651 // CHECK-NEXT: <key>kind</key><string>control</string> 1652 // CHECK-NEXT: <key>edges</key> 1653 // CHECK-NEXT: <array> 1654 // CHECK-NEXT: <dict> 1655 // CHECK-NEXT: <key>start</key> 1656 // CHECK-NEXT: <array> 1657 // CHECK-NEXT: <dict> 1658 // CHECK-NEXT: <key>line</key><integer>193</integer> 1659 // CHECK-NEXT: <key>col</key><integer>9</integer> 1660 // CHECK-NEXT: <key>file</key><integer>0</integer> 1661 // CHECK-NEXT: </dict> 1662 // CHECK-NEXT: <dict> 1663 // CHECK-NEXT: <key>line</key><integer>193</integer> 1664 // CHECK-NEXT: <key>col</key><integer>16</integer> 1665 // CHECK-NEXT: <key>file</key><integer>0</integer> 1666 // CHECK-NEXT: </dict> 1667 // CHECK-NEXT: </array> 1668 // CHECK-NEXT: <key>end</key> 1669 // CHECK-NEXT: <array> 1670 // CHECK-NEXT: <dict> 1671 // CHECK-NEXT: <key>line</key><integer>196</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: <dict> 1676 // CHECK-NEXT: <key>line</key><integer>196</integer> 1677 // CHECK-NEXT: <key>col</key><integer>9</integer> 1678 // CHECK-NEXT: <key>file</key><integer>0</integer> 1679 // CHECK-NEXT: </dict> 1680 // CHECK-NEXT: </array> 1681 // CHECK-NEXT: </dict> 1682 // CHECK-NEXT: </array> 1683 // CHECK-NEXT: </dict> 1684 // CHECK-NEXT: <dict> 1685 // CHECK-NEXT: <key>kind</key><string>control</string> 1686 // CHECK-NEXT: <key>edges</key> 1687 // CHECK-NEXT: <array> 1688 // CHECK-NEXT: <dict> 1689 // CHECK-NEXT: <key>start</key> 1690 // CHECK-NEXT: <array> 1691 // CHECK-NEXT: <dict> 1692 // CHECK-NEXT: <key>line</key><integer>196</integer> 1693 // CHECK-NEXT: <key>col</key><integer>9</integer> 1694 // CHECK-NEXT: <key>file</key><integer>0</integer> 1695 // CHECK-NEXT: </dict> 1696 // CHECK-NEXT: <dict> 1697 // CHECK-NEXT: <key>line</key><integer>196</integer> 1698 // CHECK-NEXT: <key>col</key><integer>9</integer> 1699 // CHECK-NEXT: <key>file</key><integer>0</integer> 1700 // CHECK-NEXT: </dict> 1701 // CHECK-NEXT: </array> 1702 // CHECK-NEXT: <key>end</key> 1703 // CHECK-NEXT: <array> 1704 // CHECK-NEXT: <dict> 1705 // CHECK-NEXT: <key>line</key><integer>200</integer> 1706 // CHECK-NEXT: <key>col</key><integer>7</integer> 1707 // CHECK-NEXT: <key>file</key><integer>0</integer> 1708 // CHECK-NEXT: </dict> 1709 // CHECK-NEXT: <dict> 1710 // CHECK-NEXT: <key>line</key><integer>200</integer> 1711 // CHECK-NEXT: <key>col</key><integer>20</integer> 1712 // CHECK-NEXT: <key>file</key><integer>0</integer> 1713 // CHECK-NEXT: </dict> 1714 // CHECK-NEXT: </array> 1715 // CHECK-NEXT: </dict> 1716 // CHECK-NEXT: </array> 1717 // CHECK-NEXT: </dict> 1718 // CHECK-NEXT: <dict> 1719 // CHECK-NEXT: <key>kind</key><string>event</string> 1720 // CHECK-NEXT: <key>location</key> 1721 // CHECK-NEXT: <dict> 1722 // CHECK-NEXT: <key>line</key><integer>200</integer> 1723 // CHECK-NEXT: <key>col</key><integer>7</integer> 1724 // CHECK-NEXT: <key>file</key><integer>0</integer> 1725 // CHECK-NEXT: </dict> 1726 // CHECK-NEXT: <key>ranges</key> 1727 // CHECK-NEXT: <array> 1728 // CHECK-NEXT: <array> 1729 // CHECK-NEXT: <dict> 1730 // CHECK-NEXT: <key>line</key><integer>200</integer> 1731 // CHECK-NEXT: <key>col</key><integer>7</integer> 1732 // CHECK-NEXT: <key>file</key><integer>0</integer> 1733 // CHECK-NEXT: </dict> 1734 // CHECK-NEXT: <dict> 1735 // CHECK-NEXT: <key>line</key><integer>200</integer> 1736 // CHECK-NEXT: <key>col</key><integer>22</integer> 1737 // CHECK-NEXT: <key>file</key><integer>0</integer> 1738 // CHECK-NEXT: </dict> 1739 // CHECK-NEXT: </array> 1740 // CHECK-NEXT: </array> 1741 // CHECK-NEXT: <key>depth</key><integer>0</integer> 1742 // CHECK-NEXT: <key>extended_message</key> 1743 // CHECK-NEXT: <string>Call to function 'CFCreateString' returns a Core Foundation object with a +1 retain count</string> 1744 // CHECK-NEXT: <key>message</key> 1745 // CHECK-NEXT: <string>Call to function 'CFCreateString' returns a Core Foundation object with a +1 retain count</string> 1746 // CHECK-NEXT: </dict> 1747 // CHECK-NEXT: <dict> 1748 // CHECK-NEXT: <key>kind</key><string>control</string> 1749 // CHECK-NEXT: <key>edges</key> 1750 // CHECK-NEXT: <array> 1751 // CHECK-NEXT: <dict> 1752 // CHECK-NEXT: <key>start</key> 1753 // CHECK-NEXT: <array> 1754 // CHECK-NEXT: <dict> 1755 // CHECK-NEXT: <key>line</key><integer>200</integer> 1756 // CHECK-NEXT: <key>col</key><integer>7</integer> 1757 // CHECK-NEXT: <key>file</key><integer>0</integer> 1758 // CHECK-NEXT: </dict> 1759 // CHECK-NEXT: <dict> 1760 // CHECK-NEXT: <key>line</key><integer>200</integer> 1761 // CHECK-NEXT: <key>col</key><integer>20</integer> 1762 // CHECK-NEXT: <key>file</key><integer>0</integer> 1763 // CHECK-NEXT: </dict> 1764 // CHECK-NEXT: </array> 1765 // CHECK-NEXT: <key>end</key> 1766 // CHECK-NEXT: <array> 1767 // CHECK-NEXT: <dict> 1768 // CHECK-NEXT: <key>line</key><integer>202</integer> 1769 // CHECK-NEXT: <key>col</key><integer>1</integer> 1770 // CHECK-NEXT: <key>file</key><integer>0</integer> 1771 // CHECK-NEXT: </dict> 1772 // CHECK-NEXT: <dict> 1773 // CHECK-NEXT: <key>line</key><integer>202</integer> 1774 // CHECK-NEXT: <key>col</key><integer>1</integer> 1775 // CHECK-NEXT: <key>file</key><integer>0</integer> 1776 // CHECK-NEXT: </dict> 1777 // CHECK-NEXT: </array> 1778 // CHECK-NEXT: </dict> 1779 // CHECK-NEXT: </array> 1780 // CHECK-NEXT: </dict> 1781 // CHECK-NEXT: <dict> 1782 // CHECK-NEXT: <key>kind</key><string>event</string> 1783 // CHECK-NEXT: <key>location</key> 1784 // CHECK-NEXT: <dict> 1785 // CHECK-NEXT: <key>line</key><integer>202</integer> 1786 // CHECK-NEXT: <key>col</key><integer>1</integer> 1787 // CHECK-NEXT: <key>file</key><integer>0</integer> 1788 // CHECK-NEXT: </dict> 1789 // CHECK-NEXT: <key>depth</key><integer>0</integer> 1790 // CHECK-NEXT: <key>extended_message</key> 1791 // CHECK-NEXT: <string>Object leaked: allocated object is not referenced later in this execution path and has a retain count of +1</string> 1792 // CHECK-NEXT: <key>message</key> 1793 // CHECK-NEXT: <string>Object leaked: allocated object is not referenced later in this execution path and has a retain count of +1</string> 1794 // CHECK-NEXT: </dict> 1795 // CHECK-NEXT: </array> 1796 // CHECK-NEXT: <key>description</key><string>Potential leak of an object</string> 1797 // CHECK-NEXT: <key>category</key><string>Memory (Core Foundation/Objective-C)</string> 1798 // CHECK-NEXT: <key>type</key><string>Leak</string> 1799 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 1800 // CHECK-NEXT: <key>issue_context</key><string>test_objc_arrays</string> 1801 // CHECK-NEXT: <key>issue_hash</key><string>24</string> 1802 // CHECK-NEXT: <key>location</key> 1803 // CHECK-NEXT: <dict> 1804 // CHECK-NEXT: <key>line</key><integer>202</integer> 1805 // CHECK-NEXT: <key>col</key><integer>1</integer> 1806 // CHECK-NEXT: <key>file</key><integer>0</integer> 1807 // CHECK-NEXT: </dict> 1808 // CHECK-NEXT: </dict> 1809 // CHECK-NEXT: <dict> 1810 // CHECK-NEXT: <key>path</key> 1811 // CHECK-NEXT: <array> 1812 // CHECK-NEXT: <dict> 1813 // CHECK-NEXT: <key>kind</key><string>event</string> 1814 // CHECK-NEXT: <key>location</key> 1815 // CHECK-NEXT: <dict> 1816 // CHECK-NEXT: <key>line</key><integer>214</integer> 1817 // CHECK-NEXT: <key>col</key><integer>17</integer> 1818 // CHECK-NEXT: <key>file</key><integer>0</integer> 1819 // CHECK-NEXT: </dict> 1820 // CHECK-NEXT: <key>ranges</key> 1821 // CHECK-NEXT: <array> 1822 // CHECK-NEXT: <array> 1823 // CHECK-NEXT: <dict> 1824 // CHECK-NEXT: <key>line</key><integer>214</integer> 1825 // CHECK-NEXT: <key>col</key><integer>17</integer> 1826 // CHECK-NEXT: <key>file</key><integer>0</integer> 1827 // CHECK-NEXT: </dict> 1828 // CHECK-NEXT: <dict> 1829 // CHECK-NEXT: <key>line</key><integer>214</integer> 1830 // CHECK-NEXT: <key>col</key><integer>39</integer> 1831 // CHECK-NEXT: <key>file</key><integer>0</integer> 1832 // CHECK-NEXT: </dict> 1833 // CHECK-NEXT: </array> 1834 // CHECK-NEXT: </array> 1835 // CHECK-NEXT: <key>depth</key><integer>0</integer> 1836 // CHECK-NEXT: <key>extended_message</key> 1837 // CHECK-NEXT: <string>Method returns an Objective-C object with a +0 retain count</string> 1838 // CHECK-NEXT: <key>message</key> 1839 // CHECK-NEXT: <string>Method returns an Objective-C object with a +0 retain count</string> 1840 // CHECK-NEXT: </dict> 1841 // CHECK-NEXT: <dict> 1842 // CHECK-NEXT: <key>kind</key><string>control</string> 1843 // CHECK-NEXT: <key>edges</key> 1844 // CHECK-NEXT: <array> 1845 // CHECK-NEXT: <dict> 1846 // CHECK-NEXT: <key>start</key> 1847 // CHECK-NEXT: <array> 1848 // CHECK-NEXT: <dict> 1849 // CHECK-NEXT: <key>line</key><integer>214</integer> 1850 // CHECK-NEXT: <key>col</key><integer>3</integer> 1851 // CHECK-NEXT: <key>file</key><integer>0</integer> 1852 // CHECK-NEXT: </dict> 1853 // CHECK-NEXT: <dict> 1854 // CHECK-NEXT: <key>line</key><integer>214</integer> 1855 // CHECK-NEXT: <key>col</key><integer>10</integer> 1856 // CHECK-NEXT: <key>file</key><integer>0</integer> 1857 // CHECK-NEXT: </dict> 1858 // CHECK-NEXT: </array> 1859 // CHECK-NEXT: <key>end</key> 1860 // CHECK-NEXT: <array> 1861 // CHECK-NEXT: <dict> 1862 // CHECK-NEXT: <key>line</key><integer>215</integer> 1863 // CHECK-NEXT: <key>col</key><integer>3</integer> 1864 // CHECK-NEXT: <key>file</key><integer>0</integer> 1865 // CHECK-NEXT: </dict> 1866 // CHECK-NEXT: <dict> 1867 // CHECK-NEXT: <key>line</key><integer>215</integer> 1868 // CHECK-NEXT: <key>col</key><integer>18</integer> 1869 // CHECK-NEXT: <key>file</key><integer>0</integer> 1870 // CHECK-NEXT: </dict> 1871 // CHECK-NEXT: </array> 1872 // CHECK-NEXT: </dict> 1873 // CHECK-NEXT: </array> 1874 // CHECK-NEXT: </dict> 1875 // CHECK-NEXT: <dict> 1876 // CHECK-NEXT: <key>kind</key><string>event</string> 1877 // CHECK-NEXT: <key>location</key> 1878 // CHECK-NEXT: <dict> 1879 // CHECK-NEXT: <key>line</key><integer>215</integer> 1880 // CHECK-NEXT: <key>col</key><integer>3</integer> 1881 // CHECK-NEXT: <key>file</key><integer>0</integer> 1882 // CHECK-NEXT: </dict> 1883 // CHECK-NEXT: <key>ranges</key> 1884 // CHECK-NEXT: <array> 1885 // CHECK-NEXT: <array> 1886 // CHECK-NEXT: <dict> 1887 // CHECK-NEXT: <key>line</key><integer>215</integer> 1888 // CHECK-NEXT: <key>col</key><integer>3</integer> 1889 // CHECK-NEXT: <key>file</key><integer>0</integer> 1890 // CHECK-NEXT: </dict> 1891 // CHECK-NEXT: <dict> 1892 // CHECK-NEXT: <key>line</key><integer>215</integer> 1893 // CHECK-NEXT: <key>col</key><integer>21</integer> 1894 // CHECK-NEXT: <key>file</key><integer>0</integer> 1895 // CHECK-NEXT: </dict> 1896 // CHECK-NEXT: </array> 1897 // CHECK-NEXT: <array> 1898 // CHECK-NEXT: <dict> 1899 // CHECK-NEXT: <key>line</key><integer>215</integer> 1900 // CHECK-NEXT: <key>col</key><integer>20</integer> 1901 // CHECK-NEXT: <key>file</key><integer>0</integer> 1902 // CHECK-NEXT: </dict> 1903 // CHECK-NEXT: <dict> 1904 // CHECK-NEXT: <key>line</key><integer>215</integer> 1905 // CHECK-NEXT: <key>col</key><integer>20</integer> 1906 // CHECK-NEXT: <key>file</key><integer>0</integer> 1907 // CHECK-NEXT: </dict> 1908 // CHECK-NEXT: </array> 1909 // CHECK-NEXT: </array> 1910 // CHECK-NEXT: <key>depth</key><integer>0</integer> 1911 // CHECK-NEXT: <key>extended_message</key> 1912 // CHECK-NEXT: <string>Reference count incremented. The object now has a +1 retain count</string> 1913 // CHECK-NEXT: <key>message</key> 1914 // CHECK-NEXT: <string>Reference count incremented. The object now has a +1 retain count</string> 1915 // CHECK-NEXT: </dict> 1916 // CHECK-NEXT: <dict> 1917 // CHECK-NEXT: <key>kind</key><string>control</string> 1918 // CHECK-NEXT: <key>edges</key> 1919 // CHECK-NEXT: <array> 1920 // CHECK-NEXT: <dict> 1921 // CHECK-NEXT: <key>start</key> 1922 // CHECK-NEXT: <array> 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: <dict> 1929 // CHECK-NEXT: <key>line</key><integer>215</integer> 1930 // CHECK-NEXT: <key>col</key><integer>18</integer> 1931 // CHECK-NEXT: <key>file</key><integer>0</integer> 1932 // CHECK-NEXT: </dict> 1933 // CHECK-NEXT: </array> 1934 // CHECK-NEXT: <key>end</key> 1935 // CHECK-NEXT: <array> 1936 // CHECK-NEXT: <dict> 1937 // CHECK-NEXT: <key>line</key><integer>216</integer> 1938 // CHECK-NEXT: <key>col</key><integer>1</integer> 1939 // CHECK-NEXT: <key>file</key><integer>0</integer> 1940 // CHECK-NEXT: </dict> 1941 // CHECK-NEXT: <dict> 1942 // CHECK-NEXT: <key>line</key><integer>216</integer> 1943 // CHECK-NEXT: <key>col</key><integer>1</integer> 1944 // CHECK-NEXT: <key>file</key><integer>0</integer> 1945 // CHECK-NEXT: </dict> 1946 // CHECK-NEXT: </array> 1947 // CHECK-NEXT: </dict> 1948 // CHECK-NEXT: </array> 1949 // CHECK-NEXT: </dict> 1950 // CHECK-NEXT: <dict> 1951 // CHECK-NEXT: <key>kind</key><string>event</string> 1952 // CHECK-NEXT: <key>location</key> 1953 // CHECK-NEXT: <dict> 1954 // CHECK-NEXT: <key>line</key><integer>216</integer> 1955 // CHECK-NEXT: <key>col</key><integer>1</integer> 1956 // CHECK-NEXT: <key>file</key><integer>0</integer> 1957 // CHECK-NEXT: </dict> 1958 // CHECK-NEXT: <key>depth</key><integer>0</integer> 1959 // CHECK-NEXT: <key>extended_message</key> 1960 // CHECK-NEXT: <string>Object leaked: object allocated and stored into 'o' is not referenced later in this execution path and has a retain count of +1</string> 1961 // CHECK-NEXT: <key>message</key> 1962 // CHECK-NEXT: <string>Object leaked: object allocated and stored into 'o' is not referenced later in this execution path and has a retain count of +1</string> 1963 // CHECK-NEXT: </dict> 1964 // CHECK-NEXT: </array> 1965 // CHECK-NEXT: <key>description</key><string>Potential leak of an object stored into 'o'</string> 1966 // CHECK-NEXT: <key>category</key><string>Memory (Core Foundation/Objective-C)</string> 1967 // CHECK-NEXT: <key>type</key><string>Leak</string> 1968 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 1969 // CHECK-NEXT: <key>issue_context</key><string>rdar11059275_positive</string> 1970 // CHECK-NEXT: <key>issue_hash</key><string>1</string> 1971 // CHECK-NEXT: <key>location</key> 1972 // CHECK-NEXT: <dict> 1973 // CHECK-NEXT: <key>line</key><integer>216</integer> 1974 // CHECK-NEXT: <key>col</key><integer>1</integer> 1975 // CHECK-NEXT: <key>file</key><integer>0</integer> 1976 // CHECK-NEXT: </dict> 1977 // CHECK-NEXT: </dict> 1978 // CHECK-NEXT: <dict> 1979 // CHECK-NEXT: <key>path</key> 1980 // CHECK-NEXT: <array> 1981 // CHECK-NEXT: <dict> 1982 // CHECK-NEXT: <key>kind</key><string>control</string> 1983 // CHECK-NEXT: <key>edges</key> 1984 // CHECK-NEXT: <array> 1985 // CHECK-NEXT: <dict> 1986 // CHECK-NEXT: <key>start</key> 1987 // CHECK-NEXT: <array> 1988 // CHECK-NEXT: <dict> 1989 // CHECK-NEXT: <key>line</key><integer>229</integer> 1990 // CHECK-NEXT: <key>col</key><integer>3</integer> 1991 // CHECK-NEXT: <key>file</key><integer>0</integer> 1992 // CHECK-NEXT: </dict> 1993 // CHECK-NEXT: <dict> 1994 // CHECK-NEXT: <key>line</key><integer>229</integer> 1995 // CHECK-NEXT: <key>col</key><integer>4</integer> 1996 // CHECK-NEXT: <key>file</key><integer>0</integer> 1997 // CHECK-NEXT: </dict> 1998 // CHECK-NEXT: </array> 1999 // CHECK-NEXT: <key>end</key> 2000 // CHECK-NEXT: <array> 2001 // CHECK-NEXT: <dict> 2002 // CHECK-NEXT: <key>line</key><integer>230</integer> 2003 // CHECK-NEXT: <key>col</key><integer>3</integer> 2004 // CHECK-NEXT: <key>file</key><integer>0</integer> 2005 // CHECK-NEXT: </dict> 2006 // CHECK-NEXT: <dict> 2007 // CHECK-NEXT: <key>line</key><integer>230</integer> 2008 // CHECK-NEXT: <key>col</key><integer>3</integer> 2009 // CHECK-NEXT: <key>file</key><integer>0</integer> 2010 // CHECK-NEXT: </dict> 2011 // CHECK-NEXT: </array> 2012 // CHECK-NEXT: </dict> 2013 // CHECK-NEXT: </array> 2014 // CHECK-NEXT: </dict> 2015 // CHECK-NEXT: <dict> 2016 // CHECK-NEXT: <key>kind</key><string>control</string> 2017 // CHECK-NEXT: <key>edges</key> 2018 // CHECK-NEXT: <array> 2019 // CHECK-NEXT: <dict> 2020 // CHECK-NEXT: <key>start</key> 2021 // CHECK-NEXT: <array> 2022 // CHECK-NEXT: <dict> 2023 // CHECK-NEXT: <key>line</key><integer>230</integer> 2024 // CHECK-NEXT: <key>col</key><integer>3</integer> 2025 // CHECK-NEXT: <key>file</key><integer>0</integer> 2026 // CHECK-NEXT: </dict> 2027 // CHECK-NEXT: <dict> 2028 // CHECK-NEXT: <key>line</key><integer>230</integer> 2029 // CHECK-NEXT: <key>col</key><integer>3</integer> 2030 // CHECK-NEXT: <key>file</key><integer>0</integer> 2031 // CHECK-NEXT: </dict> 2032 // CHECK-NEXT: </array> 2033 // CHECK-NEXT: <key>end</key> 2034 // CHECK-NEXT: <array> 2035 // CHECK-NEXT: <dict> 2036 // CHECK-NEXT: <key>line</key><integer>230</integer> 2037 // CHECK-NEXT: <key>col</key><integer>22</integer> 2038 // CHECK-NEXT: <key>file</key><integer>0</integer> 2039 // CHECK-NEXT: </dict> 2040 // CHECK-NEXT: <dict> 2041 // CHECK-NEXT: <key>line</key><integer>230</integer> 2042 // CHECK-NEXT: <key>col</key><integer>22</integer> 2043 // CHECK-NEXT: <key>file</key><integer>0</integer> 2044 // CHECK-NEXT: </dict> 2045 // CHECK-NEXT: </array> 2046 // CHECK-NEXT: </dict> 2047 // CHECK-NEXT: </array> 2048 // CHECK-NEXT: </dict> 2049 // CHECK-NEXT: <dict> 2050 // CHECK-NEXT: <key>kind</key><string>event</string> 2051 // CHECK-NEXT: <key>location</key> 2052 // CHECK-NEXT: <dict> 2053 // CHECK-NEXT: <key>line</key><integer>230</integer> 2054 // CHECK-NEXT: <key>col</key><integer>22</integer> 2055 // CHECK-NEXT: <key>file</key><integer>0</integer> 2056 // CHECK-NEXT: </dict> 2057 // CHECK-NEXT: <key>ranges</key> 2058 // CHECK-NEXT: <array> 2059 // CHECK-NEXT: <array> 2060 // CHECK-NEXT: <dict> 2061 // CHECK-NEXT: <key>line</key><integer>230</integer> 2062 // CHECK-NEXT: <key>col</key><integer>3</integer> 2063 // CHECK-NEXT: <key>file</key><integer>0</integer> 2064 // CHECK-NEXT: </dict> 2065 // CHECK-NEXT: <dict> 2066 // CHECK-NEXT: <key>line</key><integer>230</integer> 2067 // CHECK-NEXT: <key>col</key><integer>24</integer> 2068 // CHECK-NEXT: <key>file</key><integer>0</integer> 2069 // CHECK-NEXT: </dict> 2070 // CHECK-NEXT: </array> 2071 // CHECK-NEXT: </array> 2072 // CHECK-NEXT: <key>depth</key><integer>0</integer> 2073 // CHECK-NEXT: <key>extended_message</key> 2074 // CHECK-NEXT: <string>Dereference of null pointer</string> 2075 // CHECK-NEXT: <key>message</key> 2076 // CHECK-NEXT: <string>Dereference of null pointer</string> 2077 // CHECK-NEXT: </dict> 2078 // CHECK-NEXT: </array> 2079 // CHECK-NEXT: <key>description</key><string>Dereference of null pointer</string> 2080 // CHECK-NEXT: <key>category</key><string>Logic error</string> 2081 // CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string> 2082 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 2083 // CHECK-NEXT: <key>issue_context</key><string>rdar14061675</string> 2084 // CHECK-NEXT: <key>issue_hash</key><string>4</string> 2085 // CHECK-NEXT: <key>location</key> 2086 // CHECK-NEXT: <dict> 2087 // CHECK-NEXT: <key>line</key><integer>230</integer> 2088 // CHECK-NEXT: <key>col</key><integer>22</integer> 2089 // CHECK-NEXT: <key>file</key><integer>0</integer> 2090 // CHECK-NEXT: </dict> 2091 // CHECK-NEXT: </dict> 2092 // CHECK-NEXT: </array> 2093
