1*67e74705SXin Li// RUN: %clang_cc1 -Wno-objc-root-class -verify %s 2*67e74705SXin Li// rdar://11273060 3*67e74705SXin Li 4*67e74705SXin Li@interface I 5*67e74705SXin Li- (void) setP : (int)arg; 6*67e74705SXin Li@end 7*67e74705SXin Li 8*67e74705SXin Li@interface J 9*67e74705SXin Li - (int) P; 10*67e74705SXin Li@end 11*67e74705SXin Li 12*67e74705SXin Li@interface K @end 13*67e74705SXin Li 14*67e74705SXin Li@interface II @end 15*67e74705SXin Li 16*67e74705SXin Li@implementation II 17*67e74705SXin Li- (void) Meth : (I*) arg { 18*67e74705SXin Li arg.P++; // expected-error {{no getter method 'P' for increment of property}} 19*67e74705SXin Li --arg.P; // expected-error {{no getter method 'P' for decrement of property}} 20*67e74705SXin Li} 21*67e74705SXin Li- (void) Meth1 : (J*) arg { 22*67e74705SXin Li arg.P++; // expected-error {{no setter method 'setP:' for increment of property}} 23*67e74705SXin Li arg.P--; // expected-error {{no setter method 'setP:' for decrement of property}} 24*67e74705SXin Li} 25*67e74705SXin Li 26*67e74705SXin Li- (void) Meth2 : (K*) arg { 27*67e74705SXin Li arg.P++; // expected-error {{property 'P' not found on object of type 'K *'}} 28*67e74705SXin Li arg.P--; // expected-error {{property 'P' not found on object of type 'K *'}} 29*67e74705SXin Li} 30*67e74705SXin Li@end 31