bump number of undef vars per instructions to 32 because of function calls
32 is enough for everybody (tm)
MODIFY
ir/state.h
ir/state.h
@@ -68,7 +68,7 @@ private:
// temp state
DomainTy domain;
std::set<smt::expr> undef_vars;
- std::array<StateValue, 8> tmp_values;
+ std::array<StateValue, 32> tmp_values;
unsigned i_tmp_values = 0; // next available position in tmp_values
smt::expr return_domain;

bump number of undef vars per instructions to 32 because of function calls
32 is enough for everybody (tm)