Re: [PATCH bpf-next 0/2] bpf: Fix verifier_bug_if to account for BPF_CALL

[patchwork-bot+netdevbpf]

Hello:

This series was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <ast@xxxxxxxxxx>:

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