Clang Project

clang_source_code/test/Analysis/self-init.m
1// RUN: %clang_analyze_cc1 -analyzer-checker=osx.cocoa.SelfInit -analyzer-config ipa=dynamic -fno-builtin %s -verify
2// RUN: %clang_analyze_cc1 -analyzer-checker=osx.cocoa.SelfInit -fno-builtin %s -verify
3
4@class NSZone, NSCoder;
5@protocol NSObject
6- (id)self;
7@end
8@protocol NSCopying  - (id)copyWithZone:(NSZone *)zone;
9@end 
10@protocol NSMutableCopying  - (id)mutableCopyWithZone:(NSZone *)zone;
11@end 
12@protocol NSCoding  - (void)encodeWithCoder:(NSCoder *)aCoder;
13@end
14@interface NSObject <NSObject> {}
15+ (id)allocWithZone:(NSZone *)zone;
16+ (id)alloc;
17- (void)dealloc;
18-(id)class;
19-(id)init;
20-(id)release;
21@end
22@interface NSProxy <NSObject> {}
23@end
24
25//#import "Foundation/NSObject.h"
26typedef unsigned NSUInteger;
27typedef long NSInteger;
28
29@interface NSInvocation : NSObject {}
30- (void)getArgument:(void *)argumentLocation atIndex:(NSInteger)idx;
31- (void)setArgument:(void *)argumentLocation atIndex:(NSInteger)idx;
32@end
33
34@class NSMethodSignature, NSCoder, NSString, NSEnumerator;
35@interface NSString : NSObject <NSCopying, NSMutableCopying, NSCoding>
36- (NSUInteger)length;
37+ (id)stringWithUTF8String:(const char *)nullTerminatedCString;
38@end extern NSString * const NSBundleDidLoadNotification;
39@interface NSAssertionHandler : NSObject {}
40+ (NSAssertionHandler *)currentHandler;
41- (void)handleFailureInMethod:(SEL)selector object:(id)object file:(NSString *)fileName lineNumber:(NSInteger)line description:(NSString *)format,...;
42@end
43extern NSString * const NSConnectionReplyMode;
44
45@interface NSBundle : NSObject
46+(id)loadNibNamed:(NSString*)s owner:(id)o;
47@end
48
49void log(void *obj);
50extern void *somePtr;
51
52@class MyObj;
53extern id _commonInit(MyObj *self);
54
55@interface MyObj : NSObject {
56 id myivar;
57 int myint;
58}
59-(id)_init;
60-(id)initWithSomething:(int)x;
61-(void)doSomething;
62+(id)commonInitMember:(id)s;
63@end
64
65@interface MyProxyObj : NSProxy {}
66-(id)init;
67@end
68
69@implementation MyObj
70
71-(id)init {
72  do { if (!((somePtr != 0))) { [[NSAssertionHandler currentHandler] handleFailureInMethod:_cmd object:self file:[NSString stringWithUTF8String:"init.m"] lineNumber:21 description:(@"Invalid parameter not satisfying: %s"), ("x != 0"), (0), (0), (0), (0)]; } } while(0);
73  return [self initWithSomething:0];
74}
75
76-(id)init2 {
77  self = [self initWithSomething:0];
78  return self;
79}
80
81-(id)init3 {
82 log([self class]);
83 return [self initWithSomething:0];
84}
85
86-(id)init4 {
87 self = [super init];
88 if (self) {
89 log(&self);
90 }
91 return self;
92}
93
94-(id)init4_w {
95  [super init];
96  if (self) {
97    log(&self);
98  }
99  return self; // expected-warning {{Returning 'self' while it is not set to the result of '[(super or self) init...]'}}
100}
101
102- (id)initWithSomething:(int)x {    
103 if ((self = [super init]))
104 myint = x;
105 return self;
106}
107
108-(id)_init {
109 myivar = 0;
110 return self;
111}
112
113-(id)init5 {
114  [NSBundle loadNibNamed:@"Window" owner:self];
115  return [self initWithSomething:0];
116}
117
118-(id)init6 {
119  [NSBundle loadNibNamed:@"Window" owner:myivar]; // no-warning
120  return [self initWithSomething:0];
121}
122
123-(id)init7 {
124  if (0 != (self = [self _init]))
125    myivar = 0;
126  return self;
127}
128
129-(id)init8 {
130    if ((self = [super init])) {
131 log(&self);
132 myivar = 0;
133    }
134    return self;
135}
136
137-(id)init9 {
138  [self doSomething];
139  return self; // no-warning
140}
141
142-(id)init10 {
143  myivar = 0; // no-warning
144  return self;
145}
146
147-(id)init11 {
148  return self; // no-warning
149}
150
151-(id)init12 {
152 [super init];
153 return self; // expected-warning {{Returning 'self'}}
154}
155
156-(id)init13 {
157 if (self == [super init]) {
158   myivar = 0; // expected-warning {{Instance variable used}}
159 }
160 return self; // expected-warning {{Returning 'self'}}
161}
162
163-(id)init14 {
164  if (!(self = _commonInit(self)))
165    return 0;
166  return self;
167}
168
169-(id)init14_w {
170  [super init];
171  self = _commonInit(self);
172  return self; // expected-warning {{Returning 'self' while it is not set to the result of '[(super or self) init...]'}}
173}
174
175-(id)init15 {
176  if (!(self = [super init]))
177    return 0;
178  return self;
179}
180
181-(id)init16 {
182  somePtr = [super init];
183  self = somePtr;
184  myivar = 0; 
185  return self;
186}
187
188-(id)init17 {
189  somePtr = [super init];
190  myivar = 0; // expected-warning {{Instance variable used}}
191  return 0;
192}
193
194-(id)init18 {
195  self = [super init];
196  self = _commonInit(self);
197  return self;
198}
199
200+(id)commonInitMember:(id)s {
201  return s;
202}
203
204-(id)init19 {
205  self = [super init];
206  self = [MyObj commonInitMember:self];
207  return self;
208}
209
210-(id)init19_w {
211  [super init];
212  self = [MyObj commonInitMember:self];
213  return self; // expected-warning {{Returning 'self'}}
214}
215
216-(void)doSomething {}
217
218@end
219
220@implementation MyProxyObj
221
222- (id)init { return self; }
223
224@end
225
226
227// Test for radar://10973514 : self should not be invalidated by a method call.
228@interface Test : NSObject {
229    NSInvocation *invocation_;
230}
231@end
232@implementation Test
233-(id) initWithTarget:(id) rec selector:(SEL) cb {
234  if (self=[super init]) {
235    [invocation_ setArgument:&self atIndex:2];
236  }   
237  return self;
238}
239@end
240
241// Test radar:11235991 - passing self to a call to super.
242@protocol MyDelegate
243@end
244@interface Object : NSObject
245- (id) initWithObject: (id)i;
246@end
247@interface Derived: Object <MyDelegate>
248- (id) initWithInt: (int)t;
249@property (nonatomic, retain, readwrite) Object *size;
250@end
251@implementation Derived 
252- (id) initWithInt: (int)t {
253   if ((self = [super initWithObject:self])) {
254      _size = [[Object alloc] init];
255   }
256   return self;
257}
258@end
259
260// Test for radar://11125870: init constructing a special instance.
261typedef signed char BOOL;
262@interface MyClass : NSObject
263@end
264@implementation MyClass
265+ (id)specialInstance {
266    return [[MyClass alloc] init];
267}
268- (id)initSpecially:(BOOL)handleSpecially {
269    if ((self = [super init])) {
270        if (handleSpecially) {
271            self = [MyClass specialInstance];
272        }
273    }
274    return self;
275}
276- (id)initSelfSelf {
277    if ((self = [super init])) {
278      self = self;
279    }
280    return self;
281}
282@end
283
284// Test for radar://12838705.
285@interface ABCClass : NSObject
286@property (nonatomic, strong) NSString *foo;
287@property (nonatomic, strong) NSString *bar;
288@property (nonatomic, strong) NSString *baz;
289@end
290
291@implementation ABCClass
292@synthesize foo = foo_;
293@synthesize bar = bar_;
294@synthesize baz = baz_;
295
296- (id)initWithABC:(ABCClass *)abc {
297  self = [super init];
298  baz_ = abc->baz_;
299  return self;
300}
301
302- (ABCClass *)abcWithFoo:(NSString *)foo {
303  ABCClass *copy = [[ABCClass alloc] initWithABC:self];
304  return copy;
305}
306
307@end
308
309
CodeThinker, Enjoy your reading code