mark_ptr_or_null_regs
mark_ptr_or_null_regs(this_branch, insn->dst_reg,
mark_ptr_or_null_regs(other_branch, insn->dst_reg,