On Thu, 2024-02-01 at 04:21 +0000, Kumar Kartikeya Dwivedi wrote: > Reflect in the verifier state that references would be released whenever > we throw a BPF exception. Now that we support generating frame > descriptors, and performing the runtime cleanup, whenever processing an > entry corresponding to an acquired reference, make sure we release its > reference state. Note that we only release this state for the current > frame, as the acquired refs are only checked against that when > processing an exceptional exit. > > This would ensure that for acquired resources apart from locks and RCU > read sections, BPF programs never fail in case of lingering resources > during verification. > > While at it, we can tweak check_reference_leak to drop the > exception_exit parameter, and fix selftests that will fail due to the > changed behaviour. > > Signed-off-by: Kumar Kartikeya Dwivedi <memxor@xxxxxxxxx> > --- Acked-by: Eduard Zingerman <eddyz87@xxxxxxxxx>
