On Tue, 2023-11-21 at 17:16 -0800, Andrii Nakryiko wrote: > > Add one more subtest to global_func15 selftest to validate that > > verifier properly marks r0 as precise and avoids erroneous state pruning > > of the branch that has return value outside of expected [0, 1] value. > > > > Signed-off-by: Andrii Nakryiko <andrii@xxxxxxxxxx> > > --- Acked-by: Eduard Zingerman <eddyz87@xxxxxxxxx> [...]
