Hello:
This series was applied to bpf/bpf.git (master)
by Alexei Starovoitov <[email protected]>:
On Wed, 17 Jun 2026 23:20:20 +0800 you wrote:
> __clean_func_state() cleans dead stack slots in 4-byte halves. When the
> high half of a STACK_SPILL slot is dead and the low half remains live,
> cleanup converts the live low half to STACK_MISC or STACK_ZERO and clears
> the saved spilled_ptr metadata.
>
> That conversion is safe only for scalar spills. For a pointer spill, this
> metadata clear lets a later 32-bit fill from the still-live half avoid the
> normal non-scalar register-fill check and be treated as an ordinary scalar
> stack read.
>
> [...]
Here is the summary with links:
- [bpf-next,v2,1/2] bpf: Preserve pointer spill metadata during half-slot
cleanup
https://git.kernel.org/bpf/bpf/c/3a354149bcea
- [bpf-next,v2,2/2] selftests/bpf: Cover half-slot cleanup of pointer spills
https://git.kernel.org/bpf/bpf/c/8816d94303f0
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
