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? [...]
