# HG changeset patch
# User morris
# Date 1363444754 25200
# Node ID 96ef09c26978b48d446df774b59feac2e394a0f1
# Parent  f3d486462d36d78b71aba51dfe75b3bde4213a6b
8009166: [parfait] Null pointer deference in hotspot/src/share/vm/opto/type.cpp
Summary: add guarantee() to as_instance_type()
Reviewed-by: kvn, twisti

diff -r f3d486462d36 -r 96ef09c26978 src/share/vm/opto/type.cpp
--- a/src/share/vm/opto/type.cpp	Fri Mar 15 18:44:08 2013 -0700
+++ b/src/share/vm/opto/type.cpp	Sat Mar 16 07:39:14 2013 -0700
@@ -4193,6 +4193,7 @@
   bool    xk = klass_is_exact();
   //return TypeInstPtr::make(TypePtr::NotNull, k, xk, NULL, 0);
   const TypeOopPtr* toop = TypeOopPtr::make_from_klass_raw(k);
+  guarantee(toop != NULL, "need type for given klass");
   toop = toop->cast_to_ptr_type(TypePtr::NotNull)->is_oopptr();
   return toop->cast_to_exactness(xk)->is_oopptr();
 }