Lines Matching defs:value
108 panda_file::CodeDataAccessor code_data(*file_, method_accessor.GetCodeId().value());
116 if (valid_regs_num.value() > MAX_REGISTER_INDEX + 1) {
117 LOG(ERROR, VERIFIER) << "Register index exceeds the maximum allowable value (0xffff)!";
129 if (!CheckVRegIdx(bc_ins, count, valid_regs_num.value())) {
229 panda_file::CodeDataAccessor code_accessor(*file_, method_accessor.GetCodeId().value());
267 const auto literal_id = field_accessor.GetValue<uint32_t>().value();
330 reg_idx = max_ins_reg_idx_opt.value();
455 LOG(ERROR, VERIFIER) << "Invalid string value(0x" << id << ") in literal array";
501 const auto value = bit_cast<double>(panda_file::helpers::Read<sizeof(uint64_t)>(&sp));
502 // true: High 16-bit of double value >= 0xffff
503 if (IsImpureNaN(value)) {
504 LOG(ERROR, VERIFIER) << "Fail to verify double value " << value << " in literal array";
529 const auto value = static_cast<uint32_t>(panda_file::helpers::Read<sizeof(uint32_t)>(&sp));
530 inner_method_map_.emplace(literal_id.GetOffset(), value);
531 if (!VerifyMethodIdInLiteralArray(value)) {
537 const auto value = static_cast<uint32_t>(panda_file::helpers::Read<sizeof(uint32_t)>(&sp));
538 inner_literal_map_.emplace(literal_id.GetOffset(), value);
539 if (!VerifyLiteralIdInLiteralArray(value)) {
613 if ((immdata.value() > 0) && (immdata.value() >= bc_ins_forward_size)) {
617 if ((immdata.value() < 0) && (bc_ins_backward_size + immdata.value() < 0)) {
622 const auto bc_ins_dest = bc_ins.JumpTo(immdata.value());
630 << ": invalid jump offset 0x" << immdata.value()
649 first_slot_index = first_imm.value();
658 first_slot_index = first_imm.value();
673 // GetCodeSize() returns a unsigned long value, which is always >= 0,
721 // GetLength() returns a uint32 value, which is always >= 0,
774 if (slot_number == ann_slot_number.value()) {
792 if (valid_regs_num.value() > MAX_REGISTER_INDEX + 1) {
793 LOG(ERROR, VERIFIER) << "Register index exceeds the maximum allowable value (0xffff)!";
803 auto code_id = infos.method_accessor.GetCodeId().value();
805 auto valid_regs_num = infos.valid_regs_num.value();
855 panda_file::CodeDataAccessor code_accessor(*file_, method_accessor.GetCodeId().value());
860 const auto bc_ins_init = bc_ins; // initial PC value