877 bool MethodVerifier::CheckArrayData(uint32_t cur_offset) {  in CheckArrayData()  argument
879   const uint16_t* insns = code_item_->insns_ + cur_offset;  in CheckArrayData()
883   DCHECK_LT(cur_offset, insn_count);  in CheckArrayData()
886   if ((int32_t) cur_offset + array_data_offset < 0 ||  in CheckArrayData()
887       cur_offset + array_data_offset + 2 >= insn_count) {  in CheckArrayData()
888     Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid array data start: at " << cur_offset  in CheckArrayData()
897     Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unaligned array data table: at " << cur_offset  in CheckArrayData()
905   if (cur_offset + array_data_offset + table_size > insn_count) {  in CheckArrayData()
906     Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid array data end: at " << cur_offset  in CheckArrayData()
908                                       << cur_offset + array_data_offset + table_size  in CheckArrayData()
915 bool MethodVerifier::CheckBranchTarget(uint32_t cur_offset) {  in CheckBranchTarget()  argument
918   if (!GetBranchOffset(cur_offset, &offset, &isConditional, &selfOkay)) {  in CheckBranchTarget()
923                                       << reinterpret_cast<void*>(cur_offset);  in CheckBranchTarget()
928   if (((int64_t) cur_offset + (int64_t) offset) != (int64_t) (cur_offset + offset)) {  in CheckBranchTarget()
930                                       << reinterpret_cast<void*>(cur_offset) << " +" << offset;  in CheckBranchTarget()
934   int32_t abs_offset = cur_offset + offset;  in CheckBranchTarget()
940                                       << reinterpret_cast<void*>(cur_offset);  in CheckBranchTarget()
947 bool MethodVerifier::GetBranchOffset(uint32_t cur_offset, int32_t* pOffset, bool* pConditional,  in GetBranchOffset()  argument
949   const uint16_t* insns = code_item_->insns_ + cur_offset;  in GetBranchOffset()
985 bool MethodVerifier::CheckSwitchTargets(uint32_t cur_offset) {  in CheckSwitchTargets()  argument
987   DCHECK_LT(cur_offset, insn_count);  in CheckSwitchTargets()
988   const uint16_t* insns = code_item_->insns_ + cur_offset;  in CheckSwitchTargets()
991   if ((int32_t) cur_offset + switch_offset < 0 || cur_offset + switch_offset + 2 >= insn_count) {  in CheckSwitchTargets()
992     Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid switch start: at " << cur_offset  in CheckSwitchTargets()
1001     Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unaligned switch table: at " << cur_offset  in CheckSwitchTargets()
1027   if (cur_offset + switch_offset + table_size > (uint32_t) insn_count) {  in CheckSwitchTargets()
1028     Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid switch end: at " << cur_offset  in CheckSwitchTargets()
1030                                       << ", end " << (cur_offset + switch_offset + table_size)  in CheckSwitchTargets()
1052     int32_t abs_offset = cur_offset + offset;  in CheckSwitchTargets()
1058                                         << reinterpret_cast<void*>(cur_offset)  in CheckSwitchTargets()