85d97aac80
showBRParamDiagnostics assumed stores happen only via function parameters while that can also happen via implicit parameters like 'self' or 'this'. The regression test caused a failed assert in the original cast to ParmVarDecl. Differential Revision: https://reviews.llvm.org/D133815
32 lines
841 B
Objective-C
32 lines
841 B
Objective-C
// RUN: %clang_analyze_cc1 -analyzer-checker=core,osx.cocoa.RetainCount -analyzer-output=text -verify %s
|
|
|
|
@protocol NSObject
|
|
@end
|
|
|
|
@interface NSObject <NSObject> {}
|
|
- (id)init;
|
|
+ (id)alloc;
|
|
- (id)autorelease;
|
|
@end
|
|
|
|
@interface Foo : NSObject
|
|
@property(nonatomic) int bar;
|
|
@end
|
|
|
|
@implementation Foo
|
|
-(int)bar {
|
|
return 0;
|
|
}
|
|
@end
|
|
|
|
int baz() {
|
|
Foo *f = [Foo alloc];
|
|
// expected-note@-1 {{'f' initialized here}}
|
|
// expected-note@-2 {{Method returns an instance of Foo with a +1 retain count}}
|
|
|
|
return f.bar;
|
|
// expected-warning@-1 {{Potential leak of an object stored into 'self' [osx.cocoa.RetainCount]}}
|
|
// expected-note@-2 {{Passing value via implicit parameter 'self'}}
|
|
// expected-note@-3 {{Object leaked: object allocated and stored into 'self' is not referenced later in this execution path and has a retain count of +1}}
|
|
}
|