Hello:
This series was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <[email protected]>:
On Tue, 27 Jan 2026 12:59:10 +0100 you wrote:
> This fixes the verifier_bug_if() that runs on nospec_result to not trigger
> for BPF_CALL (bug reported by Hu, Mei, and Mu). See patch 1 for a full
> description and patch 2 for a test (based on the PoC from the report).
>
> While working on this I noticed two other problems:
>
> - nospec_result is currently ignored for BPF_CALL during patching, but it
> may be required if we assume the CPU may speculate into/out of functions.
>
> [...]
Here is the summary with links:
- [bpf-next,1/2] bpf: Fix verifier_bug_if to account for BPF_CALL
https://git.kernel.org/bpf/bpf-next/c/cd3b6a3d49f8
- [bpf-next,2/2] bpf: Test nospec after dead stack write in helper
https://git.kernel.org/bpf/bpf-next/c/60d2c438c1bb
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
