Lines Matching refs:value_regno
2646 int off, int size, int value_regno, in check_stack_write_fixed_off() argument
2668 if (value_regno >= 0) in check_stack_write_fixed_off()
2669 reg = &cur->regs[value_regno]; in check_stack_write_fixed_off()
2693 err = mark_chain_precision(env, value_regno); in check_stack_write_fixed_off()
2734 err = mark_chain_precision(env, value_regno); in check_stack_write_fixed_off()
2771 int value_regno, int insn_idx) in check_stack_write_var_off() argument
2787 if (value_regno >= 0) in check_stack_write_var_off()
2788 value_reg = &cur->regs[value_regno]; in check_stack_write_var_off()
2846 err = mark_chain_precision(env, value_regno); in check_stack_write_var_off()
3110 int value_regno, int insn_idx) in check_stack_write() argument
3119 value_regno, insn_idx); in check_stack_write()
3126 value_regno, insn_idx); in check_stack_write()
3924 int value_regno) in check_ptr_to_btf_access() argument
3964 if (atype == BPF_READ && value_regno >= 0) in check_ptr_to_btf_access()
3965 mark_btf_ld_reg(env, regs, value_regno, ret, reg->btf, btf_id); in check_ptr_to_btf_access()
3974 int value_regno) in check_ptr_to_map_access() argument
4019 if (value_regno >= 0) in check_ptr_to_map_access()
4020 mark_btf_ld_reg(env, regs, value_regno, ret, btf_vmlinux, btf_id); in check_ptr_to_map_access()
4119 int value_regno, bool strict_alignment_once) in check_mem_access() argument
4148 if (value_regno >= 0) in check_mem_access()
4149 mark_reg_unknown(env, regs, value_regno); in check_mem_access()
4151 if (t == BPF_WRITE && value_regno >= 0 && in check_mem_access()
4152 is_pointer_value(env, value_regno)) { in check_mem_access()
4153 verbose(env, "R%d leaks addr into map\n", value_regno); in check_mem_access()
4160 if (!err && t == BPF_READ && value_regno >= 0) { in check_mem_access()
4175 regs[value_regno].type = SCALAR_VALUE; in check_mem_access()
4176 __mark_reg_known(®s[value_regno], val); in check_mem_access()
4178 mark_reg_unknown(env, regs, value_regno); in check_mem_access()
4182 if (t == BPF_WRITE && value_regno >= 0 && in check_mem_access()
4183 is_pointer_value(env, value_regno)) { in check_mem_access()
4184 verbose(env, "R%d leaks addr into mem\n", value_regno); in check_mem_access()
4189 if (!err && t == BPF_READ && value_regno >= 0) in check_mem_access()
4190 mark_reg_unknown(env, regs, value_regno); in check_mem_access()
4196 if (t == BPF_WRITE && value_regno >= 0 && in check_mem_access()
4197 is_pointer_value(env, value_regno)) { in check_mem_access()
4198 verbose(env, "R%d leaks addr into ctx\n", value_regno); in check_mem_access()
4209 if (!err && t == BPF_READ && value_regno >= 0) { in check_mem_access()
4215 mark_reg_unknown(env, regs, value_regno); in check_mem_access()
4218 value_regno); in check_mem_access()
4220 regs[value_regno].id = ++env->id_gen; in check_mem_access()
4226 regs[value_regno].subreg_def = DEF_NOT_SUBREG; in check_mem_access()
4229 regs[value_regno].btf = btf; in check_mem_access()
4230 regs[value_regno].btf_id = btf_id; in check_mem_access()
4233 regs[value_regno].type = reg_type; in check_mem_access()
4249 value_regno); in check_mem_access()
4252 value_regno, insn_idx); in check_mem_access()
4258 if (t == BPF_WRITE && value_regno >= 0 && in check_mem_access()
4259 is_pointer_value(env, value_regno)) { in check_mem_access()
4261 value_regno); in check_mem_access()
4265 if (!err && t == BPF_READ && value_regno >= 0) in check_mem_access()
4266 mark_reg_unknown(env, regs, value_regno); in check_mem_access()
4268 if (t == BPF_WRITE && value_regno >= 0 && in check_mem_access()
4269 is_pointer_value(env, value_regno)) { in check_mem_access()
4271 value_regno); in check_mem_access()
4276 if (!err && t == BPF_READ && value_regno >= 0) in check_mem_access()
4277 mark_reg_unknown(env, regs, value_regno); in check_mem_access()
4285 if (!err && value_regno >= 0) in check_mem_access()
4286 mark_reg_unknown(env, regs, value_regno); in check_mem_access()
4289 if (!err && t == BPF_READ && value_regno >= 0) in check_mem_access()
4290 mark_reg_unknown(env, regs, value_regno); in check_mem_access()
4293 value_regno); in check_mem_access()
4296 value_regno); in check_mem_access()
4306 if (!err && value_regno >= 0) in check_mem_access()
4307 mark_reg_unknown(env, regs, value_regno); in check_mem_access()
4312 if (!err && t == BPF_READ && value_regno >= 0) in check_mem_access()
4313 mark_reg_unknown(env, regs, value_regno); in check_mem_access()
4320 if (!err && size < BPF_REG_SIZE && value_regno >= 0 && t == BPF_READ && in check_mem_access()
4321 regs[value_regno].type == SCALAR_VALUE) { in check_mem_access()
4323 coerce_reg_to_size(®s[value_regno], size); in check_mem_access()