Re: [bpf-next v3 0/4] bpf: track find_equal_scalars history on per-instruction level

[patchwork-bot+netdevbpf@kernel.org]

Hello:

This series was applied to bpf/bpf-next.git (master)
by Andrii Nakryiko <andrii@kernel.org>:

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