]> git.baikalelectronics.ru Git - kernel.git/commit
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)
committerGreg Kroah-Hartman <gregkh@linuxfoundation.org>
Wed, 22 Feb 2023 11:59:41 +0000 (12:59 +0100)
commitce5871abcdf298b9731b2ee7b252ed5d29238b21
tree81502f66a446941f2224855adc491a2ecfe2dee5
parent92a9301666dddd182651065df3e7150a6e5ec87b
selftests/bpf: Verify copy_register_state() preserves parent/live fields

[ Upstream commit 2662201108cfd035727b914fcc2793b09ab26d48 ]

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