Hello: This series was applied to bpf/bpf.git (master) by Alexei Starovoitov <ast@xxxxxxxxxx>: On Sat, 15 Jun 2024 10:46:21 -0700 you wrote: > Zac reported a verification issue ([1]) where verification unexpectedly succeeded. > This is due to missing proper var_off setting in verifier related to > movsx insn. I found another similar issue as well. This patch set fixed > both problems and added three inline asm tests to test these fixes. > > [1] https://lore.kernel.org/bpf/CAADnVQLPU0Shz7dWV4bn2BgtGdxN3uFHPeobGBA72tpg5Xoykw@xxxxxxxxxxxxxx/ > > [...] Here is the summary with links: - [bpf,1/3] bpf: Add missed var_off setting in set_sext32_default_val() https://git.kernel.org/bpf/bpf/c/380d5f89a481 - [bpf,2/3] bpf: Add missed var_off setting in coerce_subreg_to_size_sx() https://git.kernel.org/bpf/bpf/c/44b7f7151dfc - [bpf,3/3] selftests/bpf: Add a few tests to cover https://git.kernel.org/bpf/bpf/c/a62293c33b05 You are awesome, thank you! -- Deet-doot-dot, I am a bot. https://korg.docs.kernel.org/patchwork/pwbot.html
