diff options
| author | Eduard Zingerman <eddyz87@gmail.com> | 2025-06-11 23:08:35 +0300 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2025-06-13 02:52:43 +0300 |
| commit | 0f54ff54700315caa8ed3bea36fa0ff3ebc53f56 (patch) | |
| tree | add7351b4b4d3d961ee753a5e1401fd4cdcee4d7 /include/linux | |
| parent | 0e0da5f901f582b97bfeefbf1f36a27e9d427ff4 (diff) | |
| download | linux-0f54ff54700315caa8ed3bea36fa0ff3ebc53f56.tar.xz | |
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>
Diffstat (limited to 'include/linux')
| -rw-r--r-- | include/linux/bpf_verifier.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/linux/bpf_verifier.h b/include/linux/bpf_verifier.h index 1ae588679e20..7e459e839f8b 100644 --- a/include/linux/bpf_verifier.h +++ b/include/linux/bpf_verifier.h @@ -733,6 +733,7 @@ struct bpf_scc_visit { */ struct bpf_verifier_state *entry_state; struct bpf_scc_backedge *backedges; /* list of backedges */ + u32 num_backedges; }; /* An array of bpf_scc_visit structs sharing tht same bpf_scc_callchain->scc @@ -822,6 +823,7 @@ struct bpf_verifier_env { u32 longest_mark_read_walk; u32 free_list_size; u32 explored_states_size; + u32 num_backedges; bpfptr_t fd_array; /* bit mask to keep track of whether a register has been accessed |