Home | History | Annotate | Download | only in Analysis
      1 // RUN: %clang_cc1 -analyze -analyzer-checker=core,osx.cocoa.RetainCount,experimental.core -analyzer-store=region -verify %s
      2 
      3 typedef const struct __CFString * CFStringRef;
      4 typedef const struct __CFAllocator * CFAllocatorRef;
      5 typedef const struct __CFURL * CFURLRef;
      6 extern CFURLRef CFURLCreateWithString(CFAllocatorRef allocator, CFStringRef URLString, CFURLRef baseURL);
      7 typedef signed char BOOL;
      8 @protocol NSObject  - (BOOL)isEqual:(id)object; @end
      9 @interface NSObject <NSObject> {} @end
     10 @class NSArray, NSString, NSURL;
     11 
     12 @interface NamingTest : NSObject {}
     13 -(NSObject*)copyPhoto;
     14 -(NSObject*)mutableCopyPhoto;
     15 -(NSObject*)mutable;
     16 -(NSObject*)mutableCopying;
     17 -(NSObject*)photocopy;    // read as "photocopy"
     18 -(NSObject*)photoCopy;    // read as "photo Copy"
     19 -(NSObject*)__blebPRCopy; // read as "bleb PRCopy"
     20 -(NSObject*)__blebPRcopy; // read as "bleb P Rcopy"
     21 -(NSObject*)new_theprefixdoescount; // read as "new theprefixdoescount"
     22 -(NSObject*)newestAwesomeStuff; // read as "newest awesome stuff"
     23 
     24 @end
     25 
     26 @interface MyClass : NSObject
     27 {
     28   id myObject;
     29 }
     30 - (NSURL *)myMethod:(NSString *)inString;
     31 - (NSURL *)getMethod:(NSString*)inString;
     32 - (NSURL *)getMethod2:(NSString*)inString;
     33 - (void)addObject:(id) __attribute__((ns_consumed)) X;
     34 - (void)addObject2:(id) X;
     35 @end
     36 
     37 @implementation MyClass
     38 
     39 - (NSURL *)myMethod:(NSString *)inString
     40 {
     41   NSURL *url = (NSURL *)CFURLCreateWithString(0, (CFStringRef)inString, 0); // expected-warning{{leak}}
     42   return url;
     43 }
     44 
     45 - (NSURL *)getMethod:(NSString *)inString
     46 {
     47   NSURL *url = (NSURL *)CFURLCreateWithString(0, (CFStringRef)inString, 0);
     48   [self addObject:url];
     49   return url; // no-warning
     50 }
     51 
     52 - (NSURL *)getMethod2:(NSString *)inString
     53 {
     54   NSURL *url = (NSURL *)CFURLCreateWithString(0, (CFStringRef)inString, 0); // expected-warning{{leak}}
     55   [self addObject2:url];
     56   return url;
     57 }
     58 
     59 void testNames(NamingTest* x) {
     60   [x copyPhoto]; // expected-warning{{leak}}
     61   [x mutableCopyPhoto]; // expected-warning{{leak}}
     62   [x mutable]; // no-warning
     63   [x mutableCopying]; // no-warning
     64   [x photocopy]; // no-warning
     65   [x photoCopy]; // no-warning
     66   [x __blebPRCopy]; // no-warning
     67   [x __blebPRcopy]; // no-warning
     68   [x new_theprefixdoescount]; // expected-warning{{leak}}
     69   [x newestAwesomeStuff]; // no-warning
     70 }
     71 
     72 
     73 - (void)addObject:(id)X
     74 {
     75   myObject = X;
     76 }
     77 
     78 - (void)addObject2:(id)X
     79 {
     80   myObject = X;
     81 }
     82 
     83 @end
     84 
     85