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

bot+bpf-ci
2026-04-12T05:31:55Z

[-- Attachment #1: Type: text/plain, Size: 977 bytes --]

> 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.

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