diff options
| author | Alexei Starovoitov <ast@kernel.org> | 2026-03-22 19:24:10 -0700 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2026-03-24 12:10:38 -0700 |
| commit | 7b4f1a29c704f2c28f32dca5fea6d173891c16a9 (patch) | |
| tree | ff1a626e259c8f7215c62a4291a9036357b21d58 /tools/perf/scripts/python/stackcollapse.py | |
| parent | 596bef1d718d7a98def7945fad694c3ddbbbfef1 (diff) | |
selftests/bpf: Test 32-bit scalar spill pruning in stacksafe()
Add a test verifying that stacksafe() correctly handles 32-bit scalar
spills when comparing stack states for equivalence during state pruning.
A 32-bit scalar spill creates slot[0-3] = STACK_INVALID and
slot[4-7] = STACK_SPILL. Without the im=4 check in stacksafe(), the
STACK_SPILL vs STACK_MISC mismatch at byte 4 causes pruning to fail,
forcing the verifier to re-explore a path that is provably safe.
Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20260323022410.75444-2-alexei.starovoitov@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'tools/perf/scripts/python/stackcollapse.py')
0 files changed, 0 insertions, 0 deletions