selftests/bpf: test widening for iterating callbacks
authorEduard Zingerman <eddyz87@gmail.com>
Tue, 21 Nov 2023 02:06:59 +0000 (04:06 +0200)
committerGreg Kroah-Hartman <gregkh@linuxfoundation.org>
Thu, 1 Feb 2024 00:18:59 +0000 (16:18 -0800)
commit5cac3cb678ba42ff68969683464e3bb9334dd368
tree6f6f71f18283916fcc8b8283de89aa2c3cd77152
parent1a5a03617bb997999356680b45faf5dd9c9a2e72
selftests/bpf: test widening for iterating callbacks

commit 9f3330aa644d6d979eb064c46e85c62d4b4eac75 upstream.

A test case to verify that imprecise scalars widening is applied to
callback entering state, when callback call is simulated repeatedly.

Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20231121020701.26440-10-eddyz87@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
tools/testing/selftests/bpf/progs/verifier_iterating_callbacks.c