projects / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5dd9cdb) | patch
selftests/bpf: verify states_equal() maintains idmap across all frames
authorEduard Zingerman <eddyz87@gmail.com>
Fri, 9 Dec 2022 13:57:30 +0000 (15:57 +0200)
committerAlexei Starovoitov <ast@kernel.org>
Sat, 10 Dec 2022 21:20:53 +0000 (13:20 -0800)
commit7d05794330877986f605c1618534d7478030f5b8
treed88ed9211b874192d0c74c2a3b419760df322e85tree | snapshot
parent5dd9cdbc9dec3e99b19e483767e247d15ca8cc0dcommit | diff
selftests/bpf: verify states_equal() maintains idmap across all frames

A test case that would erroneously pass verification if
verifier.c:states_equal() maintains separate register ID mappings for
call frames.

Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20221209135733.28851-5-eddyz87@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
tools/testing/selftests/bpf/verifier/calls.c diff | blob | history
ep93xx device tree rework repo: git://git.maquefel.me/linux.git