src/share/vm/opto/type.cpp

@@ -259,11 +259,15 @@
   case T_ADDRESS:
     assert(type->is_return_address(), "");
     return TypeRawPtr::make((address)(intptr_t)type->as_return_address()->bci());
 
   case T_VALUETYPE:
+    if (type == ciEnv::current()->___Value_klass()) {
+      return TypeValueTypePtr::NOTNULL;
+    } else {
     return TypeValueType::make(type->as_value_klass());
+    }
 
   default:
     // make sure we did not mix up the cases:
     assert(type != ciTypeFlow::StateVector::bottom_type(), "");
     assert(type != ciTypeFlow::StateVector::top_type(), "");