Re: [PATCH bpf-next v4 03/18] bpf: Refactor to avoid redundant calculation of bpf_reg_state

Yonghong Song
2026-04-13T14:25:49Z

On 4/11/26 10:31 PM, bot+bpf-ci@kernel.org wrote:
>> diff --git a/kernel/bpf/verifier.c b/kernel/bpf/verifier.c
>> index 6469e71cd1fa..4c67a15c73e1 100644
>> --- a/kernel/bpf/verifier.c
>> +++ b/kernel/bpf/verifier.c
> [ ... ]
>
>> @@ -8374,11 +8355,10 @@ static int check_atomic(struct bpf_verifier_env *env, struct bpf_insn *insn)
>> * read offsets are marked as read.
>> */
>> static int check_stack_range_initialized(
>> - struct bpf_verifier_env *env, int regno, int off,
>> + struct bpf_verifier_env *env, struct bpf_reg_state *reg,int regno, int off,
> ^
>
> There's a missing space after the comma between *reg and int. The
> forward declaration earlier in the file has proper spacing, but the
> definition here does not.

Ack. Will fix.

>
>
> ---
> 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/24299298635