selftests/bpf: Verify copy_register_state() preserves parent/live fields
authorEduard Zingerman <eddyz87@gmail.com>
Fri, 6 Jan 2023 14:22:14 +0000 (16:22 +0200)
committerAlexei Starovoitov <ast@kernel.org>
Thu, 19 Jan 2023 23:19:23 +0000 (15:19 -0800)
commitb9fa9bc839291020b362ab5392e5f18ba79657ac
tree3242b937dafbf30f22b6cbb170ed584f20da58e2
parent71f656a50176915d6813751188b5758daa8d012b
selftests/bpf: Verify copy_register_state() preserves parent/live fields

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>
tools/testing/selftests/bpf/verifier/search_pruning.c