1 // RUN: %clang --analyze %s -o %t -Xclang -verify 2 // expected-no-diagnostics 3 4 // Test handling of ObjC bool literals. 5 6 typedef signed char BOOL; 7 8 void rdar_10597458() { 9 if (__objc_yes) 10 return; 11 int *p = 0; 12 *p = 0xDEADBEEF; // no-warning 13 } 14 15 void 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
