Fix continue condition of memcmp to compare i+2 and n
MODIFY
ir/instr.cpp
ir/instr.cpp
@@ -2498,7 +2498,7 @@ StateValue Memcmp::toSMT(State &s) const {
auto val_eq = val1.value == val2.value;
return { expr::mkIf(val_eq, zero, result_neq),
move(ub_and),
- val_eq && vn.uge(i) };
+ val_eq && vn.uge(i + 2) };
};
auto [val, ub]
= LoopLikeFunctionApproximator(ith_exec).encode(s, memcmp_unroll_cnt);

Fix continue condition of memcmp to compare i+2 and n (#373)