Re: bpf: incorrect passing infinate loop causing rcu detected stall during bpf_prog_run()

[Alexei Starovoitov]

On Fri, Oct 27, 2023 at 2:09 AM Hao Sun <sunhao.th@xxxxxxxxx> wrote:
>
> Hi,
>
> The following C repro contains a bpf program that can cause rcu
> stall/soft lockup during running in bpf_prog_run(). Seems the verifier
> incorrectly passed the program with an infinite loop.
>
> C repro: https://pastebin.com/raw/ymzAxjeU

Thanks for the report.
Did you debug what exactly caused this bug?
Are you planning to work on the fix?

> Verifier's log: https://pastebin.com/raw/thZDTFJc

log is trimmed.