Lines Matching refs:spilled_ptr

759 	mark_dynptr_stack_regs(env, &state->stack[spi].spilled_ptr,  in mark_stack_slots_dynptr()
760 &state->stack[spi - 1].spilled_ptr, type); in mark_stack_slots_dynptr()
774 state->stack[spi].spilled_ptr.ref_obj_id = id; in mark_stack_slots_dynptr()
775 state->stack[spi - 1].spilled_ptr.ref_obj_id = id; in mark_stack_slots_dynptr()
778 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in mark_stack_slots_dynptr()
779 state->stack[spi - 1].spilled_ptr.live |= REG_LIVE_WRITTEN; in mark_stack_slots_dynptr()
793 __mark_reg_not_init(env, &state->stack[spi].spilled_ptr); in invalidate_dynptr()
794 __mark_reg_not_init(env, &state->stack[spi - 1].spilled_ptr); in invalidate_dynptr()
817 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in invalidate_dynptr()
818 state->stack[spi - 1].spilled_ptr.live |= REG_LIVE_WRITTEN; in invalidate_dynptr()
830 if (!dynptr_type_refcounted(state->stack[spi].spilled_ptr.dynptr.type)) { in unmark_stack_slots_dynptr()
835 ref_obj_id = state->stack[spi].spilled_ptr.ref_obj_id; in unmark_stack_slots_dynptr()
849 if (state->stack[i].spilled_ptr.ref_obj_id != ref_obj_id) in unmark_stack_slots_dynptr()
860 if (state->stack[i].spilled_ptr.dynptr.first_slot) in unmark_stack_slots_dynptr()
894 if (!state->stack[spi].spilled_ptr.dynptr.first_slot) in destroy_if_dynptr_stack_slot()
897 if (dynptr_type_refcounted(state->stack[spi].spilled_ptr.dynptr.type)) { in destroy_if_dynptr_stack_slot()
911 dynptr_id = state->stack[spi].spilled_ptr.id; in destroy_if_dynptr_stack_slot()
924 __mark_reg_not_init(env, &state->stack[spi].spilled_ptr); in destroy_if_dynptr_stack_slot()
925 __mark_reg_not_init(env, &state->stack[spi - 1].spilled_ptr); in destroy_if_dynptr_stack_slot()
928 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in destroy_if_dynptr_stack_slot()
929 state->stack[spi - 1].spilled_ptr.live |= REG_LIVE_WRITTEN; in destroy_if_dynptr_stack_slot()
979 if (!state->stack[spi].spilled_ptr.dynptr.first_slot) in is_dynptr_reg_valid_init()
1009 return state->stack[spi].spilled_ptr.dynptr.type == dynptr_type; in is_dynptr_type_expected()
1037 struct bpf_reg_state *st = &slot->spilled_ptr; in mark_stack_slots_iter()
1075 struct bpf_reg_state *st = &slot->spilled_ptr; in unmark_stack_slots_iter()
1133 struct bpf_reg_state *st = &slot->spilled_ptr; in is_iter_reg_valid_init()
1175 st = &slot->spilled_ptr; in mark_stack_slot_irq_flag()
1203 st = &slot->spilled_ptr; in unmark_stack_slot_irq_flag()
1279 st = &slot->spilled_ptr; in is_irq_flag_reg_valid_init()
1327 stack->spilled_ptr.type == SCALAR_VALUE; in is_spilled_scalar_reg()
1333 stack->spilled_ptr.type == SCALAR_VALUE; in is_spilled_scalar_reg64()
3506 struct bpf_reg_state *st = &state->stack[spi - i].spilled_ptr; in mark_stack_slot_obj_read()
4530 reg = &func->stack[j].spilled_ptr; in mark_all_scalars_precise()
4560 reg = &func->stack[j].spilled_ptr; in mark_all_scalars_imprecise()
4797 reg = &func->stack[i].spilled_ptr; in __mark_chain_precision()
4945 copy_register_state(&state->stack[spi].spilled_ptr, reg); in save_register_state()
4947 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in save_register_state()
5053 state->stack[spi].spilled_ptr.id = 0; in check_stack_write_fixed_off()
5078 state->stack[spi].spilled_ptr.type = NOT_INIT; in check_stack_write_fixed_off()
5093 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in check_stack_write_fixed_off()
5209 struct bpf_reg_state *spill_reg = &state->stack[spi].spilled_ptr; in check_stack_write_var_off()
5218 state->stack[spi].spilled_ptr.type = NOT_INIT; in check_stack_write_var_off()
5312 reg = &reg_state->stack[spi].spilled_ptr; in check_stack_read_fixed_off()
8004 (state->stack[spi].spilled_ptr.type == SCALAR_VALUE || in check_stack_range_initialized()
8007 __mark_reg_unknown(env, &state->stack[spi].spilled_ptr); in check_stack_range_initialized()
8029 mark_reg_read(env, &state->stack[spi].spilled_ptr, in check_stack_range_initialized()
8030 state->stack[spi].spilled_ptr.parent, in check_stack_range_initialized()
8598 return state->stack[spi].spilled_ptr.ref_obj_id; in iter_ref_obj_id()
8789 &fold->stack[i].spilled_ptr, in widen_imprecise_scalars()
8790 &fcur->stack[i].spilled_ptr, in widen_imprecise_scalars()
8803 return &cur_st->frame[iter_frameno]->stack[iter_spi].spilled_ptr; in get_iter_from_state()
9369 return state->stack[spi].spilled_ptr.id; in dynptr_id()
9382 return state->stack[spi].spilled_ptr.ref_obj_id; in dynptr_ref_obj_id()
9400 return state->stack[spi].spilled_ptr.dynptr.type; in dynptr_get_type()
9495 reg = &state->stack[spi].spilled_ptr; in get_constant_map_key()
9587 if (spi < 0 || !state->stack[spi].spilled_ptr.ref_obj_id) { in check_func_arg()
16316 reg = &func->stack[j].spilled_ptr; in collect_linked_regs()
16336 : &vstate->frame[e->frameno]->stack[e->spi].spilled_ptr; in sync_linked_regs()
18214 live = st->stack[i].spilled_ptr.live; in clean_func_state()
18216 st->stack[i].spilled_ptr.live |= REG_LIVE_DONE; in clean_func_state()
18218 __mark_reg_not_init(env, &st->stack[i].spilled_ptr); in clean_func_state()
18465 return &stack->spilled_ptr; in scalar_reg_for_stack()
18494 if (!(old->stack[spi].spilled_ptr.live & REG_LIVE_READ) in stacksafe()
18558 if (!regsafe(env, &old->stack[spi].spilled_ptr, in stacksafe()
18559 &cur->stack[spi].spilled_ptr, idmap, exact)) in stacksafe()
18563 old_reg = &old->stack[spi].spilled_ptr; in stacksafe()
18564 cur_reg = &cur->stack[spi].spilled_ptr; in stacksafe()
18571 old_reg = &old->stack[spi].spilled_ptr; in stacksafe()
18572 cur_reg = &cur->stack[spi].spilled_ptr; in stacksafe()
18587 old_reg = &old->stack[spi].spilled_ptr; in stacksafe()
18588 cur_reg = &cur->stack[spi].spilled_ptr; in stacksafe()
18814 parent_reg = &parent->stack[i].spilled_ptr; in propagate_liveness()
18815 state_reg = &state->stack[i].spilled_ptr; in propagate_liveness()
18858 state_reg = &state->stack[i].spilled_ptr; in propagate_precision()
18977 slot = &state->stack[i].spilled_ptr; in iter_active_depths_differ()
18981 cur_slot = &cur->frame[fr]->stack[i].spilled_ptr; in iter_active_depths_differ()
19094 iter_state = &func(env, iter_reg)->stack[spi].spilled_ptr; in is_state_visited()
19311 frame->stack[i].spilled_ptr.live = REG_LIVE_NONE; in is_state_visited()
19312 frame->stack[i].spilled_ptr.parent = in is_state_visited()
19313 &newframe->stack[i].spilled_ptr; in is_state_visited()