ObjCProperties.m revision cdc3a89d5de90b2299c56f4a46c3de590c5184d1 
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