Lines Matching defs:cross_check
53 const TypePtr* cross_check = NULL;
54 DEBUG_ONLY(cross_check = _adr_type);
55 return calculate_adr_type(adr->bottom_type(), cross_check);
620 const TypePtr* MemNode::calculate_adr_type(const Type* t, const TypePtr* cross_check) {
623 cross_check = NULL;
625 if (!VerifyAliases || is_error_reported() || Node::in_dump()) cross_check = NULL;
629 assert(cross_check == NULL || cross_check == TypePtr::BOTTOM, "expected memory type must be wide");
633 // %%%% [phh] We don't check the alias index if cross_check is
635 if (cross_check != NULL &&
636 cross_check != TypePtr::BOTTOM &&
637 cross_check != TypeRawPtr::BOTTOM) {
640 assert(C->get_alias_index(cross_check) == C->get_alias_index(tp),
646 assert(cross_check->meet(tp_notnull) == cross_check,