On Sat, Jun 15, 2024 at 11:49 PM Zac Ecob <zacecob@xxxxxxxxxxxxxx> wrote: > > Hi, > > Found a program that the verifier accepts but causes an infinite loop. Works on 6.9.4 (which I ran in qemu-system-x86_64). > > The JA always jumps back to the start of the program, where the JCOND will never successfully jump to exit. > > Attached is the repro files. Thanks for the report. It exposes a bug in insn patching where may_goto is the first insn and goto jumps to that very first insn. So bpf_patch_insn_data() adjust JA's off unnecessarily.
