diff options
| author | Eduard Zingerman <eddyz87@gmail.com> | 2023-10-24 03:09:14 +0300 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2023-10-24 07:49:31 +0300 |
| commit | 389ede06c2974b2f878a7ebff6b0f4f707f9db74 (patch) | |
| tree | 4c5c43fff63b6efb7702fae5cd86aba8a1034cfa /tools/perf/scripts/python/export-to-postgresql.py | |
| parent | 2793a8b015f7f1caadb9bce9c63dc659f7522676 (diff) | |
| download | linux-389ede06c2974b2f878a7ebff6b0f4f707f9db74.tar.xz | |
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 'tools/perf/scripts/python/export-to-postgresql.py')
0 files changed, 0 insertions, 0 deletions