]> git.ipfire.org Git - thirdparty/kernel/linux.git/commit
Merge branch 'fix-bpf_throw-global-subprogs-interaction'
authorAlexei Starovoitov <ast@kernel.org>
Sun, 17 May 2026 18:15:05 +0000 (11:15 -0700)
committerAlexei Starovoitov <ast@kernel.org>
Sun, 17 May 2026 18:15:35 +0000 (11:15 -0700)
commit201166d79fc01b607eccdddd4e1a7189f231904b
tree685cace04b83584c2b352aea0d23ae05ae93100a
parenta828abbb897657451d96ad7bf20f1893ac983bb9
parent511a5db3c9ec55dd5393b8639000df080c296ef4
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 <ast@kernel.org>