// RUN: %clang_analyze_cc1 %s \ | |
// RUN: -analyzer-checker=core \ | |
// RUN: -analyzer-checker=debug.ExprInspection \ | |
// RUN: -verify | |
// Here, we test that svalbuilder simplification does not produce any | |
// assertion failure. | |
void crashing(long a, _Bool b) { | |
(void)(a & 1 && 0); | |
b = a & 1; | |
(void)(b << 1); // expected-warning{{core.UndefinedBinaryOperatorResult}} | |
} |