8210168: JCK test .vm.classfmt.ins.code__002.code__00201m1.code__00201m1 hangs with -noverify
Check for 'bc_length > 0' to handle lengths of -1.
Reviewed-by: coleenp
diff --git a/src/hotspot/share/interpreter/rewriter.cpp b/src/hotspot/share/interpreter/rewriter.cpp
index 5e7f27b..265eb64 100644
--- a/src/hotspot/share/interpreter/rewriter.cpp
+++ b/src/hotspot/share/interpreter/rewriter.cpp
@@ -400,7 +400,9 @@
}
}
- assert(bc_length != 0, "impossible bytecode length");
+ // Continuing with an invalid bytecode will fail in the loop below.
+ // So guarantee here.
+ guarantee(bc_length > 0, "Verifier should have caught this invalid bytecode");
switch (c) {
case Bytecodes::_lookupswitch : {
