diff options
| -rw-r--r-- | runtime/verifier/method_verifier.cc | 20 |
1 files changed, 16 insertions, 4 deletions
diff --git a/runtime/verifier/method_verifier.cc b/runtime/verifier/method_verifier.cc index ef6b34322f..c21a7a43f9 100644 --- a/runtime/verifier/method_verifier.cc +++ b/runtime/verifier/method_verifier.cc @@ -3530,12 +3530,24 @@ void MethodVerifier::VerifyPrimitivePut(RegType& target_type, RegType& insn_type value_compatible = value_type.IsFloatTypes(); } else if (target_type.IsLong()) { instruction_compatible = insn_type.IsLong(); - RegType& value_type_hi = work_line_->GetRegisterType(vregA + 1); - value_compatible = value_type.IsLongTypes() && value_type.CheckWidePair(value_type_hi); + // Additional register check: this is not checked statically (as part of VerifyInstructions), + // as target_type depends on the resolved type of the field. + if (instruction_compatible && work_line_->NumRegs() > vregA + 1) { + RegType& value_type_hi = work_line_->GetRegisterType(vregA + 1); + value_compatible = value_type.IsLongTypes() && value_type.CheckWidePair(value_type_hi); + } else { + value_compatible = false; + } } else if (target_type.IsDouble()) { instruction_compatible = insn_type.IsLong(); // no put-double, so expect put-long - RegType& value_type_hi = work_line_->GetRegisterType(vregA + 1); - value_compatible = value_type.IsDoubleTypes() && value_type.CheckWidePair(value_type_hi); + // Additional register check: this is not checked statically (as part of VerifyInstructions), + // as target_type depends on the resolved type of the field. + if (instruction_compatible && work_line_->NumRegs() > vregA + 1) { + RegType& value_type_hi = work_line_->GetRegisterType(vregA + 1); + value_compatible = value_type.IsDoubleTypes() && value_type.CheckWidePair(value_type_hi); + } else { + value_compatible = false; + } } else { instruction_compatible = false; // reference with primitive store value_compatible = false; // unused |