*** old/src/share/vm/code/nmethod.hpp	Wed Nov  6 18:35:35 2013
--- new/src/share/vm/code/nmethod.hpp	Wed Nov  6 18:35:35 2013

*** 625,637 ****
--- 625,640 ----
    // jvmti support:
    void post_compiled_method_load_event();
    jmethodID get_and_cache_jmethod_id();
  
    // verify operations
!   void verify(bool allow_safepoints);
!   void verify_scopes(bool allow_safepoints = true);
!   void verify_interrupt_point(address interrupt_point);
!   void verify_interrupt_point(address interrupt_point, bool allow_safepoints = true);
+   void verify() {
+     verify(/*allow_safepoints=*/ true);
+   }
  
    // printing support
    void print()                          const;
    void print_code();
    void print_relocations()                        PRODUCT_RETURN;