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