diff options
| author | Eduard Zingerman <eddyz87@gmail.com> | 2026-10-09 03:48:05 -0700 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2026-10-09 20:29:15 +0000 |
| commit | 8c5f6dfefdf17f42979e2ca0fe13f80dd80b34df (patch) | |
| tree | 1d8b6e48a9887a22035df3adf83aaaee8bf2d8b8 /include | |
| parent | 2db5837f9adafbf7bd68aac4666400296b3bb8c7 (diff) | |
| download | linux-next-8c5f6dfefdf17f42979e2ca0fe13f80dd80b34df.tar.gz linux-next-8c5f6dfefdf17f42979e2ca0fe13f80dd80b34df.zip | |
selftests/bpf: Tests for register base/step state pruning
Tests for the base/step reasoning in states.c:range_within():
- step_prune_hit_multiple: prune a step-4 range contained in a cached
step-2 range when the scalar is used to address the stack.
- step_prune_miss_non_multiple: do not let a cached step-2 range hide a
step-3 path reaching division by zero.
- step_prune_hit_const_on_line: prune constant 6 against a cached
base-0, step-3 range.
- step_prune_miss_const_off_line: do not prune constant 7 against that
range even though its bounds and tnum admit the value.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Link: https://patch.msgid.link/20261009-scev-minimal-rebase-v3-47-bcba9bc53ac9@gmail.com
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions