31       verifier_->Fail(VERIFY_ERROR_BAD_CLASS_SOFT)  in CheckConstructorReturn()
42     verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "Expected category1 register type not '"  in SetRegisterType()
46     verifier_->Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "Set register to unknown type " << new_type;  in SetRegisterType()
60     verifier_->Fail(VERIFY_ERROR_BAD_CLASS_SOFT) << "Invalid wide pair '"  in SetRegisterTypeWide()
74   result_[0] = verifier_->GetRegTypeCache()->Undefined().GetId();  in SetResultTypeToUnknown()
82   result_[1] = verifier_->GetRegTypeCache()->Undefined().GetId();  in SetResultRegisterType()
95     verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invoke lacks 'this'";  in GetInvocationThis()
96     return verifier_->GetRegTypeCache()->Conflict();  in GetInvocationThis()
102 … verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "tried to get class from non-reference register v"  in GetInvocationThis()
104     return verifier_->GetRegTypeCache()->Conflict();  in GetInvocationThis()
123     verifier_->Fail(fail_type) << "register v" << vsrc << " has type "  in VerifyRegisterType()
130       verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "wide register v" << vsrc << " has type "  in VerifyRegisterType()
148     verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "register v" << vsrc << " has type " << src_type  in VerifyRegisterTypeWide()
154     verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "wide register v" << vsrc << " has type "  in VerifyRegisterTypeWide()
167   RegType& init_type = verifier_->GetRegTypeCache()->FromUninitialized(uninit_type);  in MarkRefsAsInitialized()
179   uint16_t conflict_type_id = verifier_->GetRegTypeCache()->Conflict().GetId();  in MarkAllRegistersAsConflicts()
186   uint16_t conflict_type_id = verifier_->GetRegTypeCache()->Conflict().GetId();  in MarkAllRegistersAsConflictsExcept()
195   uint16_t conflict_type_id = verifier_->GetRegTypeCache()->Conflict().GetId();  in MarkAllRegistersAsConflictsExceptWide()
219       line_[i] = verifier_->GetRegTypeCache()->Conflict().GetId();  in MarkUninitRefsAsInvalid()
233 …verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "copy1 v" << vdst << "<-v" << vsrc << " type=" << …  in CopyRegister1()
245     verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "copy2 v" << vdst << "<-v" << vsrc  in CopyRegister2()
253   RegType& type = verifier_->GetRegTypeCache()->GetFromId(result_[0]);  in CopyResultRegister1()
256     verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD)  in CopyResultRegister1()
259     DCHECK(verifier_->GetRegTypeCache()->GetFromId(result_[1]).IsUndefined());  in CopyResultRegister1()
261     result_[0] = verifier_->GetRegTypeCache()->Undefined().GetId();  in CopyResultRegister1()
270   RegType& type_l = verifier_->GetRegTypeCache()->GetFromId(result_[0]);  in CopyResultRegister2()
271   RegType& type_h = verifier_->GetRegTypeCache()->GetFromId(result_[1]);  in CopyResultRegister2()
273     verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD)  in CopyResultRegister2()
278     result_[0] = verifier_->GetRegTypeCache()->Undefined().GetId();  in CopyResultRegister2()
279     result_[1] = verifier_->GetRegTypeCache()->Undefined().GetId();  in CopyResultRegister2()
327         SetRegisterType(inst->VRegA_23x(), verifier_->GetRegTypeCache()->Boolean());  in CheckBinaryOp()
365         SetRegisterType(vregA, verifier_->GetRegTypeCache()->Boolean());  in CheckBinaryOp2addr()
407         SetRegisterType(vregA, verifier_->GetRegTypeCache()->Boolean());  in CheckLiteralOp()
418 …verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "monitor-enter on non-object (" << reg_type << ")";  in PushMonitor()
420 …verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "monitor-enter stack overflow: " << monitors_.size…  in PushMonitor()
430 … verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "monitor-exit on non-object (" << reg_type << ")";  in PopMonitor()
432     verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "monitor-exit stack underflow";  in PopMonitor()
439       ((verifier_->DexFileVersion() >= 36) ? verifier_->Fail(VERIFY_ERROR_BAD_CLASS_SOFT)  in PopMonitor()
440                                            : verifier_->LogVerifyInfo())  in PopMonitor()
451     verifier_->Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "expected empty monitor stack";  in VerifyMonitorStackEmpty()
465       RegType& new_type = cur_type.Merge(incoming_reg_type, verifier_->GetRegTypeCache());  in MergeRegisters()