clang/test/Analysis/svalbuilder-logic.c

   1 // RUN: %clang_analyze_cc1 -analyzer-checker=core,unix -Wno-pointer-to-int-cast -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(void) {
  13   extern int getBool(void);
  14   _Bool a = getBool();
  15   (void)!a; // no-warning
  16 }