Lines Matching refs:spilled_ptr
721 state->stack[spi].spilled_ptr.dynptr.first_slot = true; in mark_stack_slots_dynptr()
722 state->stack[spi].spilled_ptr.dynptr.type = type; in mark_stack_slots_dynptr()
723 state->stack[spi - 1].spilled_ptr.dynptr.type = type; in mark_stack_slots_dynptr()
731 state->stack[spi].spilled_ptr.id = id; in mark_stack_slots_dynptr()
732 state->stack[spi - 1].spilled_ptr.id = id; in mark_stack_slots_dynptr()
754 if (dynptr_type_refcounted(state->stack[spi].spilled_ptr.dynptr.type)) { in unmark_stack_slots_dynptr()
755 release_reference(env, state->stack[spi].spilled_ptr.id); in unmark_stack_slots_dynptr()
756 state->stack[spi].spilled_ptr.id = 0; in unmark_stack_slots_dynptr()
757 state->stack[spi - 1].spilled_ptr.id = 0; in unmark_stack_slots_dynptr()
760 state->stack[spi].spilled_ptr.dynptr.first_slot = false; in unmark_stack_slots_dynptr()
761 state->stack[spi].spilled_ptr.dynptr.type = 0; in unmark_stack_slots_dynptr()
762 state->stack[spi - 1].spilled_ptr.dynptr.type = 0; in unmark_stack_slots_dynptr()
793 !state->stack[spi].spilled_ptr.dynptr.first_slot) in is_dynptr_reg_valid_init()
819 return state->stack[spi].spilled_ptr.dynptr.type == dynptr_type; in is_dynptr_type_expected()
948 print_liveness(env, state->stack[i].spilled_ptr.live); in print_verifier_state()
950 reg = &state->stack[i].spilled_ptr; in print_verifier_state()
2763 reg = &func->stack[j].spilled_ptr; in mark_all_scalars_precise()
2807 reg = &func->stack[spi].spilled_ptr; in __mark_chain_precision()
2906 reg = &func->stack[i].spilled_ptr; in __mark_chain_precision()
3009 state->stack[spi].spilled_ptr = *reg; in save_register_state()
3011 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in save_register_state()
3096 state->stack[spi].spilled_ptr.type = NOT_INIT; in check_stack_write_fixed_off()
3111 state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN; in check_stack_write_fixed_off()
3204 state->stack[spi].spilled_ptr.type = NOT_INIT; in check_stack_write_var_off()
3307 reg = ®_state->stack[spi].spilled_ptr; in check_stack_read_fixed_off()
5163 base_type(state->stack[spi].spilled_ptr.type) == PTR_TO_BTF_ID) in check_stack_range_initialized()
5167 (state->stack[spi].spilled_ptr.type == SCALAR_VALUE || in check_stack_range_initialized()
5170 __mark_reg_unknown(env, &state->stack[spi].spilled_ptr); in check_stack_range_initialized()
5193 mark_reg_read(env, &state->stack[spi].spilled_ptr, in check_stack_range_initialized()
5194 state->stack[spi].spilled_ptr.parent, in check_stack_range_initialized()
5894 return state->stack[spi].spilled_ptr.id; in stack_slot_get_id()
5961 !state->stack[spi].spilled_ptr.id) { in check_func_arg()
11418 live = st->stack[i].spilled_ptr.live; in clean_func_state()
11420 st->stack[i].spilled_ptr.live |= REG_LIVE_DONE; in clean_func_state()
11422 __mark_reg_not_init(env, &st->stack[i].spilled_ptr); in clean_func_state()
11627 if (!(old->stack[spi].spilled_ptr.live & REG_LIVE_READ)) { in stacksafe()
11661 if (!regsafe(env, &old->stack[spi].spilled_ptr, in stacksafe()
11662 &cur->stack[spi].spilled_ptr, idmap)) in stacksafe()
11831 parent_reg = &parent->stack[i].spilled_ptr; in propagate_liveness()
11832 state_reg = &state->stack[i].spilled_ptr; in propagate_liveness()
11868 state_reg = &state->stack[i].spilled_ptr; in propagate_precision()
12115 frame->stack[i].spilled_ptr.live = REG_LIVE_NONE; in is_state_visited()
12116 frame->stack[i].spilled_ptr.parent = in is_state_visited()
12117 &newframe->stack[i].spilled_ptr; in is_state_visited()