On Tue, 2023-11-21 at 17:16 -0800, Andrii Nakryiko wrote: > Given we enforce a valid range for program and async callback return > value, we must mark R0 as precise to avoid incorrect state pruning. > > Signed-off-by: Andrii Nakryiko <andrii@xxxxxxxxxx> > --- Acked-by: Eduard Zingerman <eddyz87@xxxxxxxxx> [...]