1 // RUN: %clang_cc1 -analyze -analyzer-checker=core,unix -verify %s 2 // expected-no-diagnostics 3 4 // Testing core functionality of the SValBuilder. 5 6 int 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. 12 void pr15863() { 13 extern int getBool(); 14 _Bool a = getBool(); 15 (void)!a; // no-warning 16 } 17
