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.
