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