On Sat, 2024-06-15 at 10:46 -0700, Yonghong Song 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/ > > Yonghong Song (3): > bpf: Add missed var_off setting in set_sext32_default_val() > bpf: Add missed var_off setting in coerce_subreg_to_size_sx() > selftests/bpf: Add a few tests to cover All looks good, tests cover both patches. Acked-by: Eduard Zingerman <eddyz87@xxxxxxxxx>
