Linux kernel bug fix: bpf: propagate read/precision marks over state graph backedges
Subsystem: bpf (kernel/bpf/verifier.c)
Bug type: unknown, severity: unknown
Files changed: include/linux/bpf_verifier.h;kernel/bpf/verifier.c
Introduced by Eduard Zingerman on 2023-10-23 21:49:32 -0700; fixed by Eduard Zingerman on 2025-06-12 16:52:43 -0700 (lifetime: 597 days)