]> git.ipfire.org Git - thirdparty/kernel/stable.git/commit
bpf: use compute_live_registers() info in clean_func_state
authorEduard Zingerman <eddyz87@gmail.com>
Fri, 19 Sep 2025 02:18:35 +0000 (19:18 -0700)
committerAlexei Starovoitov <ast@kernel.org>
Fri, 19 Sep 2025 16:27:22 +0000 (09:27 -0700)
commit6cd21eb9adc924237a6f398a7f6c9f3da251df71
treed25ec2eea4043b0d1cf2ee776525f8b3cc6ef030
parentdaf4c2929fb792d24af0cd7bb6ca1f2949190fa4
bpf: use compute_live_registers() info in clean_func_state

Prepare for bpf_reg_state->live field removal by leveraging
insn_aux_data->live_regs_before instead of bpf_reg_state->live in
compute_live_registers(). This is similar to logic in
func_states_equal(). No changes in verification performance for
selftests or sched_ext.

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