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