From: Shardul Bankar Date: Tue, 21 Oct 2025 08:08:46 +0000 (+0530) Subject: bpf: Clarify get_outer_instance() handling in propagate_to_outer_instance() X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=96d31dff3fa428845aad05c5ae3a1593f6e17add;p=thirdparty%2Flinux.git bpf: Clarify get_outer_instance() handling in propagate_to_outer_instance() propagate_to_outer_instance() calls get_outer_instance() and uses the returned pointer to reset and commit stack write marks. Under normal conditions, update_instance() guarantees that an outer instance exists, so get_outer_instance() cannot return an ERR_PTR. However, explicitly checking for IS_ERR(outer_instance) makes this code more robust and self-documenting. It reduces cognitive load when reading the control flow and silences potential false-positive reports from static analysis or automated tooling. No functional change intended. Signed-off-by: Shardul Bankar Acked-by: Eduard Zingerman Link: https://lore.kernel.org/r/20251021080849.860072-1-shardulsb08@gmail.com Signed-off-by: Alexei Starovoitov --- diff --git a/kernel/bpf/liveness.c b/kernel/bpf/liveness.c index 1e6538f59a786..baa742e6cbb65 100644 --- a/kernel/bpf/liveness.c +++ b/kernel/bpf/liveness.c @@ -524,6 +524,8 @@ static int propagate_to_outer_instance(struct bpf_verifier_env *env, this_subprog_start = callchain_subprog_start(callchain); outer_instance = get_outer_instance(env, instance); + if (IS_ERR(outer_instance)) + return PTR_ERR(outer_instance); callsite = callchain->callsites[callchain->curframe - 1]; reset_stack_write_marks(env, outer_instance, callsite);