> diff --git a/kernel/bpf/helpers.c b/kernel/bpf/helpers.c
> index 59855b434f0b..804c201c28f3 100644
> --- a/kernel/bpf/helpers.c
> +++ b/kernel/bpf/helpers.c

[ ... ]

> diff --git a/kernel/bpf/verifier.c b/kernel/bpf/verifier.c
> index f3cf8d85bea0..35eebb5e7769 100644
> --- a/kernel/bpf/verifier.c
> +++ b/kernel/bpf/verifier.c

[ ... ]

> @@ -11671,7 +11674,8 @@ static bool check_kfunc_is_graph_node_api(struct 
> bpf_verifier_env *env,
>
>       switch (node_field_type) {
>       case BPF_LIST_NODE:
> -             ret = is_bpf_list_push_kfunc(kfunc_btf_id);
> +             ret = is_bpf_list_push_kfunc(kfunc_btf_id) ||
> +                   kfunc_btf_id == special_kfunc_list[KF_bpf_list_del];

This isn't a bug, but Eduard Zingerman suggested in v10 adding a
is_bpf_list_del_kfunc() helper for consistency with the existing code style
(similar to is_bpf_list_push_kfunc()). This would maintain the pattern used
throughout the codebase for checking kfunc types.

Reference: 
https://lore.kernel.org/bpf/[email protected]/



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

Reply via email to