Lines Matching refs:spilled_ptr

930 	mark_dynptr_stack_regs(env, &state->stack[spi].spilled_ptr,  in mark_stack_slots_dynptr()
931 &state->stack[spi - 1].spilled_ptr, type); in mark_stack_slots_dynptr()
945 state->stack[spi].spilled_ptr.ref_obj_id = id; in mark_stack_slots_dynptr()
946 state->stack[spi - 1].spilled_ptr.ref_obj_id = id; in mark_stack_slots_dynptr()
949 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in mark_stack_slots_dynptr()
950 state->stack[spi - 1].spilled_ptr.live |= REG_LIVE_WRITTEN; in mark_stack_slots_dynptr()
964 __mark_reg_not_init(env, &state->stack[spi].spilled_ptr); in invalidate_dynptr()
965 __mark_reg_not_init(env, &state->stack[spi - 1].spilled_ptr); in invalidate_dynptr()
988 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in invalidate_dynptr()
989 state->stack[spi - 1].spilled_ptr.live |= REG_LIVE_WRITTEN; in invalidate_dynptr()
1001 if (!dynptr_type_refcounted(state->stack[spi].spilled_ptr.dynptr.type)) { in unmark_stack_slots_dynptr()
1006 ref_obj_id = state->stack[spi].spilled_ptr.ref_obj_id; in unmark_stack_slots_dynptr()
1020 if (state->stack[i].spilled_ptr.ref_obj_id != ref_obj_id) in unmark_stack_slots_dynptr()
1031 if (state->stack[i].spilled_ptr.dynptr.first_slot) in unmark_stack_slots_dynptr()
1065 if (!state->stack[spi].spilled_ptr.dynptr.first_slot) in destroy_if_dynptr_stack_slot()
1068 if (dynptr_type_refcounted(state->stack[spi].spilled_ptr.dynptr.type)) { in destroy_if_dynptr_stack_slot()
1082 dynptr_id = state->stack[spi].spilled_ptr.id; in destroy_if_dynptr_stack_slot()
1095 __mark_reg_not_init(env, &state->stack[spi].spilled_ptr); in destroy_if_dynptr_stack_slot()
1096 __mark_reg_not_init(env, &state->stack[spi - 1].spilled_ptr); in destroy_if_dynptr_stack_slot()
1099 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in destroy_if_dynptr_stack_slot()
1100 state->stack[spi - 1].spilled_ptr.live |= REG_LIVE_WRITTEN; in destroy_if_dynptr_stack_slot()
1150 if (!state->stack[spi].spilled_ptr.dynptr.first_slot) in is_dynptr_reg_valid_init()
1180 return state->stack[spi].spilled_ptr.dynptr.type == dynptr_type; in is_dynptr_type_expected()
1203 struct bpf_reg_state *st = &slot->spilled_ptr; in mark_stack_slots_iter()
1235 struct bpf_reg_state *st = &slot->spilled_ptr; in unmark_stack_slots_iter()
1293 struct bpf_reg_state *st = &slot->spilled_ptr; in is_iter_reg_valid_init()
1346 stack->spilled_ptr.type == SCALAR_VALUE; in is_spilled_scalar_reg()
1469 reg = &state->stack[i].spilled_ptr; in print_verifier_state()
1482 reg = &state->stack[i].spilled_ptr; in print_verifier_state()
1492 reg = &state->stack[i].spilled_ptr; in print_verifier_state()
1506 reg = &state->stack[i].spilled_ptr; in print_verifier_state()
3176 ret = mark_reg_read(env, &state->stack[spi].spilled_ptr, in mark_dynptr_read()
3177 state->stack[spi].spilled_ptr.parent, REG_LIVE_READ64); in mark_dynptr_read()
3180 return mark_reg_read(env, &state->stack[spi - 1].spilled_ptr, in mark_dynptr_read()
3181 state->stack[spi - 1].spilled_ptr.parent, REG_LIVE_READ64); in mark_dynptr_read()
3191 struct bpf_reg_state *st = &state->stack[spi - i].spilled_ptr; in mark_iter_read()
4009 reg = &func->stack[j].spilled_ptr; in mark_all_scalars_precise()
4039 reg = &func->stack[j].spilled_ptr; in mark_all_scalars_imprecise()
4103 reg = &func->stack[i].spilled_ptr; in mark_precise_scalar_ids()
4125 reg = &func->stack[i].spilled_ptr; in mark_precise_scalar_ids()
4400 reg = &func->stack[i].spilled_ptr; in __mark_chain_precision()
4528 copy_register_state(&state->stack[spi].spilled_ptr, reg); in save_register_state()
4530 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in save_register_state()
4610 state->stack[spi].spilled_ptr.id = 0; in check_stack_write_fixed_off()
4634 state->stack[spi].spilled_ptr.type = NOT_INIT; in check_stack_write_fixed_off()
4649 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in check_stack_write_fixed_off()
4752 state->stack[spi].spilled_ptr.type = NOT_INIT; in check_stack_write_var_off()
4856 reg = &reg_state->stack[spi].spilled_ptr; in check_stack_read_fixed_off()
7157 (state->stack[spi].spilled_ptr.type == SCALAR_VALUE || in check_stack_range_initialized()
7160 __mark_reg_unknown(env, &state->stack[spi].spilled_ptr); in check_stack_range_initialized()
7182 mark_reg_read(env, &state->stack[spi].spilled_ptr, in check_stack_range_initialized()
7183 state->stack[spi].spilled_ptr.parent, in check_stack_range_initialized()
7679 return state->stack[spi].spilled_ptr.ref_obj_id; in iter_ref_obj_id()
7841 &fold->stack[i].spilled_ptr, in widen_imprecise_scalars()
7842 &fcur->stack[i].spilled_ptr, in widen_imprecise_scalars()
7938 cur_iter = &env->cur_state->frame[iter_frameno]->stack[iter_spi].spilled_ptr; in process_iter_next_call()
7966 queued_iter = &queued_st->frame[iter_frameno]->stack[iter_spi].spilled_ptr; in process_iter_next_call()
8416 return state->stack[spi].spilled_ptr.id; in dynptr_id()
8429 return state->stack[spi].spilled_ptr.ref_obj_id; in dynptr_ref_obj_id()
8447 return state->stack[spi].spilled_ptr.dynptr.type; in dynptr_get_type()
8522 if (spi < 0 || !state->stack[spi].spilled_ptr.ref_obj_id) { in check_func_arg()
15909 live = st->stack[i].spilled_ptr.live; in clean_func_state()
15911 st->stack[i].spilled_ptr.live |= REG_LIVE_DONE; in clean_func_state()
15913 __mark_reg_not_init(env, &st->stack[i].spilled_ptr); in clean_func_state()
16134 if (!(old->stack[spi].spilled_ptr.live & REG_LIVE_READ) && !exact) { in stacksafe()
16183 if (!regsafe(env, &old->stack[spi].spilled_ptr, in stacksafe()
16184 &cur->stack[spi].spilled_ptr, idmap, exact)) in stacksafe()
16188 old_reg = &old->stack[spi].spilled_ptr; in stacksafe()
16189 cur_reg = &cur->stack[spi].spilled_ptr; in stacksafe()
16196 old_reg = &old->stack[spi].spilled_ptr; in stacksafe()
16197 cur_reg = &cur->stack[spi].spilled_ptr; in stacksafe()
16408 parent_reg = &parent->stack[i].spilled_ptr; in propagate_liveness()
16409 state_reg = &state->stack[i].spilled_ptr; in propagate_liveness()
16452 state_reg = &state->stack[i].spilled_ptr; in propagate_precision()
16571 slot = &state->stack[i].spilled_ptr; in iter_active_depths_differ()
16575 cur_slot = &cur->frame[fr]->stack[i].spilled_ptr; in iter_active_depths_differ()
16685 iter_state = &func(env, iter_reg)->stack[spi].spilled_ptr; in is_state_visited()
16908 frame->stack[i].spilled_ptr.live = REG_LIVE_NONE; in is_state_visited()
16909 frame->stack[i].spilled_ptr.parent = in is_state_visited()
16910 &newframe->stack[i].spilled_ptr; in is_state_visited()