Cross Reference: /art/runtime/verifier/method

Lines Matching defs:cur_offset
1304 bool MethodVerifier::CheckArrayData(uint32_t cur_offset) {
1306   const uint16_t* insns = code_item_accessor_.Insns() + cur_offset;
1310   DCHECK_LT(cur_offset, insn_count);
1313   if (UNLIKELY(static_cast<int32_t>(cur_offset) + array_data_offset < 0 ||
1314                cur_offset + array_data_offset + 2 >= insn_count)) {
1315     Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid array data start: at " << cur_offset
1324     Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unaligned array data table: at " << cur_offset
1330   if (UNLIKELY(!GetInstructionFlags(cur_offset + array_data_offset).IsOpcode())) {
1331     Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "array data table at " << cur_offset
1341   if (UNLIKELY(cur_offset + array_data_offset + table_size > insn_count)) {
1342     Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid array data end: at " << cur_offset
1344                                       << cur_offset + array_data_offset + table_size
1351 bool MethodVerifier::CheckBranchTarget(uint32_t cur_offset) {
1354   if (!GetBranchOffset(cur_offset, &offset, &isConditional, &selfOkay)) {
1359                                       << reinterpret_cast<void*>(cur_offset);
1364   if (UNLIKELY(((int64_t) cur_offset + (int64_t) offset) != (int64_t) (cur_offset + offset))) {
1366                                       << reinterpret_cast<void*>(cur_offset) << " +" << offset;
1369   int32_t abs_offset = cur_offset + offset;
1375                                       << reinterpret_cast<void*>(cur_offset);
1382 bool MethodVerifier::GetBranchOffset(uint32_t cur_offset, int32_t* pOffset, bool* pConditional,
1384   const uint16_t* insns = code_item_accessor_.Insns() + cur_offset;
1419 bool MethodVerifier::CheckSwitchTargets(uint32_t cur_offset) {
1421   DCHECK_LT(cur_offset, insn_count);
1422   const uint16_t* insns = code_item_accessor_.Insns() + cur_offset;
1425   if (UNLIKELY(static_cast<int32_t>(cur_offset) + switch_offset < 0 ||
1426                cur_offset + switch_offset + 2 > insn_count)) {
1427     Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid switch start: at " << cur_offset
1436     Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "unaligned switch table: at " << cur_offset
1442   if (UNLIKELY(!GetInstructionFlags(cur_offset + switch_offset).IsOpcode())) {
1443     Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "switch table at " << cur_offset
1471   if (UNLIKELY(cur_offset + switch_offset + table_size > (uint32_t) insn_count)) {
1472     Fail(VERIFY_ERROR_BAD_CLASS_HARD) << "invalid switch end: at " << cur_offset
1474                                       << ", end " << (cur_offset + switch_offset + table_size)
1511     int32_t abs_offset = cur_offset + offset;
1517                                         << reinterpret_cast<void*>(cur_offset)