selftests/bpf: validate async callback return value check correctness
authorAndrii Nakryiko <andrii@kernel.org>
Sat, 2 Dec 2023 17:57:03 +0000 (09:57 -0800)
committerAlexei Starovoitov <ast@kernel.org>
Sat, 2 Dec 2023 19:36:51 +0000 (11:36 -0800)
commite02dea158ddaebe6e725be715e0009923b96ec8e
tree188fa71703b207c98697a36cc1f76984493a22d2
parenteabe518de533a4291996020977054a7a7b78c7d3
selftests/bpf: validate async callback return value check correctness

Adjust timer/timer_ret_1 test to validate more carefully verifier logic
of enforcing async callback return value. This test will pass only if
return result is marked precise and read.

Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
Link: https://lore.kernel.org/r/20231202175705.885270-10-andrii@kernel.org
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
tools/testing/selftests/bpf/progs/timer_failure.c