24 lines · plain
1// RUN: %clang_analyze_cc1 %s -o %t -verify2// expected-no-diagnostics3 4// Test handling of ObjC bool literals.5 6typedef signed char BOOL;7 8void rdar_10597458(void) {9 if (__objc_yes)10 return;11 int *p = 0;12 *p = 0xDEADBEEF; // no-warning13}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-warning22 }23}24