Hello:
This series was applied to bpf/bpf-next.git (master)
by Andrii Nakryiko <andrii@xxxxxxxxxx>:
On Mon, 1 Nov 2021 15:21:51 -0700 you wrote:
> From: Alexei Starovoitov <ast@xxxxxxxxxx>
>
> Before this fix:
> 166: (b5) if r2 <= 0x1 goto pc+22
> from 166 to 189: R2=invP(id=1,umax_value=1,var_off=(0x0; 0xffffffff))
>
> After this fix:
> 166: (b5) if r2 <= 0x1 goto pc+22
> from 166 to 189: R2=invP(id=1,umax_value=1,var_off=(0x0; 0x1))
>
> [...]
Here is the summary with links:
- [v2,bpf-next,1/3] bpf: Fix propagation of bounds from 64-bit min/max into 32-bit and var_off.
https://git.kernel.org/bpf/bpf-next/c/b9979db83401
- [v2,bpf-next,2/3] bpf: Fix propagation of signed bounds from 64-bit min/max into 32-bit.
https://git.kernel.org/bpf/bpf-next/c/388e2c0b9783
- [v2,bpf-next,3/3] selftests/bpf: Add a testcase for 64-bit bounds propagation issue.
https://git.kernel.org/bpf/bpf-next/c/0869e5078afb
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
