src/hotspot/share/classfile/verifier.cpp

@@ -2314,10 +2314,11 @@
     }
     case Bytecodes::_withfield: {
       for (int i = n - 1; i >= 0; i--) {
         current_frame->pop_stack(field_type[i], CHECK_VERIFY(this));
       }
+      stack_object_type = current_frame->pop_stack(CHECK_VERIFY(this));
       current_frame->push_stack(target_class_type, CHECK_VERIFY(this));
       break;
     }
     case Bytecodes::_getfield: {
       stack_object_type = current_frame->pop_stack(