87 lines · plain
1// RUN: %clang_analyze_cc1 -analyzer-checker=core,osx.cocoa.RetainCount -verify -Wno-objc-root-class %s2 3typedef signed char BOOL;4typedef unsigned int NSUInteger;5 6@interface NSObject7+(id)alloc;8-(id)init;9-(id)autorelease;10-(id)copy;11-(id)retain;12@end13 14@interface Subscriptable : NSObject15- (void)setObject:(id)obj atIndexedSubscript:(NSUInteger)index;16- (id)objectAtIndexedSubscript:(NSUInteger)index;17 18- (void)setObject:(id)obj forKeyedSubscript:(id)key;19- (id)objectForKeyedSubscript:(id)key;20@end21 22@interface Test : Subscriptable23@end24 25@implementation Test26 27- (id)storeDoesNotRetain {28 Test *cell = [[[Test alloc] init] autorelease];29 30 NSObject *string1 = [[NSObject alloc] init]; // expected-warning {{Potential leak}}31 cell[0] = string1;32 cell[self] = string1;33 cell[string1] = self;34 35 return cell;36}37 38- (id)getDoesNotRetain:(BOOL)keyed {39 if (keyed)40 return [self[self] autorelease]; // expected-warning{{Object autoreleased too many times}}41 else42 return [self[0] autorelease]; // expected-warning{{Object autoreleased too many times}}43}44 45- (id)testUninitializedObject:(BOOL)keyed {46 Test *o;47 if (keyed) {48 if (o[self]) // expected-warning {{Subscript access on an uninitialized object pointer}}49 return o; // no-warning (sink)50 } else {51 if (o[0]) // expected-warning {{Subscript access on an uninitialized object pointer}}52 return o; // no-warning (sink)53 }54 return self;55}56 57- (void)testUninitializedArgument:(id)input testCase:(unsigned)testCase {58 NSUInteger i;59 id o;60 61 switch (testCase) {62 case 0:63 self[0] = o; // expected-warning {{Argument for subscript setter is an uninitialized value}}64 break;65 case 1:66 self[i] = input; // expected-warning {{Subscript index is an uninitialized value}}67 break;68 case 2:69 (void)self[i]; // expected-warning {{Subscript index is an uninitialized value}}70 break;71 case 3:72 self[input] = o; // expected-warning {{Argument for subscript setter is an uninitialized value}}73 break;74 case 4:75 self[o] = input; // expected-warning {{Subscript index is an uninitialized value}}76 break;77 case 5:78 (void)self[o]; // expected-warning {{Subscript index is an uninitialized value}}79 break;80 default:81 break;82 }83 84}85 86@end87