diff options
| author | Andrii Nakryiko <andrii@kernel.org> | 2023-12-05 10:42:45 -0800 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2023-12-05 13:40:21 -0800 |
| commit | add1cd7f22e61756987865ada9fe95cd86569025 (patch) | |
| tree | 4a3a28c109d0c6d293cead323e1b26c883ee70bf /kernel/bpf/verifier.c | |
| parent | e322f0bcb8d371f4606eaf141c7f967e1a79bcb7 (diff) | |
selftests/bpf: validate zero preservation for sub-slot loads
Validate that 1-, 2-, and 4-byte loads from stack slots not aligned on
8-byte boundary still preserve zero, when loading from all-STACK_ZERO
sub-slots, or when stack sub-slots are covered by spilled register with
known constant zero value.
Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
Link: https://lore.kernel.org/r/20231205184248.1502704-8-andrii@kernel.org
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'kernel/bpf/verifier.c')
0 files changed, 0 insertions, 0 deletions