xref: /linux-6.15/kernel/bpf/verifier.c (revision 6a7eccef)