On Mon, 2023-12-04 at 15:39 -0800, Andrii Nakryiko wrote: > Use the fact that we are passing subprog index around and have > a corresponding struct bpf_subprog_info in bpf_verifier_env for each > subprogram. We don't need to separately pass around a flag whether > subprog is exception callback or not, each relevant verifier function > can determine this using provided subprog index if we maintain > bpf_subprog_info properly. > > Also move out exception callback-specific logic from > btf_prepare_func_args(), keeping it generic. We can enforce all these > restriction right before exception callback verification pass. We add > out parameter, arg_cnt, for now, but this will be unnecessary with > subsequent refactoring and will be removed. > > Signed-off-by: Andrii Nakryiko <andrii@xxxxxxxxxx> > --- Acked-by: Eduard Zingerman <eddyz87@xxxxxxxxx>
