state: bump max number of tmp exprs to 64
32 wasn't enough for ph7
MODIFY
ir/state.cpp
ir/state.cpp
@@ -84,6 +84,7 @@ const StateValue& State::operator[](const Value &val) {
undef_vars.emplace(move(p.second));
}
+ assert(i_tmp_values < tmp_values.size());
return tmp_values[i_tmp_values++] = move(sval_new);
}

MODIFY
ir/state.h
ir/state.h
@@ -78,7 +78,7 @@ private:
CurrentDomain domain;
Memory memory;
std::set<smt::expr> undef_vars;
- std::array<StateValue, 32> tmp_values;
+ std::array<StateValue, 64> tmp_values;
unsigned i_tmp_values = 0; // next available position in tmp_values
// return_domain: a boolean expression describing return condition

state: bump max number of tmp exprs to 64
32 wasn't enough for ph7