Commit 3c4e420c authored by Eduard Zingerman's avatar Eduard Zingerman Committed by Alexei Starovoitov
Browse files

bpf: move explored_state() closer to the beginning of verifier.c 



Subsequent patches would make use of explored_state() function.
Move it up to avoid adding unnecessary prototype.

Signed-off-by: default avatarEduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20231024000917.12153-2-eddyz87@gmail.com


Signed-off-by: default avatarAlexei Starovoitov <ast@kernel.org>
parent b63dadd6

kernel/bpf/verifier.c

+13 −15
Original line number Diff line number Diff line
@@ -1817,6 +1817,19 @@ static int copy_verifier_state(struct bpf_verifier_state *dst_state, 
	return 0;

}









static u32 state_htab_size(struct bpf_verifier_env *env)









{









	return env->prog->len;









}

















static struct bpf_verifier_state_list **explored_state(struct bpf_verifier_env *env, int idx)









{









	struct bpf_verifier_state *cur = env->cur_state;









	struct bpf_func_state *state = cur->frame[cur->curframe];

















	return &env->explored_states[(idx ^ state->callsite) % state_htab_size(env)];









}

















static void update_branch_counts(struct bpf_verifier_env *env, struct bpf_verifier_state *st)









{









	while (st) {








@@ -15020,21 +15033,6 @@ enum {







	BRANCH = 2,









};

















static u32 state_htab_size(struct bpf_verifier_env *env)









{









	return env->prog->len;









}

















static struct bpf_verifier_state_list **explored_state(









					struct bpf_verifier_env *env,









					int idx)









{









	struct bpf_verifier_state *cur = env->cur_state;









	struct bpf_func_state *state = cur->frame[cur->curframe];

















	return &env->explored_states[(idx ^ state->callsite) % state_htab_size(env)];









}

















static void mark_prune_point(struct bpf_verifier_env *env, int idx)









{









	env->insn_aux_data[idx].prune_point = true;