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

[patchwork-bot+netdevbpf@kernel.org]

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.
https://korg.docs.kernel.org/patchwork/pwbot.html