388       work_insn_idx_(DexFile::kDexNoIndex),  in MethodVerifier()
605         if (work_insn_idx_ < DexFile::kDexNoIndex) {  in Fail()
606           const uint16_t* insns = code_item_->insns_ + work_insn_idx_;  in Fail()
635                                     work_insn_idx_));  in Fail()
643                         << '[' << reinterpret_cast<void*>(work_insn_idx_) << "] : ";  in LogVerifyInfo()
1499     work_insn_idx_ = insn_idx;  in CodeFlowVerifyMethod()
1513                      << "@" << reinterpret_cast<void*>(work_insn_idx_) << "\n"  in CodeFlowVerifyMethod()
1605   if (monitor_enter_dex_pcs_ != nullptr && work_insn_idx_ == interesting_dex_pc_) {  in CodeFlowVerifyInstruction()
1630   const uint16_t* insns = code_item_->insns_ + work_insn_idx_;  in CodeFlowVerifyInstruction()
1727       if (work_insn_idx_ == 0) {  in CodeFlowVerifyInstruction()
1900       work_line_->PushMonitor(this, inst->VRegA_11x(), work_insn_idx_);  in CodeFlowVerifyInstruction()
2005       const RegType& uninit_type = reg_types_.Uninitialized(res_type, work_insn_idx_);  in CodeFlowVerifyInstruction()
2151       if (0 != work_insn_idx_) {  in CodeFlowVerifyInstruction()
2152         instance_of_idx = work_insn_idx_ - 1;  in CodeFlowVerifyInstruction()
2158                         work_insn_idx_)) {  in CodeFlowVerifyInstruction()
2220                             work_insn_idx_)) {  in CodeFlowVerifyInstruction()
2502         work_line_->MarkRefsAsInitialized(this, this_type, this_reg, work_insn_idx_);  in CodeFlowVerifyInstruction()
2961     if (!GetBranchOffset(work_insn_idx_, &branch_target, &isConditional, &selfOkay)) {  in CodeFlowVerifyInstruction()
2967     if (!CheckNotMoveExceptionOrMoveResult(code_item_->insns_, work_insn_idx_ + branch_target)) {  in CodeFlowVerifyInstruction()
2972       if (!UpdateRegisters(work_insn_idx_ + branch_target, branch_line.get(), false)) {  in CodeFlowVerifyInstruction()
2976       if (!UpdateRegisters(work_insn_idx_ + branch_target, work_line_.get(), false)) {  in CodeFlowVerifyInstruction()
3011       abs_offset = work_insn_idx_ + offset;  in CodeFlowVerifyInstruction()
3026   if ((opcode_flags & Instruction::kThrow) != 0 && insn_flags_[work_insn_idx_].IsInTry()) {  in CodeFlowVerifyInstruction()
3028     CatchHandlerIterator iterator(*code_item_, work_insn_idx_);  in CodeFlowVerifyInstruction()
3085     DCHECK_EQ(Instruction::At(code_item_->insns_ + work_insn_idx_), inst);  in CodeFlowVerifyInstruction()
3086     uint32_t next_insn_idx = work_insn_idx_ + inst->SizeInCodeUnits();  in CodeFlowVerifyInstruction()
3145     DCHECK_EQ(Instruction::At(code_item_->insns_ + work_insn_idx_), inst);  in CodeFlowVerifyInstruction()
3146     *start_guess = work_insn_idx_ + inst->SizeInCodeUnits();  in CodeFlowVerifyInstruction()
3149     *start_guess = work_insn_idx_ + branch_target;  in CodeFlowVerifyInstruction()
3192         if (iterator.GetHandlerAddress() == (uint32_t) work_insn_idx_) {  in GetCaughtExceptionType()
3215                               work_insn_idx_)) {  in GetCaughtExceptionType()
3544                     "Failed to find Object class in quickened invoke receiver", work_insn_idx_)) {  in GetQuickInvokedMethod()
3553                 work_insn_idx_);  in GetQuickInvokedMethod()
3562                 work_insn_idx_);  in GetQuickInvokedMethod()
3568                 work_insn_idx_);  in GetQuickInvokedMethod()
3576       << PrettyMethod(dex_method_idx_, *dex_file_, true) << "@" << work_insn_idx_;  in VerifyInvokeVirtualQuickArgs()
3584                   work_insn_idx_)) {  in VerifyInvokeVirtualQuickArgs()
3588                   work_insn_idx_)) {  in VerifyInvokeVirtualQuickArgs()
4296       LogVerifyInfo() << "Merging at [" << reinterpret_cast<void*>(work_insn_idx_) << "]"  in UpdateRegisters()
4313   return &insn_flags_[work_insn_idx_];  in CurrentInsnFlags()