diff options
author | 2023-10-24 03:09:14 +0300 | |
---|---|---|
committer | 2023-10-23 21:49:31 -0700 | |
commit | 389ede06c2974b2f878a7ebff6b0f4f707f9db74 (patch) | |
tree | 4c5c43fff63b6efb7702fae5cd86aba8a1034cfa /tools/perf/scripts/python/export-to-postgresql.py | |
parent | bpf: exact states comparison for iterator convergence checks (diff) | |
download | wireguard-linux-389ede06c2974b2f878a7ebff6b0f4f707f9db74.tar.xz wireguard-linux-389ede06c2974b2f878a7ebff6b0f4f707f9db74.zip |
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