diff options
| author | Alexei Starovoitov <ast@kernel.org> | 2026-10-27 19:03:12 +0000 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2026-10-28 04:07:03 +0000 |
| commit | df9e4a87a8d300c371ca31b97999b136c7025b05 (patch) | |
| tree | 79bcc0534797cc67de9a224d924a40b4d57df58e /include/linux/timerqueue.h | |
| parent | 19caa38daf9def4a7c995ebf3bd0e89bce707652 (diff) | |
selftests/bpf: Test maybe_fork_scalars() at the head of a counted loop
The insn that forks is the head of a loop that scalar evolution counted.
The state with 0 that maybe_fork_scalars() splits off is within the state
that is kept at the head. The access is out of bounds only in the state
with 0.
Without the previous patch the verifier accepts the prog.
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Link: https://patch.msgid.link/20261027190314.1440199-18-alexei.starovoitov@gmail.com
Diffstat (limited to 'include/linux/timerqueue.h')
0 files changed, 0 insertions, 0 deletions