1// RUN: %clang --analyze %s -o %t -Xclang -verify 2// expected-no-diagnostics 3 4// Test handling of ObjC bool literals. 5 6typedef signed char BOOL; 7 8void rdar_10597458() { 9 if (__objc_yes) 10 return; 11 int *p = 0; 12 *p = 0xDEADBEEF; // no-warning 13} 14 15void rdar_10597458_b(BOOL b) { 16 if (b == __objc_no) 17 return; 18 19 if (b == __objc_no) { 20 int *p = 0; 21 *p = 0xDEADBEEF; // no-warning 22 } 23} 24