Lines Matching refs:value_regno
553 int value_regno) in check_stack_write() argument
560 if (value_regno >= 0 && in check_stack_write()
561 is_spillable_regtype(state->regs[value_regno].type)) { in check_stack_write()
571 state->regs[value_regno]; in check_stack_write()
587 int value_regno) in check_stack_read() argument
606 if (value_regno >= 0) in check_stack_read()
608 state->regs[value_regno] = in check_stack_read()
619 if (value_regno >= 0) in check_stack_read()
621 mark_reg_unknown_value(state->regs, value_regno); in check_stack_read()
674 int value_regno) in check_mem_access() argument
692 if (t == BPF_WRITE && value_regno >= 0 && in check_mem_access()
693 is_pointer_value(env, value_regno)) { in check_mem_access()
694 verbose("R%d leaks addr into map\n", value_regno); in check_mem_access()
698 if (!err && t == BPF_READ && value_regno >= 0) in check_mem_access()
699 mark_reg_unknown_value(state->regs, value_regno); in check_mem_access()
702 if (t == BPF_WRITE && value_regno >= 0 && in check_mem_access()
703 is_pointer_value(env, value_regno)) { in check_mem_access()
704 verbose("R%d leaks addr into ctx\n", value_regno); in check_mem_access()
708 if (!err && t == BPF_READ && value_regno >= 0) in check_mem_access()
709 mark_reg_unknown_value(state->regs, value_regno); in check_mem_access()
724 err = check_stack_write(state, off, size, value_regno); in check_mem_access()
726 err = check_stack_read(state, off, size, value_regno); in check_mem_access()