bpf: bpf_verifier_state->cleaned flag instead of REG_LIVE_DONE
authorEduard Zingerman <eddyz87@gmail.com>
Fri, 19 Sep 2025 02:18:34 +0000 (19:18 -0700)
committerAlexei Starovoitov <ast@kernel.org>
Fri, 19 Sep 2025 16:27:22 +0000 (09:27 -0700)
commitdaf4c2929fb792d24af0cd7bb6ca1f2949190fa4
treea7e7cbc3b560194334c9099776a9fbc5c77929fe
parent8cd189e414bb705312fbfff7f7b5605f6de2459a
bpf: bpf_verifier_state->cleaned flag instead of REG_LIVE_DONE

Prepare for bpf_reg_state->live field removal by introducing a
separate flag to track if clean_verifier_state() had been applied to
the state. No functional changes.

Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20250918-callchain-sensitive-liveness-v3-1-c3cd27bacc60@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
include/linux/bpf_verifier.h
kernel/bpf/log.c
kernel/bpf/verifier.c