1// RUN: %clang_cc1 -analyze -analyze-function="myMethodWithY:withX:" -analyzer-checker=core,osx.cocoa.RetainCount -analyzer-store=region -verify %s
2
3typedef signed char BOOL;
4typedef unsigned int NSUInteger;
5typedef struct _NSZone NSZone;
6@class NSInvocation, NSMethodSignature, NSCoder, NSString, NSEnumerator;
7@protocol NSObject  - (BOOL)isEqual:(id)object; @end
8@protocol NSCopying  - (id)copyWithZone:(NSZone *)zone; @end
9@protocol NSCoding  - (void)encodeWithCoder:(NSCoder *)aCoder; @end
10@protocol NSMutableCopying  - (id)mutableCopyWithZone:(NSZone *)zone; @end
11@interface NSObject <NSObject> {}
12+(id)alloc;
13-(id)init;
14-(id)autorelease;
15-(id)copy;
16-(id)retain;
17@end
18@interface NSString : NSObject <NSCopying, NSMutableCopying, NSCoding>
19- (NSUInteger)length;
20-(id)initWithFormat:(NSString *)f,...;
21-(BOOL)isEqualToString:(NSString *)s;
22+ (id)string;
23@end
24
25@interface Test1 : NSObject {
26  NSString *text;
27}
28-(id)myMethod;
29-(id)myMethodWithY:(int)Y withX:(int)X;
30
31@property (nonatomic, assign) NSString *text;
32@end
33
34@implementation Test1
35
36@synthesize text;
37
38-(id)myMethod {
39  Test1 *cell = [[[Test1 alloc] init] autorelease];
40
41  NSString *string1 = [[NSString alloc] initWithFormat:@"test %f", 0.0]; // No warning: this function is not analized.
42  cell.text = string1;
43
44  return cell;
45}
46
47-(id)myMethodWithY:(int)Y withX:(int)X {
48  Test1 *cell = [[[Test1 alloc] init] autorelease];
49
50  NSString *string1 = [[NSString alloc] initWithFormat:@"test %f %d", 0.0, X+Y]; // expected-warning {{Potential leak}}
51  cell.text = string1;
52
53  return cell;
54}
55
56@end
57