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