1 // RUN: %clang_cc1 -analyze -analyzer-checker=core,alpha.core -analyzer-store=region -analyzer-constraints=range -Wno-objc-root-class %s -verify 2 // expected-no-diagnostics 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
