551     return &GetModifiableInstructionFlags(work_insn_idx_);  in CurrentInsnFlags()
1865     work_insn_idx_ = insn_idx;  in CodeFlowVerifyMethod()
1879                      << "@" << reinterpret_cast<void*>(work_insn_idx_) << "\n"  in CodeFlowVerifyMethod()
1999   if (monitor_enter_dex_pcs_ != nullptr && work_insn_idx_ == interesting_dex_pc_) {  in CodeFlowVerifyInstruction()
2036   const uint16_t* insns = code_item_accessor_.Insns() + work_insn_idx_;  in CodeFlowVerifyInstruction()
2133       if (work_insn_idx_ == 0) {  in CodeFlowVerifyInstruction()
2324       work_line_->PushMonitor(this, inst->VRegA_11x(), work_insn_idx_);  in CodeFlowVerifyInstruction()
2327       if (0 != work_insn_idx_ && !GetInstructionFlags(work_insn_idx_).IsBranchTarget()) {  in CodeFlowVerifyInstruction()
2328         uint32_t prev_idx = work_insn_idx_ - 1;  in CodeFlowVerifyInstruction()
2509       const RegType& uninit_type = reg_types_.Uninitialized(res_type, work_insn_idx_);  in CodeFlowVerifyInstruction()
2667       if (0 != work_insn_idx_) {  in CodeFlowVerifyInstruction()
2668         instance_of_idx = work_insn_idx_ - 1;  in CodeFlowVerifyInstruction()
2674                         work_insn_idx_)) {  in CodeFlowVerifyInstruction()
2743                             work_insn_idx_)) {  in CodeFlowVerifyInstruction()
3515     if (!GetBranchOffset(work_insn_idx_, &branch_target, &isConditional, &selfOkay)) {  in CodeFlowVerifyInstruction()
3522                                            work_insn_idx_ + branch_target)) {  in CodeFlowVerifyInstruction()
3527       if (!UpdateRegisters(work_insn_idx_ + branch_target, branch_line.get(), false)) {  in CodeFlowVerifyInstruction()
3531       if (!UpdateRegisters(work_insn_idx_ + branch_target, work_line_.get(), false)) {  in CodeFlowVerifyInstruction()
3566       abs_offset = work_insn_idx_ + offset;  in CodeFlowVerifyInstruction()
3581   if ((opcode_flags & Instruction::kThrow) != 0 && GetInstructionFlags(work_insn_idx_).IsInTry()) {  in CodeFlowVerifyInstruction()
3583     const dex::TryItem* try_item = code_item_accessor_.FindTryItem(work_insn_idx_);  in CodeFlowVerifyInstruction()
3646     DCHECK_EQ(&code_item_accessor_.InstructionAt(work_insn_idx_), inst);  in CodeFlowVerifyInstruction()
3647     uint32_t next_insn_idx = work_insn_idx_ + inst->SizeInCodeUnits();  in CodeFlowVerifyInstruction()
3695     DCHECK_EQ(&code_item_accessor_.InstructionAt(work_insn_idx_), inst);  in CodeFlowVerifyInstruction()
3696     *start_guess = work_insn_idx_ + inst->SizeInCodeUnits();  in CodeFlowVerifyInstruction()
3699     *start_guess = work_insn_idx_ + branch_target;  in CodeFlowVerifyInstruction()
3780         if (iterator.GetHandlerAddress() == (uint32_t) work_insn_idx_) {  in GetCaughtExceptionType()
3805                               work_insn_idx_)) {  in GetCaughtExceptionType()
4382           << dex_file_->PrettyMethod(dex_method_idx_, true) << "@" << work_insn_idx_;  in GetMethodIdxOfInvoke()
4384       uint16_t method_idx = method_being_verified_->GetIndexFromQuickening(work_insn_idx_);  in GetMethodIdxOfInvoke()
4402     uint16_t field_idx = method_being_verified_->GetIndexFromQuickening(work_insn_idx_);  in GetFieldIdxOfFieldAccess()
4982       LogVerifyInfo() << "Merging at [" << reinterpret_cast<void*>(work_insn_idx_) << "]"  in UpdateRegisters()
5098       work_insn_idx_(dex::kDexNoIndex),  in MethodVerifier()
5472         if (work_insn_idx_ < dex::kDexNoIndex) {  in Fail()
5473           const Instruction& inst = code_item_accessor_.InstructionAt(work_insn_idx_);  in Fail()
5477               GetInstructionFlags(work_insn_idx_).IsInTry()) {  in Fail()
5500                                     work_insn_idx_));  in Fail()
5509       << '[' << reinterpret_cast<void*>(work_insn_idx_) << "] : ";  in LogVerifyInfo()