kernel/bpf/verifier.c

8046 	struct bpf_verifier_state *cur_st = env->cur_state, *queued_st, *prev_st;
8078 		queued_st = push_stack(env, insn_idx + 1, insn_idx, false);
8079 		if (!queued_st)
8082 		queued_iter = &queued_st->frame[iter_frameno]->stack[iter_spi].spilled_ptr;
8086 			widen_imprecise_scalars(env, prev_st, queued_st);
8088 		queued_fr = queued_st->frame[queued_st->curframe];
15121 		struct bpf_verifier_state *cur_st = env->cur_state, *queued_st, *prev_st;
15134 		queued_st = push_stack(env, idx + 1, idx, false);
15135 		if (!queued_st)
15138 		queued_st->may_goto_depth++;
15140 			widen_imprecise_scalars(env, prev_st, queued_st);