Hello:
This series was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <ast@xxxxxxxxxx>:
On Thu, 10 Jul 2025 20:20:53 +0200 you wrote:
> Syzbot reported a kernel warning due to a range invariant violation on
> the following BPF program.
>
> 0: call bpf_get_netns_cookie
> 1: if r0 == 0 goto <exit>
> 2: if r0 & Oxffffffff goto <exit>
>
> [...]
Here is the summary with links:
- [bpf-next,v2,1/2] bpf: Forget ranges when refining tnum after JSET
https://git.kernel.org/bpf/bpf-next/c/6279846b9b25
- [bpf-next,v2,2/2] selftests/bpf: Range analysis test case for JSET
https://git.kernel.org/bpf/bpf-next/c/d81526a6ebff
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
