506 			if (state->stack[i].slot_type[j] != STACK_INVALID)  in print_verifier_state()
509 					state->stack[i].slot_type[j]];  in print_verifier_state()
515 		print_liveness(env, state->stack[i].spilled_ptr.live);  in print_verifier_state()
516 		if (state->stack[i].slot_type[0] == STACK_SPILL) {  in print_verifier_state()
517 			reg = &state->stack[i].spilled_ptr;  in print_verifier_state()
555 COPY_STATE_FN(stack, allocated_stack, stack, BPF_REG_SIZE)  in COPY_STATE_FN()  argument
595 REALLOC_STATE_FN(stack, allocated_stack, stack, BPF_REG_SIZE)
671 	kfree(state->stack);  in free_func_state()
1674 				if (func->stack[j].slot_type[0] != STACK_SPILL)  in mark_all_scalars_precise()
1676 				reg = &func->stack[j].spilled_ptr;  in mark_all_scalars_precise()
1717 		if (func->stack[spi].slot_type[0] != STACK_SPILL) {  in __mark_chain_precision()
1721 		reg = &func->stack[spi].spilled_ptr;  in __mark_chain_precision()
1816 			if (func->stack[i].slot_type[0] != STACK_SPILL) {  in __mark_chain_precision()
1820 			reg = &func->stack[i].spilled_ptr;  in __mark_chain_precision()
1907 	state->stack[spi].spilled_ptr = *reg;  in save_register_state()
1908 	state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN;  in save_register_state()
1911 		state->stack[spi].slot_type[i] = STACK_SPILL;  in save_register_state()
1934 	    state->stack[spi].slot_type[0] == STACK_SPILL &&  in check_stack_write()
1947 			u8 type = state->stack[spi].slot_type[i];  in check_stack_write()
1989 		state->stack[spi].spilled_ptr.type = NOT_INIT;  in check_stack_write()
1991 		if (state->stack[spi].slot_type[0] == STACK_SPILL)  in check_stack_write()
1993 				state->stack[spi].slot_type[i] = STACK_MISC;  in check_stack_write()
2004 			state->stack[spi].spilled_ptr.live |= REG_LIVE_WRITTEN;  in check_stack_write()
2017 			state->stack[spi].slot_type[(slot - i) % BPF_REG_SIZE] =  in check_stack_write()
2038 	stype = reg_state->stack[spi].slot_type;  in check_stack_read()
2039 	reg = &reg_state->stack[spi].spilled_ptr;  in check_stack_read()
2592 	u16 stack = env->subprog_info[func->subprogno].stack_depth;  in update_stack_depth()  local
2594 	if (stack >= -off)  in update_stack_depth()
3138 		stype = &state->stack[spi].slot_type[slot % BPF_REG_SIZE];  in check_stack_boundary()
3146 		if (state->stack[spi].slot_type[0] == STACK_SPILL &&  in check_stack_boundary()
3147 		    state->stack[spi].spilled_ptr.type == SCALAR_VALUE) {  in check_stack_boundary()
3148 			__mark_reg_unknown(env, &state->stack[spi].spilled_ptr);  in check_stack_boundary()
3150 				state->stack[spi].slot_type[j] = STACK_MISC;  in check_stack_boundary()
3170 		mark_reg_read(env, &state->stack[spi].spilled_ptr,  in check_stack_boundary()
3171 			      state->stack[spi].spilled_ptr.parent,  in check_stack_boundary()
7062 		live = st->stack[i].spilled_ptr.live;  in clean_func_state()
7064 		st->stack[i].spilled_ptr.live |= REG_LIVE_DONE;  in clean_func_state()
7066 			__mark_reg_not_init(env, &st->stack[i].spilled_ptr);  in clean_func_state()
7068 				st->stack[i].slot_type[j] = STACK_INVALID;  in clean_func_state()
7271 		if (!(old->stack[spi].spilled_ptr.live & REG_LIVE_READ)) {  in stacksafe()
7277 		if (old->stack[spi].slot_type[i % BPF_REG_SIZE] == STACK_INVALID)  in stacksafe()
7290 		if (old->stack[spi].slot_type[i % BPF_REG_SIZE] == STACK_MISC &&  in stacksafe()
7291 		    cur->stack[spi].slot_type[i % BPF_REG_SIZE] == STACK_ZERO)  in stacksafe()
7293 		if (old->stack[spi].slot_type[i % BPF_REG_SIZE] !=  in stacksafe()
7294 		    cur->stack[spi].slot_type[i % BPF_REG_SIZE])  in stacksafe()
7303 		if (old->stack[spi].slot_type[0] != STACK_SPILL)  in stacksafe()
7305 		if (!regsafe(env, &old->stack[spi].spilled_ptr,  in stacksafe()
7306 			     &cur->stack[spi].spilled_ptr, idmap))  in stacksafe()
7475 			parent_reg = &parent->stack[i].spilled_ptr;  in propagate_liveness()
7476 			state_reg = &state->stack[i].spilled_ptr;  in propagate_liveness()
7510 		if (state->stack[i].slot_type[0] != STACK_SPILL)  in propagate_precision()
7512 		state_reg = &state->stack[i].spilled_ptr;  in propagate_precision()
7743 			frame->stack[i].spilled_ptr.live = REG_LIVE_NONE;  in is_state_visited()
7744 			frame->stack[i].spilled_ptr.parent =  in is_state_visited()
7745 						&newframe->stack[i].spilled_ptr;  in is_state_visited()