From: Alexei Starovoitov Date: Sun, 17 May 2026 18:15:05 +0000 (-0700) Subject: Merge branch 'fix-bpf_throw-global-subprogs-interaction' X-Git-Tag: v7.1-rc5~7^2~2 X-Git-Url: http://git.ipfire.org/gitweb/index.cgi?a=commitdiff_plain;h=201166d79fc01b607eccdddd4e1a7189f231904b;p=thirdparty%2Fkernel%2Flinux.git Merge branch 'fix-bpf_throw-global-subprogs-interaction' Kumar Kartikeya Dwivedi says: ==================== Fix bpf_throw() vs global subprogs interaction There is a bug where bpf_throw()'s reachability across global subprogs is missed by the verifier, leading to successful verification when any kernel resource or lock is held across global subprog call boundary. Fix this by effect summarization like other related side effects and propagate exception reachability into callees. Changelog: ---------- v1 -> v2 v1: https://lore.kernel.org/bpf/20260516022426.2109698-1-memxor@gmail.com * Reorder might_throw bit to avoid bpf-next conflicts. (Alexei) ==================== Link: https://patch.msgid.link/20260517075530.3461166-1-memxor@gmail.com Signed-off-by: Alexei Starovoitov --- 201166d79fc01b607eccdddd4e1a7189f231904b