Re: [PATH bpf-next] selftests/bpf: Add few tests for alu32 shift value tracking and zext

patchwork-bot+netdevbpf
2026-03-29T17:00:25Z

Hello:

This patch was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <ast@kernel.org>:

On Fri, 27 Mar 2026 23:06:29 +0100 you wrote:
> Add few more alu32 shift tests using div-by-zero on provably dead paths
> to check both verifier and JIT xlation resp. runtime correctness.
>
> If the verifier mistracks the result, it rejects due to the div by 0;
> if the JIT computes a wrong value, then runtime hits the dead path and
> retval changes.
>
> [...]

Here is the summary with links:
- [PATH,bpf-next] selftests/bpf: Add few tests for alu32 shift value tracking and zext
https://git.kernel.org/bpf/bpf-next/c/398ad123e830

You are awesome, thank you!
--
Deet-doot-dot, I am a bot.