// RUN: clang -analyze -checker-simple %s -verify && | |
// RUN: clang -analyze -checker-cfref -analyzer-store-basic %s -verify && | |
// RUN: clang -analyze -checker-cfref -analyzer-store-region %s -verify | |
// The point of this test cases is to exercise properties in the static | |
// analyzer | |
@interface MyClass { | |
@private | |
id _X; | |
} | |
- (id)initWithY:(id)Y; | |
@property(copy, readwrite) id X; | |
@end | |
@implementation MyClass | |
@synthesize X = _X; | |
- (id)initWithY:(id)Y { | |
self.X = Y; | |
return self; | |
} | |
@end |