Hello:
This series was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <ast@xxxxxxxxxx>:
On Thu, 4 Apr 2024 14:45:35 -0700 you wrote:
> r10 is a special register that is not under BPF program's control and is
> always effectively precise. The rest of precision logic assumes that
> only r0-r9 SCALAR registers are marked as precise, so prevent r10 from
> being marked precise.
>
> This can happen due to signed cast instruction allowing to do something
> like `r0 = (s8)r10;`, which later, if r0 needs to be precise, would lead
> to an attempt to mark r10 as precise.
>
> [...]
Here is the summary with links:
- [v2,bpf-next,1/2] bpf: prevent r10 register from being marked as precise
https://git.kernel.org/bpf/bpf-next/c/1f2a74b41ea8
- [v2,bpf-next,2/2] selftests/bpf: add fp-leaking precise subprog result tests
https://git.kernel.org/bpf/bpf-next/c/343ca8131c35
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
