> -----Original Messages-----
> From: "Eduard Zingerman" <[email protected]>
> Send time:Friday, 26/06/2026 02:35:39
> To: "Nuoqi Gui" <[email protected]>, "Alexei Starovoitov"
> <[email protected]>, "Daniel Borkmann" <[email protected]>, "Andrii
> Nakryiko" <[email protected]>, "Kumar Kartikeya Dwivedi" <[email protected]>
> Cc: "John Fastabend" <[email protected]>, "Martin KaFai Lau"
> <[email protected]>, "Shuah Khan" <[email protected]>,
> [email protected], [email protected],
> [email protected]
> Subject: Re: [PATCH bpf 2/2] selftests/bpf: Cover fastcall helper stack reads
>
> On Wed, 2026-06-24 at 16:39 +0800, Nuoqi Gui wrote:
> > Add verifier_bpf_fastcall test where a spill/fill pair initializes a stack
> > slot. bpf_csum_diff() later reads it through ARG_PTR_TO_MEM | MEM_RDONLY.
> >
> > The translated program must keep the spill and fill materialized. Otherwise
> > the helper reads stack bytes that no longer match the verifier model.
> >
> > Signed-off-by: Nuoqi Gui <[email protected]>
> > ---
>
> Could you please add a kfunc based test case as well?
>
> [...]
Sure, I'll add a kfunc-based verifier test as well.
