clang/test/Analysis/svalbuilder-simplify-no-crash.c

   1 // RUN: %clang_analyze_cc1 %s \
   2 // RUN:   -analyzer-checker=core \
   3 // RUN:   -analyzer-checker=debug.ExprInspection \
   4 // RUN:   -verify
   5
   6 // Here, we test that svalbuilder simplification does not produce any
   7 // assertion failure.
   8
   9 void crashing(long a, _Bool b) {
  10   (void)(a & 1 && 0);
  11   b = a & 1;
  12   (void)(b << 1); // expected-warning{{core.UndefinedBinaryOperatorResult}}
  13 }