fix crash.. gah
MODIFY
ir/instr.cpp
ir/instr.cpp
@@ -1944,7 +1944,7 @@ StateValue ICmp::toSMT(State &s) const {
};
if (isPtrCmp()) {
- fn = [&](const expr &av, const expr &bv, Cond cond) {
+ fn = [&s, fn](const expr &av, const expr &bv, Cond cond) {
Pointer lhs(s.getMemory(), av);
Pointer rhs(s.getMemory(), bv);
return fn(lhs.getAddress(), rhs.getAddress(), cond);

fix crash.. gah