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