// RUN: %clang_cc1 -fsyntax-only -verify -fobjc-default-synthesize-properties %s
// rdar://12958878

@interface NSObject @end

@protocol DVTInvalidation
- (void)invalidate;  // expected-note {{method 'invalidate' declared here}}
@property int Prop; // expected-note {{property declared here}}
@end


@protocol DVTInvalidation;

@interface IBImageCatalogDocument : NSObject <DVTInvalidation> // expected-note {{required for direct or indirect protocol 'DVTInvalidation'}}
@end

@implementation IBImageCatalogDocument // expected-warning {{auto property synthesis will not synthesize property declared in a protocol}} \ 
				       // expected-warning {{method 'invalidate' in protocol not implemented}}
@end