]> Gentwo Git Trees - linux/.git/commit
gentwo / linux / .git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 408fcf9) | patch
bpf: fix env->peak_states computation
authorEduard Zingerman <eddyz87@gmail.com>
Sat, 15 Feb 2025 11:04:01 +0000 (03:04 -0800)
committerAlexei Starovoitov <ast@kernel.org>
Wed, 19 Feb 2025 03:22:59 +0000 (19:22 -0800)
commit574078b001cdf6dfa4cf8a2f7373a9babdcc26c7
treed1004305f5a3fea4cae16a5bec4f3d45fdab0292tree | snapshot
parent408fcf946b2badb0a81c69ab837b6dfc0e76aa87commit | diff
bpf: fix env->peak_states computation

Compute env->peak_states as a maximum value of sum of
env->explored_states and env->free_list size.

Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20250215110411.3236773-11-eddyz87@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
include/linux/bpf_verifier.h diff | blob | blame | history
kernel/bpf/verifier.c diff | blob | blame | history
Development tree.