diff options
| author | Eduard Zingerman <eddyz87@gmail.com> | 2022-12-09 15:57:33 +0200 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2022-12-10 13:36:22 -0800 |
| commit | efd6286ff74a2fa2b45ed070d344cc0822b8ea6e (patch) | |
| tree | de4c47b1ac47deceb055aef7fbab79f30dabebc0 /include/linux/projid.h | |
| parent | 2026f2062df860e5d282ffd4962ea5d5ed53dc51 (diff) | |
| download | linux-efd6286ff74a2fa2b45ed070d344cc0822b8ea6e.tar.gz | |
selftests/bpf: test case for relaxed prunning of active_lock.id
Check that verifier.c:states_equal() uses check_ids() to match
consistent active_lock/map_value configurations. This allows to prune
states with active spin locks even if numerical values of
active_lock ids do not match across compared states.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20221209135733.28851-8-eddyz87@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'include/linux/projid.h')
0 files changed, 0 insertions, 0 deletions