Lines Matching refs:verifier_
30 verifier_->Fail(VERIFY_ERROR_BAD_CLASS_SOFT)
41 verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Expected category1 register type not '"
45 verifier_->Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "Set register to unknown type " << new_type;
59 verifier_->Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "Invalid wide pair '"
73 result_[0] = verifier_->GetRegTypeCache()->Undefined().GetId();
81 result_[1] = verifier_->GetRegTypeCache()->Undefined().GetId();
94 verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invoke lacks 'this'";
95 return verifier_->GetRegTypeCache()->Conflict();
101 verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "tried to get class from non-reference register v"
103 return verifier_->GetRegTypeCache()->Conflict();
122 verifier_->Fail(fail_type) << "register v" << vsrc << " has type "
129 verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "wide register v" << vsrc << " has type "
147 verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "register v" << vsrc << " has type " << src_type
153 verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "wide register v" << vsrc << " has type "
166 const RegType& init_type = verifier_->GetRegTypeCache()->FromUninitialized(uninit_type);
178 uint16_t conflict_type_id = verifier_->GetRegTypeCache()->Conflict().GetId();
185 uint16_t conflict_type_id = verifier_->GetRegTypeCache()->Conflict().GetId();
194 uint16_t conflict_type_id = verifier_->GetRegTypeCache()->Conflict().GetId();
218 line_[i] = verifier_->GetRegTypeCache()->Conflict().GetId();
232 verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "copy1 v" << vdst << "<-v" << vsrc << " type=" << type
244 verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "copy2 v" << vdst << "<-v" << vsrc
252 const RegType& type = verifier_->GetRegTypeCache()->GetFromId(result_[0]);
255 verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD)
258 DCHECK(verifier_->GetRegTypeCache()->GetFromId(result_[1]).IsUndefined());
260 result_[0] = verifier_->GetRegTypeCache()->Undefined().GetId();
269 const RegType& type_l = verifier_->GetRegTypeCache()->GetFromId(result_[0]);
270 const RegType& type_h = verifier_->GetRegTypeCache()->GetFromId(result_[1]);
272 verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD)
277 result_[0] = verifier_->GetRegTypeCache()->Undefined().GetId();
278 result_[1] = verifier_->GetRegTypeCache()->Undefined().GetId();
326 SetRegisterType(inst->VRegA_23x(), verifier_->GetRegTypeCache()->Boolean());
364 SetRegisterType(vregA, verifier_->GetRegTypeCache()->Boolean());
406 SetRegisterType(vregA, verifier_->GetRegTypeCache()->Boolean());
417 verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "monitor-enter on non-object (" << reg_type << ")";
419 verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "monitor-enter stack overflow: " << monitors_.size();
429 verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "monitor-exit on non-object (" << reg_type << ")";
431 verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "monitor-exit stack underflow";
438 ((verifier_->DexFileVersion() >= 36) ? verifier_->Fail(VERIFY_ERROR_BAD_CLASS_SOFT)
439 : verifier_->LogVerifyInfo())
450 verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "expected empty monitor stack";
465 const RegType& new_type = cur_type.Merge(incoming_reg_type, verifier_->GetRegTypeCache());
