selftests/bpf: Add test for immediate spilled to stack
authorHao Sun <sunhao.th@gmail.com>
Wed, 1 Nov 2023 12:33:52 +0000 (13:33 +0100)
committerAlexei Starovoitov <ast@kernel.org>
Thu, 2 Nov 2023 05:30:27 +0000 (22:30 -0700)
commit85eb035e6cfd615071256592e1dbe72c1d99c24b
treefb460b6b1633d37877ab1ffe856a8d9ca5b30d21
parent811c363645b33e6e22658634329e95f383dfc705
selftests/bpf: Add test for immediate spilled to stack

Add a test to check if the verifier correctly reason about the sign
of an immediate spilled to stack by BPF_ST instruction.

Signed-off-by: Hao Sun <sunhao.th@gmail.com>
Link: https://lore.kernel.org/r/20231101-fix-check-stack-write-v3-2-f05c2b1473d5@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
tools/testing/selftests/bpf/verifier/bpf_st_mem.c