1// RUN: %clang_cc1  -triple x86_64-apple-darwin11 -fobjc-runtime-has-weak -fobjc-arc -fsyntax-only -verify -Wno-objc-root-class %s
2// expected-no-diagnostics
3// rdar:// 10558871
4
5@interface PP
6@property (readonly) id ReadOnlyPropertyNoBackingIvar;
7@property (readonly) id ReadOnlyProperty;
8@property (readonly) id ReadOnlyPropertyX;
9@end
10
11@implementation PP {
12__weak id _ReadOnlyProperty;
13}
14@synthesize ReadOnlyPropertyNoBackingIvar;
15@synthesize ReadOnlyProperty = _ReadOnlyProperty;
16@synthesize ReadOnlyPropertyX = _ReadOnlyPropertyX;
17@end
18