clang/test/Analysis/inlining/retain-count-self-init.m

   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