On Mon, 2023-12-04 at 15:39 -0800, Andrii Nakryiko wrote: > Subprog call logic in btf_check_subprog_call() currently has both a lot > of BTF parsing logic (which is, presumably, what justified putting it > into btf.c), but also a bunch of register state checks, some of each > utilize deep verifier logic helpers, necessarily exported from > verifier.c: check_ptr_off_reg(), check_func_arg_reg_off(), > and check_mem_reg(). > > Going forward, btf_check_subprog_call() will have a minimum of > BTF-related logic, but will get more internal verifier logic related to > register state manipulation. So move it into verifier.c to minimize > amount of verifier-specific logic exposed to btf.c. > > We do this move before refactoring btf_check_func_arg_match() to > preserve as much history post-refactoring as possible. > > No functional changes. > > Signed-off-by: Andrii Nakryiko <andrii@xxxxxxxxxx> > --- Acked-by: Eduard Zingerman <eddyz87@xxxxxxxxx>
