Re: [RFC PATCH bpf-next 06/12] bpf: Add type check for SDT probe site

[bot+bpf-ci]

>     bpf: Add type check for SDT probe site
>
>     The NOP instruction at SDT probe site will be patched to a call
>     instruction to observer programs. To ensure the arguments passed
>     to observers are as expected, add type check for bpf SDT probe site.
>
>     The check for probes with no arguments always succeeds.
>
>     For probes with arguments, argument registers are checked against
>     the types declared by FUNC_PROTO for the probe site.
>
>     Signed-off-by: Xu Kuohai <xukuohai@xxxxxxxxxx>

This looks like a bug fix for SDT probe support. The commit adds type
checking and protection for SDT probe sites to prevent them from being
incorrectly optimized away by bpf_opt_remove_nops() and to ensure their
argument registers remain live during liveness analysis. These issues
were introduced when SDT probe support was added. Should this include:

  Fixes: b96ff657266c ("bpf: Create insn_array map for bpf SDT probe")


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