Hello:
This series was applied to bpf/bpf-next.git (master)
by Martin KaFai Lau <martin.lau@xxxxxxxxxx>:
On Mon, 7 Aug 2023 10:57:21 -0700 you wrote:
> syzbot reports a verifier bug which triggers a runtime panic.
> The test bpf program is:
> 0: (62) *(u32 *)(r10 -8) = 553656332
> 1: (bf) r1 = (s16)r10
> 2: (07) r1 += -8
> 3: (b7) r2 = 3
> 4: (bd) if r2 <= r1 goto pc+0
> 5: (85) call bpf_trace_printk#-138320
> 6: (b7) r0 = 0
> 7: (95) exit
>
> [...]
Here is the summary with links:
- [bpf-next,1/2] bpf: Fix an incorrect verification success with movsx insn
https://git.kernel.org/bpf/bpf-next/c/db2baf82b098
- [bpf-next,2/2] selftests/bpf: Add a movsx selftest for sign-extension of R10
https://git.kernel.org/bpf/bpf-next/c/a5c0a42bd374
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
