// RUN: %clang_cc1 -fsyntax-only -Wimplicit-atomic-properties -fobjc-default-synthesize-properties -verify -Wno-objc-root-class %s
// rdar://8774580

@interface Super
@property (nonatomic, readwrite) int P; // OK
@property (atomic, readwrite) int P1; // OK
@property (readwrite) int P2; // expected-note {{property declared here}}
@property int P3; // expected-note {{property declared here}}
@end

@implementation Super // expected-warning {{property is assumed atomic when auto-synthesizing the property}}
@synthesize P,P1,P2; // expected-warning {{property is assumed atomic by default}}
@end