ObjCProperties.m revision a4c7a4314ffbe402091695874e93d9b0a79c8099
1// RUN: %clang_cc1 -analyze -analyzer-checker=core,core.experimental -analyzer-store=region -analyzer-constraints=basic %s -verify 2// RUN: %clang_cc1 -analyze -analyzer-checker=core,core.experimental -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