1 // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s 2 // expected-no-diagnostics 3 4 #define assert(cond) if (!(cond)) return 5 6 unsigned a, b; f(unsigned c)7 void f(unsigned c) { 8 assert(c == b); 9 assert((c | a) != a); 10 assert(a); // no-crash 11 } 12