diff options
author | Andrii Nakryiko <[email protected]> | 2023-12-05 10:42:47 -0800 |
---|---|---|
committer | Alexei Starovoitov <[email protected]> | 2023-12-05 13:40:21 -0800 |
commit | 064e0bea19b356c5d5f48a4549d80a3c03ce898b (patch) | |
tree | fa3c0247846db9c119d29a1b24960c7674188d61 /tools/testing/selftests/bpf/progs/sendmsg_unix_prog.c | |
parent | 18a433b62061e3d787bfc3e670fa711fecbd7cb4 (diff) |
selftests/bpf: validate precision logic in partial_stack_load_preserves_zeros
Enhance partial_stack_load_preserves_zeros subtest with detailed
precision propagation log checks. We know expect fp-16 to be spilled,
initially imprecise, zero const register, which is later marked as
precise even when partial stack slot load is performed, even if it's not
a register fill (!).
Acked-by: Eduard Zingerman <[email protected]>
Signed-off-by: Andrii Nakryiko <[email protected]>
Link: https://lore.kernel.org/r/[email protected]
Signed-off-by: Alexei Starovoitov <[email protected]>
Diffstat (limited to 'tools/testing/selftests/bpf/progs/sendmsg_unix_prog.c')
0 files changed, 0 insertions, 0 deletions