comparison src/share/vm/opto/type.cpp @ 8760:96ef09c26978

8009166: [parfait] Null pointer deference in hotspot/src/share/vm/opto/type.cpp Summary: add guarantee() to as_instance_type() Reviewed-by: kvn, twisti
author morris
date Sat, 16 Mar 2013 07:39:14 -0700
parents 203f64878aab
children 6f3fd5150b67
comparison
equal deleted inserted replaced
8759:f3d486462d36 8760:96ef09c26978
4191 const TypeOopPtr* TypeKlassPtr::as_instance_type() const { 4191 const TypeOopPtr* TypeKlassPtr::as_instance_type() const {
4192 ciKlass* k = klass(); 4192 ciKlass* k = klass();
4193 bool xk = klass_is_exact(); 4193 bool xk = klass_is_exact();
4194 //return TypeInstPtr::make(TypePtr::NotNull, k, xk, NULL, 0); 4194 //return TypeInstPtr::make(TypePtr::NotNull, k, xk, NULL, 0);
4195 const TypeOopPtr* toop = TypeOopPtr::make_from_klass_raw(k); 4195 const TypeOopPtr* toop = TypeOopPtr::make_from_klass_raw(k);
4196 guarantee(toop != NULL, "need type for given klass");
4196 toop = toop->cast_to_ptr_type(TypePtr::NotNull)->is_oopptr(); 4197 toop = toop->cast_to_ptr_type(TypePtr::NotNull)->is_oopptr();
4197 return toop->cast_to_exactness(xk)->is_oopptr(); 4198 return toop->cast_to_exactness(xk)->is_oopptr();
4198 } 4199 }
4199 4200
4200 4201