test/Analysis/objc-bool.m


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 -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
  }
}