kernel/bpf/verifier.c

8046 	struct bpf_verifier_state *cur_st = env->cur_state, *queued_st, *prev_st;
8047 	struct bpf_func_state *cur_fr = cur_st->frame[cur_st->curframe], *queued_fr;
8067 		if (!cur_st->parent || cur_st->parent->insn_idx != insn_idx ||
8068 		    !same_callsites(cur_st->parent, cur_st)) {
8072 		/* Note cur_st->parent in the call below, it is necessary to skip
8073 		 * checkpoint created for cur_st by is_state_visited()
8076 		prev_st = find_prev_entry(env, cur_st->parent, insn_idx);
15121 		struct bpf_verifier_state *cur_st = env->cur_state, *queued_st, *prev_st;
15131 		prev_st = find_prev_entry(env, cur_st->parent, idx);