From: Alexei Starovoitov Date: Mon, 17 Jun 2024 17:45:47 +0000 (-0700) Subject: Merge branch 'bpf-fix-missed-var_off-related-to-movsx-in-verifier' X-Git-Tag: v6.10-rc6~35^2~10^2~9 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bfbcb2c9d2978a28e9f0a77100170dc14fcf7c79;p=thirdparty%2Flinux.git Merge branch 'bpf-fix-missed-var_off-related-to-movsx-in-verifier' Yonghong Song says: ==================== bpf: Fix missed var_off related to movsx in verifier 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@mail.gmail.com/ ==================== Acked-by: Eduard Zingerman Link: https://lore.kernel.org/r/20240615174621.3994321-1-yonghong.song@linux.dev Signed-off-by: Alexei Starovoitov --- bfbcb2c9d2978a28e9f0a77100170dc14fcf7c79