diff src/share/vm/opto/chaitin.hpp @ 570:dca06e7f503d

Merge
author kvn
date Tue, 17 Feb 2009 14:30:24 -0800
parents 91263420e1c6
children 0fbdb4381b99 98cb887364d3
line wrap: on
line diff
--- a/src/share/vm/opto/chaitin.hpp	Tue Feb 10 18:39:09 2009 +0300
+++ b/src/share/vm/opto/chaitin.hpp	Tue Feb 17 14:30:24 2009 -0800
@@ -491,6 +491,8 @@
   // Verify that base pointers and derived pointers are still sane
   void verify_base_ptrs( ResourceArea *a ) const;
 
+  void verify( ResourceArea *a, bool verify_ifg = false ) const;
+
   void dump_for_spill_split_recycle() const;
 
 public: