selftests/bpf: Add a test case for 32-bit spill tracking
authorMaxim Mikityanskiy <maxim@isovalent.com>
Mon, 8 Jan 2024 20:51:59 +0000 (22:51 +0200)
committerAlexei Starovoitov <ast@kernel.org>
Tue, 23 Jan 2024 22:40:22 +0000 (14:40 -0800)
commitb827eee4c4d83ad92094b38d49cfec6844fb5863
tree10886b0e37fadc9d6c9abacb4b96b8fd42b5cd90
parent32f55dd4add4df1a5bc8febc1fafd3086290dbf6
selftests/bpf: Add a test case for 32-bit spill tracking

When a range check is performed on a register that was 32-bit spilled to
the stack, the IDs of the two instances of the register are the same, so
the range should also be the same.

Signed-off-by: Maxim Mikityanskiy <maxim@isovalent.com>
Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20240108205209.838365-6-maxtram95@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
tools/testing/selftests/bpf/progs/verifier_spill_fill.c