提交 f1f1964f 编写于 作者: K kamg

6692246: Regression : JDK 6u4 b01 fails two JCK tests when fallback is switched off

Summary: Added a clause to allow null to be an operand to the arraylength bytecode
Reviewed-by: sbohne, coleenp
上级 86d7af1c
...@@ -1205,7 +1205,7 @@ void ClassVerifier::verify_method(methodHandle m, TRAPS) { ...@@ -1205,7 +1205,7 @@ void ClassVerifier::verify_method(methodHandle m, TRAPS) {
case Bytecodes::_arraylength : case Bytecodes::_arraylength :
type = current_frame.pop_stack( type = current_frame.pop_stack(
VerificationType::reference_check(), CHECK_VERIFY(this)); VerificationType::reference_check(), CHECK_VERIFY(this));
if (!type.is_array()) { if (!(type.is_null() || type.is_array())) {
verify_error(bci, bad_type_msg, "arraylength"); verify_error(bci, bad_type_msg, "arraylength");
} }
current_frame.push_stack( current_frame.push_stack(
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册