Re: [PATCH v3 0/2] bpf, verifier: Improve precision of BPF_ADD and BPF_SUB

From: patchwork-bot+netdevbpf
Date: Tue Jun 24 2025 - 21:59:51 EST


Hello:

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

On Mon, 23 Jun 2025 00:03:55 -0400 you wrote:
> This patchset improves the precision of BPF_ADD and BPF_SUB range
> tracking. It also adds selftests that exercise the cases where precision
> improvement occurs, and selftests for the cases where precise bounds
> cannot be computed and the output register state values are set to
> unbounded.
>
> Changelog:
>
> [...]

Here is the summary with links:
- [v3,1/2] bpf, verifier: Improve precision for BPF_ADD and BPF_SUB
https://git.kernel.org/bpf/bpf-next/c/7a998a731627
- [v3,2/2] selftests/bpf: Add testcases for BPF_ADD and BPF_SUB
(no matching commit)

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