ObjCProperties.m revision b6b81d1047aeec4f15b90ca1b9d4d7fcff154f7d 
1// RUN: clang -checker-simple %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, readonly) 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