test/Analysis/objc_invalidation.m

// RUN: %clang_cc1 -analyze -analyzer-checker=core,alpha.osx.cocoa.InstanceVariableInvalidation -fobjc-default-synthesize-properties -verify %s

@protocol NSObject
@end
@interface NSObject <NSObject> {}
+(id)alloc;
+(id)new;
-(id)init;
-(id)autorelease;
-(id)copy;
- (Class)class;
-(id)retain;
@end

@protocol Invalidation1 <NSObject> 
- (void) invalidate __attribute__((annotate("objc_instance_variable_invalidator")));
@end 

@protocol Invalidation2 <NSObject> 
- (void) invalidate __attribute__((annotate("objc_instance_variable_invalidator")));
@end 

@protocol Invalidation3 <NSObject>
- (void) invalidate __attribute__((annotate("objc_instance_variable_invalidator")));
@end

@interface Invalidation2Class <Invalidation2>
@end

@interface Invalidation1Class <Invalidation1>
@end

@interface SomeInvalidationImplementingObject: NSObject <Invalidation3, Invalidation2> {
  SomeInvalidationImplementingObject *ObjA;
}
@end

@implementation SomeInvalidationImplementingObject
- (void)invalidate{
  ObjA = 0;
}
@end

@interface SomeSubclassInvalidatableObject : SomeInvalidationImplementingObject {
  SomeInvalidationImplementingObject *Obj1; 
  SomeInvalidationImplementingObject *Obj2;
  SomeInvalidationImplementingObject *Obj3;
  SomeInvalidationImplementingObject *_Prop1;
  SomeInvalidationImplementingObject *_Prop4;
  SomeInvalidationImplementingObject *_propIvar;
  Invalidation1Class *MultipleProtocols;
  Invalidation2Class *MultInheritance; 
  SomeInvalidationImplementingObject *_Prop5; // invalidate via getter method
  
  // No warnings on these.
  NSObject *NObj1;
  NSObject *NObj2;
  NSObject *_NProp1;
  NSObject *_NpropIvar;
}

@property (assign) SomeInvalidationImplementingObject* Prop0;
@property (nonatomic, assign) SomeInvalidationImplementingObject* Prop1;
@property (assign) SomeInvalidationImplementingObject* Prop2;
@property (assign) SomeInvalidationImplementingObject* Prop3;
@property (assign) SomeInvalidationImplementingObject* Prop4;
@property (assign) SomeInvalidationImplementingObject* Prop5;
@property (assign) SomeInvalidationImplementingObject *SynthIvarProp;


@property (assign) NSObject* NProp0;
@property (nonatomic, assign) NSObject* NProp1;
@property (assign) NSObject* NProp2;

-(void)setProp1: (SomeInvalidationImplementingObject*) InO;
-(void)setNProp1: (NSObject*) InO;

-(void)invalidate;

@end

@implementation SomeSubclassInvalidatableObject

@synthesize Prop2 = _propIvar;
@synthesize Prop3;

- (void) setProp1: (SomeInvalidationImplementingObject*) InObj {
  _Prop1 = InObj;
}

- (void) setProp4: (SomeInvalidationImplementingObject*) InObj {
  _Prop4 = InObj;
}
- (SomeInvalidationImplementingObject*) Prop4 {
  return _Prop4;
}

@synthesize NProp2 = _NpropIvar;

- (void) setNProp1: (NSObject*) InObj {
  _NProp1 = InObj;
}

- (void) invalidate {
   [Obj3 invalidate];
   self.Prop0 = 0;
   self.Prop1 = 0;
   [self setProp2:0];
   [self setProp3:0];
   self.Prop4 = 0;
   [[self Prop5] invalidate];
   [super invalidate];
}// expected-warning {{Instance variable Obj1 needs to be invalidated}}
 // expected-warning@-1 {{Instance variable Obj2 needs to be invalidated}}
 // expected-warning@-2 {{Instance variable MultipleProtocols needs to be invalidated}}
 // expected-warning@-3 {{Instance variable MultInheritance needs to be invalidated}}
 // expected-warning@-4 {{Property SynthIvarProp needs to be invalidated}}
@end