bool instanceKlass::verify_code(
    instanceKlassHandle this_oop, bool throw_verifyerror, TRAPS) {

  {- -------------------------------------------
  (1) 
      ---------------------------------------- -}

      // 1) Verify the bytecodes

  {- -------------------------------------------
  (1) (変数宣言など)
      ---------------------------------------- -}

      Verifier::Mode mode =
        throw_verifyerror ? Verifier::ThrowException : Verifier::NoException;

  {- -------------------------------------------
  (1) Verifier::verify() を呼んでバイトコードの verification を行い, 結果をリターン.
      ---------------------------------------- -}

      return Verifier::verify(this_oop, mode, this_oop->should_verify_class(), CHECK_false);
    }