16 lines · c
1// RUN: env Z3_SOLVER_RESULTS="SAT,SAT,SAT,SAT,UNDEF" \2// RUN: LD_PRELOAD="%llvmshlibdir/MockZ3SolverCheck%pluginext" \3// RUN: %clang_analyze_cc1 -analyzer-constraints=z3 \4// RUN: -analyzer-checker=core %s -verify5//6// REQUIRES: z3, z3-mock, asserts, shell, system-linux7//8// Works only with the z3 constraint manager.9// expected-no-diagnostics10 11void D83660(int b) {12 if (b) {13 }14 (void)b; // no-crash15}16