diff options
| -rw-r--r-- | runtime/verifier/method_verifier.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/runtime/verifier/method_verifier.cc b/runtime/verifier/method_verifier.cc index de792cbd58..2571cf1f6c 100644 --- a/runtime/verifier/method_verifier.cc +++ b/runtime/verifier/method_verifier.cc @@ -1775,6 +1775,8 @@ bool MethodVerifier::CodeFlowVerifyInstruction(uint32_t* start_guess) { } else { work_line_->SetRegisterType(inst->VRegA_12x(), reg_types_.Integer()); } + } else { + Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "array-length on non-array " << res_type; } break; } |