On Mon, 2026-06-15 at 16:09 +0800, Nuoqi Gui wrote: > Add a verifier regression test for a pointer spill whose high half is > cleaned dead while the low half remains live. Force checkpoint creation > with BPF_F_TEST_STATE_FREQ and assert the verifier log reaches the > checkpoint and the subsequent 32-bit fill before rejecting the partial fill > from a non-scalar spill. > > Signed-off-by: Nuoqi Gui <[email protected]> > ---
Acked-by: Eduard Zingerman <[email protected]> [...]
