Lines Matching refs:spilled_ptr
743 mark_dynptr_stack_regs(env, &state->stack[spi].spilled_ptr, in mark_stack_slots_dynptr()
744 &state->stack[spi - 1].spilled_ptr, type); in mark_stack_slots_dynptr()
758 state->stack[spi].spilled_ptr.ref_obj_id = id; in mark_stack_slots_dynptr()
759 state->stack[spi - 1].spilled_ptr.ref_obj_id = id; in mark_stack_slots_dynptr()
762 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in mark_stack_slots_dynptr()
763 state->stack[spi - 1].spilled_ptr.live |= REG_LIVE_WRITTEN; in mark_stack_slots_dynptr()
777 __mark_reg_not_init(env, &state->stack[spi].spilled_ptr); in invalidate_dynptr()
778 __mark_reg_not_init(env, &state->stack[spi - 1].spilled_ptr); in invalidate_dynptr()
801 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in invalidate_dynptr()
802 state->stack[spi - 1].spilled_ptr.live |= REG_LIVE_WRITTEN; in invalidate_dynptr()
814 if (!dynptr_type_refcounted(state->stack[spi].spilled_ptr.dynptr.type)) { in unmark_stack_slots_dynptr()
819 ref_obj_id = state->stack[spi].spilled_ptr.ref_obj_id; in unmark_stack_slots_dynptr()
833 if (state->stack[i].spilled_ptr.ref_obj_id != ref_obj_id) in unmark_stack_slots_dynptr()
844 if (state->stack[i].spilled_ptr.dynptr.first_slot) in unmark_stack_slots_dynptr()
878 if (!state->stack[spi].spilled_ptr.dynptr.first_slot) in destroy_if_dynptr_stack_slot()
881 if (dynptr_type_refcounted(state->stack[spi].spilled_ptr.dynptr.type)) { in destroy_if_dynptr_stack_slot()
895 dynptr_id = state->stack[spi].spilled_ptr.id; in destroy_if_dynptr_stack_slot()
908 __mark_reg_not_init(env, &state->stack[spi].spilled_ptr); in destroy_if_dynptr_stack_slot()
909 __mark_reg_not_init(env, &state->stack[spi - 1].spilled_ptr); in destroy_if_dynptr_stack_slot()
912 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in destroy_if_dynptr_stack_slot()
913 state->stack[spi - 1].spilled_ptr.live |= REG_LIVE_WRITTEN; in destroy_if_dynptr_stack_slot()
963 if (!state->stack[spi].spilled_ptr.dynptr.first_slot) in is_dynptr_reg_valid_init()
993 return state->stack[spi].spilled_ptr.dynptr.type == dynptr_type; in is_dynptr_type_expected()
1021 struct bpf_reg_state *st = &slot->spilled_ptr; in mark_stack_slots_iter()
1059 struct bpf_reg_state *st = &slot->spilled_ptr; in unmark_stack_slots_iter()
1117 struct bpf_reg_state *st = &slot->spilled_ptr; in is_iter_reg_valid_init()
1172 stack->spilled_ptr.type == SCALAR_VALUE; in is_spilled_scalar_reg()
1178 stack->spilled_ptr.type == SCALAR_VALUE; in is_spilled_scalar_reg64()
3154 ret = mark_reg_read(env, &state->stack[spi].spilled_ptr, in mark_dynptr_read()
3155 state->stack[spi].spilled_ptr.parent, REG_LIVE_READ64); in mark_dynptr_read()
3158 return mark_reg_read(env, &state->stack[spi - 1].spilled_ptr, in mark_dynptr_read()
3159 state->stack[spi - 1].spilled_ptr.parent, REG_LIVE_READ64); in mark_dynptr_read()
3169 struct bpf_reg_state *st = &state->stack[spi - i].spilled_ptr; in mark_iter_read()
4149 reg = &func->stack[j].spilled_ptr; in mark_all_scalars_precise()
4179 reg = &func->stack[j].spilled_ptr; in mark_all_scalars_imprecise()
4415 reg = &func->stack[i].spilled_ptr; in __mark_chain_precision()
4563 copy_register_state(&state->stack[spi].spilled_ptr, reg); in save_register_state()
4565 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in save_register_state()
4670 state->stack[spi].spilled_ptr.id = 0; in check_stack_write_fixed_off()
4695 state->stack[spi].spilled_ptr.type = NOT_INIT; in check_stack_write_fixed_off()
4710 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in check_stack_write_fixed_off()
4826 struct bpf_reg_state *spill_reg = &state->stack[spi].spilled_ptr; in check_stack_write_var_off()
4835 state->stack[spi].spilled_ptr.type = NOT_INIT; in check_stack_write_var_off()
4929 reg = ®_state->stack[spi].spilled_ptr; in check_stack_read_fixed_off()
7393 (state->stack[spi].spilled_ptr.type == SCALAR_VALUE || in check_stack_range_initialized()
7396 __mark_reg_unknown(env, &state->stack[spi].spilled_ptr); in check_stack_range_initialized()
7418 mark_reg_read(env, &state->stack[spi].spilled_ptr, in check_stack_range_initialized()
7419 state->stack[spi].spilled_ptr.parent, in check_stack_range_initialized()
7942 return state->stack[spi].spilled_ptr.ref_obj_id; in iter_ref_obj_id()
8126 &fold->stack[i].spilled_ptr, in widen_imprecise_scalars()
8127 &fcur->stack[i].spilled_ptr, in widen_imprecise_scalars()
8140 return &cur_st->frame[iter_frameno]->stack[iter_spi].spilled_ptr; in get_iter_from_state()
8706 return state->stack[spi].spilled_ptr.id; in dynptr_id()
8719 return state->stack[spi].spilled_ptr.ref_obj_id; in dynptr_ref_obj_id()
8737 return state->stack[spi].spilled_ptr.dynptr.type; in dynptr_get_type()
8860 if (spi < 0 || !state->stack[spi].spilled_ptr.ref_obj_id) { in check_func_arg()
15296 reg = &func->stack[j].spilled_ptr; in collect_linked_regs()
15316 : &vstate->frame[e->frameno]->stack[e->spi].spilled_ptr; in sync_linked_regs()
17127 live = st->stack[i].spilled_ptr.live; in clean_func_state()
17129 st->stack[i].spilled_ptr.live |= REG_LIVE_DONE; in clean_func_state()
17131 __mark_reg_not_init(env, &st->stack[i].spilled_ptr); in clean_func_state()
17374 return &stack->spilled_ptr; in scalar_reg_for_stack()
17403 if (!(old->stack[spi].spilled_ptr.live & REG_LIVE_READ) in stacksafe()
17467 if (!regsafe(env, &old->stack[spi].spilled_ptr, in stacksafe()
17468 &cur->stack[spi].spilled_ptr, idmap, exact)) in stacksafe()
17472 old_reg = &old->stack[spi].spilled_ptr; in stacksafe()
17473 cur_reg = &cur->stack[spi].spilled_ptr; in stacksafe()
17480 old_reg = &old->stack[spi].spilled_ptr; in stacksafe()
17481 cur_reg = &cur->stack[spi].spilled_ptr; in stacksafe()
17698 parent_reg = &parent->stack[i].spilled_ptr; in propagate_liveness()
17699 state_reg = &state->stack[i].spilled_ptr; in propagate_liveness()
17742 state_reg = &state->stack[i].spilled_ptr; in propagate_precision()
17861 slot = &state->stack[i].spilled_ptr; in iter_active_depths_differ()
17865 cur_slot = &cur->frame[fr]->stack[i].spilled_ptr; in iter_active_depths_differ()
17978 iter_state = &func(env, iter_reg)->stack[spi].spilled_ptr; in is_state_visited()
18210 frame->stack[i].spilled_ptr.live = REG_LIVE_NONE; in is_state_visited()
18211 frame->stack[i].spilled_ptr.parent = in is_state_visited()
18212 &newframe->stack[i].spilled_ptr; in is_state_visited()