Ted Kremenek | 6fd8f91 | 2009-01-22 23:43:57 +0000 | [diff] [blame] | 1 | // RUN: clang -analyze -checker-cfref -analyzer-store-basic -verify %s && |
| 2 | // RUN: clang -analyze -checker-cfref -analyzer-store-region -verify %s |
Ted Kremenek | 3ad2cc8 | 2008-10-22 23:56:21 +0000 | [diff] [blame] | 3 | |
| 4 | typedef const struct __CFString * CFStringRef; |
| 5 | typedef const struct __CFAllocator * CFAllocatorRef; |
| 6 | typedef const struct __CFURL * CFURLRef; |
| 7 | extern CFURLRef CFURLCreateWithString(CFAllocatorRef allocator, CFStringRef URLString, CFURLRef baseURL); |
| 8 | typedef signed char BOOL; |
| 9 | @protocol NSObject - (BOOL)isEqual:(id)object; @end |
| 10 | @interface NSObject <NSObject> {} @end |
| 11 | @class NSArray, NSString, NSURL; |
| 12 | |
| 13 | @interface MyClass : NSObject |
| 14 | { |
Ted Kremenek | f4b3548 | 2008-10-24 20:33:56 +0000 | [diff] [blame] | 15 | id myObject; |
Ted Kremenek | 3ad2cc8 | 2008-10-22 23:56:21 +0000 | [diff] [blame] | 16 | } |
| 17 | - (NSURL *)myMethod:(NSString *)inString; |
Ted Kremenek | f4b3548 | 2008-10-24 20:33:56 +0000 | [diff] [blame] | 18 | - (NSURL *)getMethod:(NSString*)inString; |
| 19 | - (void)addObject:(id)X; |
Ted Kremenek | 3ad2cc8 | 2008-10-22 23:56:21 +0000 | [diff] [blame] | 20 | @end |
| 21 | |
| 22 | @implementation MyClass |
| 23 | |
| 24 | - (NSURL *)myMethod:(NSString *)inString |
| 25 | { |
Ted Kremenek | cf118d4 | 2009-02-04 23:49:09 +0000 | [diff] [blame^] | 26 | NSURL *url = (NSURL *)CFURLCreateWithString(0, (CFStringRef)inString, 0); // expected-warning{{leak}} |
| 27 | return url; |
Ted Kremenek | 3ad2cc8 | 2008-10-22 23:56:21 +0000 | [diff] [blame] | 28 | } |
| 29 | |
Ted Kremenek | f4b3548 | 2008-10-24 20:33:56 +0000 | [diff] [blame] | 30 | - (NSURL *)getMethod:(NSString *)inString |
| 31 | { |
| 32 | NSURL *url = (NSURL *)CFURLCreateWithString(0, (CFStringRef)inString, 0); |
| 33 | [self addObject:url]; |
| 34 | return url; // no-warning |
| 35 | } |
| 36 | |
| 37 | |
| 38 | - (void)addObject:(id)X |
| 39 | { |
| 40 | myObject = X; |
| 41 | } |
| 42 | |
Ted Kremenek | 3ad2cc8 | 2008-10-22 23:56:21 +0000 | [diff] [blame] | 43 | @end |