src/java.base/share/native/libverify/check_code.c

*** 2143,12 ***
                                  MAKE_FULLINFO(ITEM_ReturnAddress, 0, 0))
                          && (opcode == JVM_OPC_astore))
                          break;
                      if (   (GET_ITEM_TYPE(top_type) == ITEM_NewObject
                              || (GET_ITEM_TYPE(top_type) == ITEM_InitObject))
!                         && ((opcode == JVM_OPC_astore) || (opcode == JVM_OPC_aload)
-                             || (opcode == JVM_OPC_ifnull) || (opcode == JVM_OPC_ifnonnull)))
                          break;
                      /* The 2nd edition VM of the specification allows field
                       * initializations before the superclass initializer,
                       * if the field is defined within the current class.
                       */
--- 2143,11 ---
                                  MAKE_FULLINFO(ITEM_ReturnAddress, 0, 0))
                          && (opcode == JVM_OPC_astore))
                          break;
                      if (   (GET_ITEM_TYPE(top_type) == ITEM_NewObject
                              || (GET_ITEM_TYPE(top_type) == ITEM_InitObject))
!                         && ((opcode == JVM_OPC_astore) || (opcode == JVM_OPC_aload)))
                          break;
                      /* The 2nd edition VM of the specification allows field
                       * initializations before the superclass initializer,
                       * if the field is defined within the current class.
                       */