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