TestProgramVerifierOutputOnError fails on mainline
Author: mmat11Created Sep 16, 2026Updated Sep 16, 2026
Labelsbug
Describe the bug
The mainline kernel (7.3+) now prints a structured report instead of the current verifier error format, see https://github.com/torvalds/linux/commit/ce7c9f6c599b
example:
Verification failed: Register Type Safety: Unreadable register
Reason:
R0 has never been initialized on this path, so the verifier cannot use it as an input.
At:
insn 0
| ^-- error: R0 is not readableFailing job: https://github.com/cilium/ebpf/actions/runs/35109459957/job/104839480594
Source: cilium/ebpf