| 1 | // RUN: %clang_cc1 -fsyntax-only -verify -Wno-objc-root-class %s |
| 2 | |
| 3 | @protocol P |
| 4 | @property(readonly) int X; // expected-note {{property declared here}} |
| 5 | @end |
| 6 | |
| 7 | @protocol P1<P> |
| 8 | @property (copy) id ID; |
| 9 | @end |
| 10 | |
| 11 | @interface I |
| 12 | @end |
| 13 | |
| 14 | @interface I (Cat) <P> |
| 15 | @property float X; // expected-warning {{property type 'float' is incompatible with type 'int' inherited from 'P'}} |
| 16 | @end |
| 17 | |
| 18 | @interface I (Cat2) <P1> |
| 19 | @property (retain) id ID; // expected-warning {{'copy' attribute on property 'ID' does not match the property inherited from 'P1'}} |
| 20 | @end |
| 21 | |
| 22 | |
| 23 | @interface A |
| 24 | @property(assign) int categoryProperty; |
| 25 | @end |
| 26 | |
| 27 | // Don't issue warning on unimplemented setter/getter |
| 28 | // because property is @dynamic. |
| 29 | @implementation A |
| 30 | @dynamic categoryProperty; |
| 31 | @end |
| 32 | |