Re: [PATCH bpf-next v2] [tools/bpf] workaround a verifier failure for test_progs

[Alexei Starovoitov <alexei.starovoitov@xxxxxxxxx>]

On Mon, Apr 27, 2020 at 11:14 PM Yonghong Song <yhs@xxxxxx> wrote:
> > -       int ret;
> > +      /* a workaround to prevent compiler from generating
> > +      * codes verifier cannot handle yet.
> > +      */
> > +      volatile int ret;
> >
> >          if (ctx->write)
> >                  return 0;
>
> Right. This is related to alu32 mode. The detailed description
> https://lore.kernel.org/bpf/20191107170045.2503480-1-yhs@xxxxxx/
>
> We are still working on this, either a verifier solution or a compiler
> workaround.

Thanks for the report.
I pushed the same fix for progs/test_sysctl_prog.c into bpf-next.
Now test_sysctl passes.