diff options
| author | Zancanaro; Carlo <czan8762@plang3.cs.usyd.edu.au> | 2012-09-24 09:58:17 +1000 | 
|---|---|---|
| committer | Zancanaro; Carlo <czan8762@plang3.cs.usyd.edu.au> | 2012-09-24 09:58:17 +1000 | 
| commit | 222e2a7620e6520ffaf4fc4e69d79c18da31542e (patch) | |
| tree | 7bfbc05bfa3b41c8f9d2e56d53a0bc3e310df239 /clang/test/Analysis/refcnt_naming.m | |
| parent | 3d206f03985b50beacae843d880bccdc91a9f424 (diff) | |
Add the clang library to the repo (with some of my changes, too).
Diffstat (limited to 'clang/test/Analysis/refcnt_naming.m')
| -rw-r--r-- | clang/test/Analysis/refcnt_naming.m | 84 | 
1 files changed, 84 insertions, 0 deletions
| diff --git a/clang/test/Analysis/refcnt_naming.m b/clang/test/Analysis/refcnt_naming.m new file mode 100644 index 0000000..aff713b --- /dev/null +++ b/clang/test/Analysis/refcnt_naming.m @@ -0,0 +1,84 @@ +// RUN: %clang_cc1 -analyze -analyzer-checker=core,osx.cocoa.RetainCount,experimental.core -analyzer-store=region -verify %s + +typedef const struct __CFString * CFStringRef; +typedef const struct __CFAllocator * CFAllocatorRef; +typedef const struct __CFURL * CFURLRef; +extern CFURLRef CFURLCreateWithString(CFAllocatorRef allocator, CFStringRef URLString, CFURLRef baseURL); +typedef signed char BOOL; +@protocol NSObject  - (BOOL)isEqual:(id)object; @end +@interface NSObject <NSObject> {} @end +@class NSArray, NSString, NSURL; + +@interface NamingTest : NSObject {} +-(NSObject*)copyPhoto; +-(NSObject*)mutableCopyPhoto; +-(NSObject*)mutable; +-(NSObject*)mutableCopying; +-(NSObject*)photocopy;    // read as "photocopy" +-(NSObject*)photoCopy;    // read as "photo Copy" +-(NSObject*)__blebPRCopy; // read as "bleb PRCopy" +-(NSObject*)__blebPRcopy; // read as "bleb P Rcopy" +-(NSObject*)new_theprefixdoescount; // read as "new theprefixdoescount" +-(NSObject*)newestAwesomeStuff; // read as "newest awesome stuff" + +@end + +@interface MyClass : NSObject +{ +  id myObject; +} +- (NSURL *)myMethod:(NSString *)inString; +- (NSURL *)getMethod:(NSString*)inString; +- (NSURL *)getMethod2:(NSString*)inString; +- (void)addObject:(id) __attribute__((ns_consumed)) X; +- (void)addObject2:(id) X; +@end + +@implementation MyClass + +- (NSURL *)myMethod:(NSString *)inString +{ +  NSURL *url = (NSURL *)CFURLCreateWithString(0, (CFStringRef)inString, 0); // expected-warning{{leak}} +  return url; +} + +- (NSURL *)getMethod:(NSString *)inString +{ +  NSURL *url = (NSURL *)CFURLCreateWithString(0, (CFStringRef)inString, 0); +  [self addObject:url]; +  return url; // no-warning +} + +- (NSURL *)getMethod2:(NSString *)inString +{ +  NSURL *url = (NSURL *)CFURLCreateWithString(0, (CFStringRef)inString, 0); // expected-warning{{leak}} +  [self addObject2:url]; +  return url; +} + +void testNames(NamingTest* x) { +  [x copyPhoto]; // expected-warning{{leak}} +  [x mutableCopyPhoto]; // expected-warning{{leak}} +  [x mutable]; // no-warning +  [x mutableCopying]; // no-warning +  [x photocopy]; // no-warning +  [x photoCopy]; // no-warning +  [x __blebPRCopy]; // no-warning +  [x __blebPRcopy]; // no-warning +  [x new_theprefixdoescount]; // expected-warning{{leak}} +  [x newestAwesomeStuff]; // no-warning +} + + +- (void)addObject:(id)X +{ +  myObject = X; +} + +- (void)addObject2:(id)X +{ +  myObject = X; +} + +@end + | 
