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
