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