1// RUN: %clang_cc1 -analyze -analyzer-checker=core,unix -verify %s 2// expected-no-diagnostics 3 4// Testing core functionality of the SValBuilder. 5 6int SValBuilderLogicNoCrash(int *x) { 7 return 3 - (int)(x +3); 8} 9 10// http://llvm.org/bugs/show_bug.cgi?id=15863 11// Don't crash when mixing 'bool' and 'int' in implicit comparisons to 0. 12void pr15863() { 13 extern int getBool(); 14 _Bool a = getBool(); 15 (void)!a; // no-warning 16} 17