selftests/bpf: Verify copy_register_state() preserves parent/live fields

Browse source

[ Upstream commit b9fa9bc839 ]

A testcase to check that verifier.c:copy_register_state() preserves
register parentage chain and livness information.

Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230106142214.1040390-3-eddyz87@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Signed-off-by: Sasha Levin <sashal@kernel.org>

...

This commit is contained in:

Eduard Zingerman 2023-01-06 16:22:14 +02:00 • committed by Greg Kroah-Hartman

parent 2cd6e872d8

commit 544062e65f

1 changed files with 36 additions and 0 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

36

tools/testing/selftests/bpf/verifier/search_pruning.c

View file