diff options
| author | Nuoqi Gui <gnq25@mails.tsinghua.edu.cn> | 2026-06-17 18:20:21 +0300 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2026-06-22 23:39:34 +0300 |
| commit | 8816d94303f09222332e39a0119b7d0ce016e7a2 (patch) | |
| tree | d7160059920baf9d970ef85c34606872d645fd2a /rust/zerocopy/src/pointer/git@radix-linux.su:pub | |
| parent | 3a354149bceacadbcf7d7b4766f5ef26a85892ab (diff) | |
| download | linux-8816d94303f09222332e39a0119b7d0ce016e7a2.tar.xz | |
selftests/bpf: Cover half-slot cleanup of pointer spills
Add a verifier regression test for a pointer spill whose high half is
cleaned dead while the low half remains live. Force checkpoint creation
with BPF_F_TEST_STATE_FREQ and assert the verifier log reaches the
checkpoint and the subsequent 32-bit fill before rejecting the partial fill
from a non-scalar spill.
Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Signed-off-by: Nuoqi Gui <gnq25@mails.tsinghua.edu.cn>
Link: https://lore.kernel.org/r/20260617-f01-06-half-slot-pointer-spill-v2-2-42b9cdc3cf64@mails.tsinghua.edu.cn
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'rust/zerocopy/src/pointer/git@radix-linux.su:pub')
0 files changed, 0 insertions, 0 deletions