On Wed, 2023-11-22 at 13:31 -0800, Andrii Nakryiko wrote: > Add a few test that validate BPF verifier's lazy approach to validating > global subprogs. > > We check that global subprogs that are called transitively through > another global subprog is validated. > > We also check that invalid global subprog is not validated, if it's not > called from the main program. > > And we also check that main program is always validated first, before > any of the subprogs. > > Signed-off-by: Andrii Nakryiko <andrii@xxxxxxxxxx> > --- Acked-by: Eduard Zingerman <eddyz87@xxxxxxxxx>
