message: "Clear" RESULT_REGISTER in type inference
  Summary: Reset the result-register state after any instruction that does not have a move-result (regular or pseudo). Any such instruction will clobber the virtual register, so do not allow passing stale state.
diff: @@ -1060,6 +1060,12 @@ void TypeInference::analyze_instruction(const IRInstruction* insn,
  break;
  }
  }
  +
  + // If the opcode does not set the RESULT_REGISTER, clear it.
  + if (!insn->has_move_result_any()) {
  + set_type(current_state, RESULT_REGISTER, TypeDomain::top());
  + current_state->reset_dex_type(RESULT_REGISTER);
  + }
  }
  void TypeInference::print(std::ostream& output) const {
  