// 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;
}