On Fri, Aug 1, 2025 at 4:23 PM Eduard Zingerman <eddyz87@xxxxxxxxx> wrote: > > env->scc_info array contains references to bpf_scc_info objects > allocated lazily in verifier.c:scc_visit_alloc(). > env->scc_cnt was supposed to track env->scc_info array size > in order to free referenced objects in verifier.c:free_states(). > Initialization of env->scc_cnt was omitted in > verifier.c:compute_scc(), which is fixed by this commit. Applied to bpf tree and slightly reworded above commit log and subject to use imperative language.