Skip to main content

Browse the archive

https://github.com/epiqc/ScaffCC
05 April 2024, 19:04:42 UTC
Revision 067cc59bd7a234226b81962ea78260b95061620b authored by ah744 on 01 February 2017, 21:14:46 UTC, committed by ah744 on 01 February 2017, 21:14:46 UTC 
Afree() Implemetation Complete
1 parent 801b6f9
Raw File
Tip revision: 067cc59bd7a234226b81962ea78260b95061620b authored by ah744 on 01 February 2017, 21:14:46 UTC
Afree() Implemetation Complete
Tip revision: 067cc59
objc-bool.m 
// 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
  }
}
back to top