selftests/bpf: validate STACK_ZERO is preserved on subreg spill
authorAndrii Nakryiko <andrii@kernel.org>
Tue, 5 Dec 2023 18:42:43 +0000 (10:42 -0800)
committerAlexei Starovoitov <ast@kernel.org>
Tue, 5 Dec 2023 21:40:20 +0000 (13:40 -0800)
commitb33ceb6a3d2ee07fdd836373383a6d4783581324
tree6a50eb07c53d941a7aa676db95e91721f883d839
parenteaf18febd6ebc381aeb61543705148b3e28c7c47
selftests/bpf: validate STACK_ZERO is preserved on subreg spill

Add tests validating that STACK_ZERO slots are preserved when slot is
partially overwritten with subregister spill.

Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
Link: https://lore.kernel.org/r/20231205184248.1502704-6-andrii@kernel.org
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
tools/testing/selftests/bpf/progs/verifier_spill_fill.c