ObjCProperties.m revision 033a07e5fca459ed184369cfee7c90d82367a93a
1// RUN: %clang_cc1 -analyze -analyzer-checker=core,experimental.core -analyzer-store=region -analyzer-constraints=basic %s -verify 2// RUN: %clang_cc1 -analyze -analyzer-checker=core,experimental.core -analyzer-store=region -analyzer-constraints=range %s -verify 3 4// The point of this test cases is to exercise properties in the static 5// analyzer 6 7@interface MyClass { 8@private 9 id _X; 10} 11- (id)initWithY:(id)Y; 12@property(copy, readwrite) id X; 13@end 14 15@implementation MyClass 16@synthesize X = _X; 17- (id)initWithY:(id)Y { 18 self.X = Y; 19 return self; 20} 21@end 22