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