bpf: include backedges in peak_states stat
authorEduard Zingerman <eddyz87@gmail.com>
Wed, 11 Jun 2025 20:08:35 +0000 (13:08 -0700)
committerAlexei Starovoitov <ast@kernel.org>
Thu, 12 Jun 2025 23:52:43 +0000 (16:52 -0700)
commit0f54ff54700315caa8ed3bea36fa0ff3ebc53f56
treeadd7351b4b4d3d961ee753a5e1401fd4cdcee4d7
parent0e0da5f901f582b97bfeefbf1f36a27e9d427ff4
bpf: include backedges in peak_states stat

Count states accumulated in bpf_scc_visit->backedges in
env->peak_states.

Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20250611200836.4135542-10-eddyz87@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
include/linux/bpf_verifier.h
kernel/bpf/verifier.c