Hello:
This series was applied to bpf/bpf-next.git (master)
by Andrii Nakryiko <andrii@xxxxxxxxxx>:
On Thu, 18 Jul 2024 13:23:52 -0700 you wrote:
> This is a fix for precision tracking bug reported in [0].
> It supersedes my previous attempt to fix similar issue in commit [1].
> Here is a minimized test case from [0]:
>
> 0: call bpf_get_prandom_u32;
> 1: r7 = r0;
> 2: r8 = r0;
> 3: call bpf_get_prandom_u32;
> 4: if r0 > 1 goto +0;
> /* --- checkpoint #1: r7.id=1, r8.id=1 --- */
> 5: if r8 >= r0 goto 9f;
> 6: r8 += r8;
> /* --- checkpoint #2: r7.id=1, r8.id=0 --- */
> 7: if r7 == 0 goto 9f;
> 8: r0 /= 0;
> /* --- checkpoint #3 --- */
> 9: r0 = 42;
> 10: exit;
>
> [...]
Here is the summary with links:
- [bpf-next,v3,1/4] bpf: track equal scalars history on per-instruction level
https://git.kernel.org/bpf/bpf-next/c/2b7350d7ca65
- [bpf-next,v3,2/4] bpf: remove mark_precise_scalar_ids()
https://git.kernel.org/bpf/bpf-next/c/cb0f94d85874
- [bpf-next,v3,3/4] selftests/bpf: tests for per-insn sync_linked_regs() precision tracking
https://git.kernel.org/bpf/bpf-next/c/c0087d59e504
- [bpf-next,v3,4/4] selftests/bpf: update comments find_equal_scalars->sync_linked_regs
https://git.kernel.org/bpf/bpf-next/c/f081cd17c0bc
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
