diff options
| author | Eduard Zingerman <[email protected]> | 2022-12-09 15:57:33 +0200 |
|---|---|---|
| committer | Alexei Starovoitov <[email protected]> | 2022-12-10 13:36:22 -0800 |
| commit | efd6286ff74a2fa2b45ed070d344cc0822b8ea6e (patch) | |
| tree | de4c47b1ac47deceb055aef7fbab79f30dabebc0 /lib/mpi/mpi-sub-ui.c | |
| parent | 2026f2062df860e5d282ffd4962ea5d5ed53dc51 (diff) | |
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 <[email protected]>
Link: https://lore.kernel.org/r/[email protected]
Signed-off-by: Alexei Starovoitov <[email protected]>
Diffstat (limited to 'lib/mpi/mpi-sub-ui.c')
0 files changed, 0 insertions, 0 deletions