On Thu, 2024-02-01 at 04:20 +0000, Kumar Kartikeya Dwivedi wrote: > > Add a test case to exercise verifier logic where a global function that > > may potentially throw an exception is invoked from the main subprog, > > such that during exploration, the reference state is not visible when > > the bpf_throw instruction is explored. Without the fixes in prior > > commits, bpf_throw will not complain when unreleased resources are > > lingering in the program when a possible exception may be thrown. > > > > Signed-off-by: Kumar Kartikeya Dwivedi <memxor@xxxxxxxxx> > > --- Acked-by: Eduard Zingerman <eddyz87@xxxxxxxxx>
