| // RUN: %clang_cc1 -triple x86_64-apple-darwin11 -fobjc-runtime-has-weak -fobjc-arc -fsyntax-only -verify -Wno-objc-root-class %s |
| // expected-no-diagnostics |
| |
| @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 |
