# HG changeset patch
# User kvn
# Date 1341259183 25200
# Node ID 70862d781d013452713fe4e1aa05351dfd1e04e0
# Parent  d50605d9417eea499719ac1e134156bad3f41af6
7180769: assert(tboth->klass_is_exact()) failed: klass should be exact
Summary: Use class exactness as part of the condition for class compare optimization instead of assert.
Reviewed-by: twisti, roland

diff -r d50605d9417e -r 70862d781d01 src/share/vm/opto/parse2.cpp
--- a/src/share/vm/opto/parse2.cpp	Mon Jul 02 09:58:06 2012 +0200
+++ b/src/share/vm/opto/parse2.cpp	Mon Jul 02 12:59:43 2012 -0700
@@ -1278,9 +1278,9 @@
        // or the narrowOop equivalent.
        const Type* obj_type = _gvn.type(obj);
        const TypeOopPtr* tboth = obj_type->join(con_type)->isa_oopptr();
-       if (tboth != NULL && tboth != obj_type && tboth->higher_equal(obj_type)) {
+       if (tboth != NULL && tboth->klass_is_exact() && tboth != obj_type &&
+           tboth->higher_equal(obj_type)) {
           // obj has to be of the exact type Foo if the CmpP succeeds.
-          assert(tboth->klass_is_exact(), "klass should be exact");
           int obj_in_map = map()->find_edge(obj);
           JVMState* jvms = this->jvms();
           if (obj_in_map >= 0 &&