*** old/src/share/vm/opto/parse1.cpp	Tue Apr 30 19:32:22 2013
--- new/src/share/vm/opto/parse1.cpp	Tue Apr 30 19:32:22 2013

*** 388,397 ****
--- 388,398 ----
    _caller = caller;
    _method = parse_method;
    _expected_uses = expected_uses;
    _depth = 1 + (caller->has_method() ? caller->depth() : 0);
    _wrote_final = false;
+   _alloc_with_final = NULL;
    _entry_bci = InvocationEntryBci;
    _tf = NULL;
    _block = NULL;
    debug_only(_block_count = -1);
    debug_only(_blocks = (Block*)-1);

*** 721,730 ****
--- 722,733 ----
    _exits.set_control(region);
  
    // Note:  iophi and memphi are not transformed until do_exits.
    Node* iophi  = new (C) PhiNode(region, Type::ABIO);
    Node* memphi = new (C) PhiNode(region, Type::MEMORY, TypePtr::BOTTOM);
+   gvn().set_type_bottom(iophi);
+   gvn().set_type_bottom(memphi);
    _exits.set_i_o(iophi);
    _exits.set_all_memory(memphi);
  
    // Add a return value to the exit state.  (Do not push it yet.)
    if (tf()->range()->cnt() > TypeFunc::Parms) {

*** 736,745 ****
--- 739,749 ----
      if (ret_oop_type && !ret_oop_type->klass()->is_loaded()) {
        ret_type = TypeOopPtr::BOTTOM;
      }
      int         ret_size = type2size[ret_type->basic_type()];
      Node*       ret_phi  = new (C) PhiNode(region, ret_type);
+     gvn().set_type_bottom(ret_phi);
      _exits.ensure_stack(ret_size);
      assert((int)(tf()->range()->cnt() - TypeFunc::Parms) == ret_size, "good tf range");
      assert(method()->return_type()->size() == ret_size, "tf agrees w/ method");
      _exits.set_argument(0, ret_phi);  // here is where the parser finds it
      // Note:  ret_phi is not yet pushed, until do_exits.

*** 915,925 ****
--- 919,929 ----
      // "All bets are off" unless the first publication occurs after a
      // normal return from the constructor.  We do not attempt to detect
      // such unusual early publications.  But no barrier is needed on
      // exceptional returns, since they cannot publish normally.
      //
!     _exits.insert_mem_bar(Op_MemBarRelease, alloc_with_final());
  #ifndef PRODUCT
      if (PrintOpto && (Verbose || WizardMode)) {
        method()->print_name();
        tty->print_cr(" writes finals and needs a memory barrier");
      }