src/share/vm/opto/graphKit.hpp

*** 134,144 ****
                                          assert(jvms == this->jvms(), "sanity");
                                          _sp = jvms->sp();
                                          _bci = jvms->bci();
                                          _method = jvms->has_method() ? jvms->method() : NULL; }
    void set_map(SafePointNode* m)      { _map = m; debug_only(verify_map()); }
!   void set_sp(int sp)                 { assert(sp >= 0, err_msg_res("sp must be non-negative: %d", sp)); _sp = sp; }
    void clean_stack(int from_sp); // clear garbage beyond from_sp to top
  
    void inc_sp(int i)                  { set_sp(sp() + i); }
    void dec_sp(int i)                  { set_sp(sp() - i); }
    void set_bci(int bci)               { _bci = bci; }
--- 134,144 ----
                                          assert(jvms == this->jvms(), "sanity");
                                          _sp = jvms->sp();
                                          _bci = jvms->bci();
                                          _method = jvms->has_method() ? jvms->method() : NULL; }
    void set_map(SafePointNode* m)      { _map = m; debug_only(verify_map()); }
!   void set_sp(int sp)                 { assert(sp >= 0, "sp must be non-negative: %d", sp); _sp = sp; }
    void clean_stack(int from_sp); // clear garbage beyond from_sp to top
  
    void inc_sp(int i)                  { set_sp(sp() + i); }
    void dec_sp(int i)                  { set_sp(sp() - i); }
    void set_bci(int bci)               { _bci = bci; }
*** 352,367 ****
      assert(argument(0)->bottom_type()->isa_ptr(), "must be");
      return null_check(argument(0));
    }
    Node* zero_check_int(Node* value) {
      assert(value->bottom_type()->basic_type() == T_INT,
!         err_msg_res("wrong type: %s", type2name(value->bottom_type()->basic_type())));
      return null_check_common(value, T_INT);
    }
    Node* zero_check_long(Node* value) {
      assert(value->bottom_type()->basic_type() == T_LONG,
!         err_msg_res("wrong type: %s", type2name(value->bottom_type()->basic_type())));
      return null_check_common(value, T_LONG);
    }
    // Throw an uncommon trap if a given value is __not__ null.
    // Return the value cast to null, and be clever about dominating checks.
    Node* null_assert(Node* value, BasicType type = T_OBJECT) {
--- 352,367 ----
      assert(argument(0)->bottom_type()->isa_ptr(), "must be");
      return null_check(argument(0));
    }
    Node* zero_check_int(Node* value) {
      assert(value->bottom_type()->basic_type() == T_INT,
!            "wrong type: %s", type2name(value->bottom_type()->basic_type()));
      return null_check_common(value, T_INT);
    }
    Node* zero_check_long(Node* value) {
      assert(value->bottom_type()->basic_type() == T_LONG,
!            "wrong type: %s", type2name(value->bottom_type()->basic_type()));
      return null_check_common(value, T_LONG);
    }
    // Throw an uncommon trap if a given value is __not__ null.
    // Return the value cast to null, and be clever about dominating checks.
    Node* null_assert(Node* value, BasicType type = T_OBJECT) {