17 lines · c
1// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix -Wno-pointer-to-int-cast -verify %s2// expected-no-diagnostics3 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=1586311// Don't crash when mixing 'bool' and 'int' in implicit comparisons to 0.12void pr15863(void) {13 extern int getBool(void);14 _Bool a = getBool();15 (void)!a; // no-warning16}17