selftests/bpf: test widening for iterating callbacks
authorEduard Zingerman <eddyz87@gmail.com>
Tue, 21 Nov 2023 02:06:59 +0000 (04:06 +0200)
committerAlexei Starovoitov <ast@kernel.org>
Tue, 21 Nov 2023 02:36:40 +0000 (18:36 -0800)
commit9f3330aa644d6d979eb064c46e85c62d4b4eac75
tree339ae1382e4f1ac5b3f2939a3b7431e6c6a9347d
parentcafe2c21508a38cdb3ed22708842e957b2572c3e
selftests/bpf: test widening for iterating callbacks

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>
tools/testing/selftests/bpf/progs/verifier_iterating_callbacks.c