Re: [PATCH bpf-next v2 0/2] bpf: Reject mixed arena and ordinary atomic paths

Hello:

This series was applied to bpf/bpf-next.git (master)
by Eduard Zingerman <[email protected]>:

On Sun, 16 Aug 2026 10:56:32 +0000 you wrote:
> Atomic RMW instructions use a single aux pointer type to select their final
> instruction encoding. The verifier currently records that type only for
> PTR_TO_ARENA, allowing a second path with an ordinary pointer to reach the
> same instruction before fixups rewrite it to BPF_PROBE_ATOMIC.
> 
> Patch 1 records the destination type for every atomic RMW path so the existing
> pointer mismatch check rejects incompatible uses of one instruction.
> 
> [...]

Here is the summary with links:
  - [bpf-next,v2,1/2] bpf: Check pointer type for all atomic RMW paths
    https://git.kernel.org/bpf/bpf-next/c/4bc49ae344d6
  - [bpf-next,v2,2/2] selftests/bpf: Cover mixed arena and stack atomics
    https://git.kernel.org/bpf/bpf-next/c/5ab9fbeca8f7

You are awesome, thank you!
-- 
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html