Hello:
This series was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <ast@xxxxxxxxxx>:
On Wed, 16 Nov 2022 00:48:57 +0200 you wrote:
> This patchset adds ability to propagates nullness information for
> branches of register to register equality compare instructions. The
> following rules are used:
> - suppose register A maybe null
> - suppose register B is not null
> - for JNE A, B, ... - A is not null in the false branch
> - for JEQ A, B, ... - A is not null in the true branch
>
> [...]
Here is the summary with links:
- [bpf-next,v3,1/2] bpf: propagate nullness information for reg to reg comparisons
https://git.kernel.org/bpf/bpf-next/c/befae75856ab
- [bpf-next,v3,2/2] selftests/bpf: check nullness propagation for reg to reg comparisons
https://git.kernel.org/bpf/bpf-next/c/4741c371aa08
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
