diff options
| author | Kumar Kartikeya Dwivedi <[email protected]> | 2022-12-09 15:57:32 +0200 |
|---|---|---|
| committer | Alexei Starovoitov <[email protected]> | 2022-12-10 13:35:57 -0800 |
| commit | 2026f2062df860e5d282ffd4962ea5d5ed53dc51 (patch) | |
| tree | eed63f52c3eb9c0ae00474a8cf1895c8818762aa /lib/mpi/mpi-sub-ui.c | |
| parent | 4ea2bb158bec2fe171e7e07c033dcf208d86e274 (diff) | |
selftests/bpf: Add pruning test case for bpf_spin_lock
Test that when reg->id is not same for the same register of type
PTR_TO_MAP_VALUE between current and old explored state, we currently
return false from regsafe and continue exploring.
Without the fix in prior commit, the test case fails.
Signed-off-by: Kumar Kartikeya Dwivedi <[email protected]>
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