1*67e74705SXin Li// RUN: %clang_cc1 -fsyntax-only -verify %s 2*67e74705SXin Li// rdar://12958878 3*67e74705SXin Li 4*67e74705SXin Li@interface NSObject @end 5*67e74705SXin Li 6*67e74705SXin Li@protocol DVTInvalidation 7*67e74705SXin Li- (void)invalidate; // expected-note {{method 'invalidate' declared here}} 8*67e74705SXin Li@property int Prop; // expected-note {{property declared here}} 9*67e74705SXin Li@end 10*67e74705SXin Li 11*67e74705SXin Li 12*67e74705SXin Li 13*67e74705SXin Li@protocol DVTInvalidation; 14*67e74705SXin Li 15*67e74705SXin Li@interface IBImageCatalogDocument : NSObject <DVTInvalidation> 16*67e74705SXin Li@end 17*67e74705SXin Li 18*67e74705SXin Li@implementation IBImageCatalogDocument // expected-warning {{auto property synthesis will not synthesize property 'Prop' declared in protocol 'DVTInvalidation'}} \ 19*67e74705SXin Li // expected-warning {{method 'invalidate' in protocol 'DVTInvalidation' not implemented}} 20*67e74705SXin Li@end 21