| // RUN: %clang_cc1 -triple x86_64-apple-darwin11 -fobjc-runtime-has-weak -fobjc-arc -fsyntax-only -verify -Wno-objc-root-class %s | |
| // rdar:// 10558871 | |
| @interface PP | |
| @property (readonly) id ReadOnlyPropertyNoBackingIvar; | |
| @property (readonly) id ReadOnlyProperty; | |
| @property (readonly) id ReadOnlyPropertyX; | |
| @end | |
| @implementation PP { | |
| __weak id _ReadOnlyProperty; | |
| } | |
| @synthesize ReadOnlyPropertyNoBackingIvar; | |
| @synthesize ReadOnlyProperty = _ReadOnlyProperty; | |
| @synthesize ReadOnlyPropertyX = _ReadOnlyPropertyX; | |
| @end |