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