16 lines · c
1// RUN: %clang_analyze_cc1 %s \2// RUN: -analyzer-checker=core \3// RUN: -analyzer-checker=debug.ExprInspection \4// RUN: -verify5 6// Here, we test that svalbuilder simplification does not produce any7// assertion failure.8 9// expected-no-diagnostics10 11void crashing(long a, _Bool b) {12 (void)(a & 1 && 0);13 b = a & 1;14 (void)(b << 1);15}16