Re: [PATCH bpf v1 1/2] bpf: Fix exception exit lock checking for subprogs

[bot+bpf-ci]

> diff --git a/kernel/bpf/verifier.c b/kernel/bpf/verifier.c
> --- a/kernel/bpf/verifier.c
> +++ b/kernel/bpf/verifier.c
> @@ -20911,7 +20911,8 @@ static int process_bpf_exit_full(struct bpf_verifier_env *env,
>  	 * state when it exits.
>  	 */
>  	int err = check_resource_leak(env, exception_exit,
> -				      !env->cur_state->curframe,
> +				      exception_exit || !env->cur_state->curframe,
> +				      exception_exit ? "bpf_throw" :
>  				      "BPF_EXIT instruction in main prog");
>  	if (err)
>  		return err;

This looks like a bug fix but appears to be missing a Fixes: tag.
The buggy check_lock = !curframe logic was introduced when the
inline code in do_check() was refactored into process_bpf_exit_full()
and check_resource_leak() in commit 2d419c44658f ("bpf: add fsession
support"). Should this have:

Fixes: 2d419c44658f ("bpf: add fsession support")


---
AI reviewed your patch. Please fix the bug or email reply why it's not a bug.
See: https://github.com/kernel-patches/vmtest/blob/master/ci/claude/README.md

CI run summary: https://github.com/kernel-patches/bpf/actions/runs/23172639489