diff options
| author | Eduard Zingerman <eddyz87@gmail.com> | 2023-10-24 03:09:14 +0300 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2023-10-23 21:49:31 -0700 |
| commit | 389ede06c2974b2f878a7ebff6b0f4f707f9db74 (patch) | |
| tree | 4c5c43fff63b6efb7702fae5cd86aba8a1034cfa /kernel/bpf | |
| parent | 2793a8b015f7f1caadb9bce9c63dc659f7522676 (diff) | |
selftests/bpf: tests with delayed read/precision makrs in loop body
These test cases try to hide read and precision marks from loop
convergence logic: marks would only be assigned on subsequent loop
iterations or after exploring states pushed to env->head stack first.
Without verifier fix to use exact states comparison logic for
iterators convergence these tests (except 'triple_continue') would be
errorneously marked as safe.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20231024000917.12153-5-eddyz87@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'kernel/bpf')
0 files changed, 0 insertions, 0 deletions