1*67e74705SXin Li// RUN: %clang_cc1 -Wconversion -fsyntax-only %s -verify 2*67e74705SXin Li 3*67e74705SXin Litypedef signed char BOOL; 4*67e74705SXin Li__attribute__((objc_root_class)) @interface RDar14415662 5*67e74705SXin Li@property (readonly) BOOL stuff; 6*67e74705SXin Li@property (readwrite) BOOL otherStuff; 7*67e74705SXin Li@end 8*67e74705SXin Li 9*67e74705SXin Livoid radar14415662(RDar14415662 *f, char x, int y) { 10*67e74705SXin Li f.otherStuff = !f.stuff; // no-warning 11*67e74705SXin Li BOOL b = !f.stuff; // no-warning 12*67e74705SXin Li 13*67e74705SXin Li // True positive to sanity check warning is working. 14*67e74705SXin Li x = y; // expected-warning {{implicit conversion loses integer precision: 'int' to 'char'}} 15*67e74705SXin Li} 16*67e74705SXin Li 17*67e74705SXin Li 18