Re: [PATCH bpf-next v3 0/6] Fix invariant violations and improve branch detection

patchwork-bot+netdevbpf
2026-04-03T01:30:32Z

Hello:

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

On Thu, 2 Apr 2026 17:07:25 +0200 you wrote:
> This patchset fixes invariant violations on register bounds. These
> invariant violations cause a warning and happen when reg_bounds_sync is
> trying to refine register bounds while walking an impossible branch.
>
> This patchset takes this situation as an opportunity to improve
> verification performance. That is, the verifier will use the invariant
> violations as a signal that a branch cannot be taken and process it as
> dead code.
>
> [...]

Here is the summary with links:
- [bpf-next,v3,1/6] bpf: Refactor reg_bounds_sanity_check
https://git.kernel.org/bpf/bpf-next/c/a1311b94ef85
- [bpf-next,v3,2/6] bpf: Use bpf_verifier_env buffers for reg_set_min_max
https://git.kernel.org/bpf/bpf-next/c/ec1d77cb0ee9
- [bpf-next,v3,3/6] bpf: Exit early if reg_bounds_sync gets invalid inputs
https://git.kernel.org/bpf/bpf-next/c/a2a14e874b4e
- [bpf-next,v3,4/6] bpf: Simulate branches to prune based on range violations
https://git.kernel.org/bpf/bpf-next/c/b254c6d816e5
- [bpf-next,v3,5/6] selftests/bpf: Cover invariant violation case from syzbot
https://git.kernel.org/bpf/bpf-next/c/2ba199067b89
- [bpf-next,v3,6/6] selftests/bpf: Remove invariant violation flags
https://git.kernel.org/bpf/bpf-next/c/7cbded6ed98f

You are awesome, thank you!
--
Deet-doot-dot, I am a bot.