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
