On Wed, Nov 29, 2023 at 04:04:00PM -0800, Andrii Nakryiko wrote: > BPF verifier expects callback subprogs to return values from specified > range (typically [0, 1]). This requires that r0 at exit is both precise > (because we rely on specific value range) and is marked as read > (otherwise state comparison will ignore such register as unimportant). > > Add a simple test that validates that all these conditions are enforced. > > Acked-by: Eduard Zingerman <eddyz87@xxxxxxxxx> > Signed-off-by: Andrii Nakryiko <andrii@xxxxxxxxxx> Acked-by: Shung-Hsi Yu <shung-hsi.yu@xxxxxxxx>
