selftests/bpf: check if max number of bpf_loop iterations is tracked
authorEduard Zingerman <eddyz87@gmail.com>
Tue, 21 Nov 2023 02:07:01 +0000 (04:07 +0200)
committerAlexei Starovoitov <ast@kernel.org>
Tue, 21 Nov 2023 02:36:40 +0000 (18:36 -0800)
commit57e2a52deeb12ab84c15c6d0fb93638b5b94001b
tree807b0cdc43a76fe532c17fc31e96413c82161e1a
parentbb124da69c47dd98d69361ec13244ece50bec63e
selftests/bpf: check if max number of bpf_loop iterations is tracked

Check that even if bpf_loop() callback simulation does not converge to
a specific state, verification could proceed via "brute force"
simulation of maximal number of callback calls.

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