if (scan_inst->saturate) {
inst->saturate = false;
progress = true;
- } else if (src_end_ip <= ip || inst->dst.equals(inst->src[0])) {
+ } else if (src_end_ip == ip || inst->dst.equals(inst->src[0])) {
if (scan_inst->can_do_saturate()) {
if (scan_inst->dst.type != inst->dst.type) {
scan_inst->dst.type = inst->dst.type;