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