| // RUN: %clang_cc1 -verify %s |
| |
| @interface Object |
| @end |
| |
| @protocol ProtocolObject |
| @property int class; |
| @property (copy) id MayCauseError; |
| @end |
| |
| @protocol ProtocolDerivedGCObject <ProtocolObject> |
| @property int Dclass; |
| @end |
| |
| @interface GCObject : Object <ProtocolDerivedGCObject> { |
| int ifield; |
| int iOwnClass; |
| int iDclass; |
| } |
| @property int OwnClass; |
| @end |
| |
| @interface ReleaseObject : GCObject <ProtocolObject> { |
| int newO; |
| int oldO; |
| } |
| @property (retain) id MayCauseError; // expected-warning {{'copy' attribute on property 'MayCauseError' does not match the property inherited from 'ProtocolObject'}} |
| @end |
| |