| // RUN: %clang_cc1 -fsyntax-only -verify %s | |
| // expected-no-diagnostics | |
| @interface Root | |
| -(id) alloc; | |
| -(id) init; | |
| @end | |
| @interface A : Root { | |
| int x; | |
| int z; | |
| } | |
| @property int x; | |
| @property int y; | |
| @property int z; | |
| @property(readonly) int ro, ro2; | |
| @property (class) int c; | |
| @end | |
| @implementation A | |
| @dynamic x; | |
| @synthesize z; | |
| @dynamic c; | |
| @end | |
| int test(void) { | |
| A *a = [[A alloc] init]; | |
| return a.x; | |
| } |