]> git.proxmox.com Git - mirror_ubuntu-kernels.git/commit
selftests/bpf: test case for relaxed prunning of active_lock.id
authorEduard Zingerman <eddyz87@gmail.com>
Fri, 9 Dec 2022 13:57:33 +0000 (15:57 +0200)
committerAlexei Starovoitov <ast@kernel.org>
Sat, 10 Dec 2022 21:36:22 +0000 (13:36 -0800)
commitefd6286ff74a2fa2b45ed070d344cc0822b8ea6e
treede4c47b1ac47deceb055aef7fbab79f30dabebc0
parent2026f2062df860e5d282ffd4962ea5d5ed53dc51
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>
tools/testing/selftests/bpf/verifier/spin_lock.c