| 1 | // RUN: %clang_analyze_cc1 -analyzer-checker=core,osx.cocoa.RetainCount,osx.cocoa.SelfInit -analyzer-config ipa=dynamic-bifurcate -verify %s |
|---|
| 2 | |
|---|
| 3 | typedef signed char BOOL; |
|---|
| 4 | typedef struct objc_class *Class; |
|---|
| 5 | typedef struct objc_object { |
|---|
| 6 | Class isa; |
|---|
| 7 | } *id; |
|---|
| 8 | @protocol NSObject - (BOOL)isEqual:(id)object; @end |
|---|
| 9 | @interface NSObject <NSObject> {} |
|---|
| 10 | +(id)alloc; |
|---|
| 11 | +(id)new; |
|---|
| 12 | - (oneway void)release; |
|---|
| 13 | -(id)init; |
|---|
| 14 | -(id)autorelease; |
|---|
| 15 | -(id)copy; |
|---|
| 16 | - (Class)class; |
|---|
| 17 | -(id)retain; |
|---|
| 18 | @end |
|---|
| 19 | |
|---|
| 20 | // We do not want to overhelm user with error messages in case they forgot to |
|---|
| 21 | // assign to self and check that the result of [super init] is non-nil. So |
|---|
| 22 | // stop tracking the receiver of init with respect to Retain Release checker. |
|---|
| 23 | // radar://12115830 |
|---|
| 24 | @interface ParentOfCell : NSObject |
|---|
| 25 | - (id)initWithInt: (int)inInt; |
|---|
| 26 | @end |
|---|
| 27 | @interface Cell : ParentOfCell{ |
|---|
| 28 | int x; |
|---|
| 29 | } |
|---|
| 30 | - (id)init; |
|---|
| 31 | + (void)test; |
|---|
| 32 | @property int x; |
|---|
| 33 | @end |
|---|
| 34 | @implementation Cell |
|---|
| 35 | @synthesize x; |
|---|
| 36 | - (id) init { |
|---|
| 37 | [super init]; |
|---|
| 38 | self.x = 3; // no-warning |
|---|
| 39 | return self; // expected-warning {{Returning 'self' while it is not set to the result of '[(super or self)}} |
|---|
| 40 | } |
|---|
| 41 | - (id) initWithInt: (int)inInt { |
|---|
| 42 | [super initWithInt: inInt]; |
|---|
| 43 | self.x = inInt; // no-warning |
|---|
| 44 | return self; // expected-warning {{Returning 'self' while it is not set to the result of '[(super or self)}} |
|---|
| 45 | } |
|---|
| 46 | - (id) init2 { |
|---|
| 47 | [self init]; // The call [self init] is inlined. We will warn inside the inlined body. |
|---|
| 48 | self.x = 2; // no-warning |
|---|
| 49 | return self; |
|---|
| 50 | } |
|---|
| 51 | |
|---|
| 52 | - (id) initWithIntGood: (int)inInt { |
|---|
| 53 | if (self = [super initWithInt: inInt]) { |
|---|
| 54 | self.x = inInt; |
|---|
| 55 | } |
|---|
| 56 | return self; |
|---|
| 57 | } |
|---|
| 58 | + (void) test { |
|---|
| 59 | Cell *sharedCell1 = [[Cell alloc] init]; |
|---|
| 60 | [sharedCell1 release]; |
|---|
| 61 | Cell *sharedCell2 = [[Cell alloc] initWithInt: 3]; |
|---|
| 62 | [sharedCell2 release]; |
|---|
| 63 | Cell *sharedCell3 = [[Cell alloc] initWithIntGood: 3]; |
|---|
| 64 | [sharedCell3 release]; |
|---|
| 65 | } |
|---|
| 66 | |
|---|
| 67 | @end |
|---|
| 68 | |
|---|
| 69 | |
|---|