516       work_insn_idx_(DexFile::kDexNoIndex),  in MethodVerifier()
888         if (work_insn_idx_ < DexFile::kDexNoIndex) {  in Fail()
889           const uint16_t* insns = code_item_->insns_ + work_insn_idx_;  in Fail()
922                                     work_insn_idx_));  in Fail()
930                         << '[' << reinterpret_cast<void*>(work_insn_idx_) << "] : ";  in LogVerifyInfo()
1838     work_insn_idx_ = insn_idx;  in CodeFlowVerifyMethod()
1852                      << "@" << reinterpret_cast<void*>(work_insn_idx_) << "\n"  in CodeFlowVerifyMethod()
1971   if (monitor_enter_dex_pcs_ != nullptr && work_insn_idx_ == interesting_dex_pc_) {  in CodeFlowVerifyInstruction()
1996   const uint16_t* insns = code_item_->insns_ + work_insn_idx_;  in CodeFlowVerifyInstruction()
2093       if (work_insn_idx_ == 0) {  in CodeFlowVerifyInstruction()
2276       work_line_->PushMonitor(this, inst->VRegA_11x(), work_insn_idx_);  in CodeFlowVerifyInstruction()
2279       if (0 != work_insn_idx_ && !GetInstructionFlags(work_insn_idx_).IsBranchTarget()) {  in CodeFlowVerifyInstruction()
2280         uint32_t prev_idx = work_insn_idx_ - 1;  in CodeFlowVerifyInstruction()
2420       const RegType& uninit_type = reg_types_.Uninitialized(res_type, work_insn_idx_);  in CodeFlowVerifyInstruction()
2577       if (0 != work_insn_idx_) {  in CodeFlowVerifyInstruction()
2578         instance_of_idx = work_insn_idx_ - 1;  in CodeFlowVerifyInstruction()
2584                         work_insn_idx_)) {  in CodeFlowVerifyInstruction()
2648                             work_insn_idx_)) {  in CodeFlowVerifyInstruction()
3450     if (!GetBranchOffset(work_insn_idx_, &branch_target, &isConditional, &selfOkay)) {  in CodeFlowVerifyInstruction()
3456     if (!CheckNotMoveExceptionOrMoveResult(code_item_->insns_, work_insn_idx_ + branch_target)) {  in CodeFlowVerifyInstruction()
3461       if (!UpdateRegisters(work_insn_idx_ + branch_target, branch_line.get(), false)) {  in CodeFlowVerifyInstruction()
3465       if (!UpdateRegisters(work_insn_idx_ + branch_target, work_line_.get(), false)) {  in CodeFlowVerifyInstruction()
3500       abs_offset = work_insn_idx_ + offset;  in CodeFlowVerifyInstruction()
3515   if ((opcode_flags & Instruction::kThrow) != 0 && GetInstructionFlags(work_insn_idx_).IsInTry()) {  in CodeFlowVerifyInstruction()
3517     CatchHandlerIterator iterator(*code_item_, work_insn_idx_);  in CodeFlowVerifyInstruction()
3574     DCHECK_EQ(Instruction::At(code_item_->insns_ + work_insn_idx_), inst);  in CodeFlowVerifyInstruction()
3575     uint32_t next_insn_idx = work_insn_idx_ + inst->SizeInCodeUnits();  in CodeFlowVerifyInstruction()
3623     DCHECK_EQ(Instruction::At(code_item_->insns_ + work_insn_idx_), inst);  in CodeFlowVerifyInstruction()
3624     *start_guess = work_insn_idx_ + inst->SizeInCodeUnits();  in CodeFlowVerifyInstruction()
3627     *start_guess = work_insn_idx_ + branch_target;  in CodeFlowVerifyInstruction()
3701         if (iterator.GetHandlerAddress() == (uint32_t) work_insn_idx_) {  in GetCaughtExceptionType()
3725                               work_insn_idx_)) {  in GetCaughtExceptionType()
4140                     "Failed to find Object class in quickened invoke receiver", work_insn_idx_)) {  in GetQuickInvokedMethod()
4149                 work_insn_idx_);  in GetQuickInvokedMethod()
4158                 work_insn_idx_);  in GetQuickInvokedMethod()
4164                 work_insn_idx_);  in GetQuickInvokedMethod()
4172       << PrettyMethod(dex_method_idx_, *dex_file_, true) << "@" << work_insn_idx_;  in VerifyInvokeVirtualQuickArgs()
4180                   work_insn_idx_)) {  in VerifyInvokeVirtualQuickArgs()
4184                   work_insn_idx_)) {  in VerifyInvokeVirtualQuickArgs()
4943       LogVerifyInfo() << "Merging at [" << reinterpret_cast<void*>(work_insn_idx_) << "]"  in UpdateRegisters()
4960   return &GetInstructionFlags(work_insn_idx_);  in CurrentInsnFlags()