This test no longer is marked XFAIL.

Enhance test to include a case where a tracked object escapes because it is stored to a local ivar through a method dispatch to 'self.'

llvm-svn: 58109
This commit is contained in:
Ted Kremenek 2008-10-24 20:33:56 +00:00
parent 03466c2273
commit 14e6350dcc
1 changed files with 16 additions and 1 deletions

View File

@ -1,5 +1,4 @@
// RUN: clang -checker-cfref -verify %s // RUN: clang -checker-cfref -verify %s
// XFAIL
typedef const struct __CFString * CFStringRef; typedef const struct __CFString * CFStringRef;
typedef const struct __CFAllocator * CFAllocatorRef; typedef const struct __CFAllocator * CFAllocatorRef;
@ -12,8 +11,11 @@ typedef signed char BOOL;
@interface MyClass : NSObject @interface MyClass : NSObject
{ {
id myObject;
} }
- (NSURL *)myMethod:(NSString *)inString; - (NSURL *)myMethod:(NSString *)inString;
- (NSURL *)getMethod:(NSString*)inString;
- (void)addObject:(id)X;
@end @end
@implementation MyClass @implementation MyClass
@ -24,4 +26,17 @@ typedef signed char BOOL;
return url; // expected-warning{{leak}} return url; // expected-warning{{leak}}
} }
- (NSURL *)getMethod:(NSString *)inString
{
NSURL *url = (NSURL *)CFURLCreateWithString(0, (CFStringRef)inString, 0);
[self addObject:url];
return url; // no-warning
}
- (void)addObject:(id)X
{
myObject = X;
}
@end @end