On Mon, Jul 14, 2025 at 9:35 AM Cinthya Celina Tamayo Gonzalez <cinthya.tgonzalez@xxxxxxxxxxx> wrote: > > > Similarly, the code is slightly changed: same logic, but the presentation is different. > I thought this kind of cyclic programs without the ''pragma unroll'' or helpers are not allowed in eBPF. This is the reason why I sent the email. 'pragma unroll' was discouraged for years now. The verifier does support bounded loops and "timed" infinite loops.
