On Fri, 2023-12-08 at 17:09 -0800, Andrii Nakryiko wrote: > Add two tests validating that verifier's precision backtracking logic > handles BPF_ST_MEM instructions that produce fake register spill into > register slot. This is happening when non-zero constant is written > directly to a slot, e.g., *(u64 *)(r10 -8) = 123. > > Add both full 64-bit register spill, as well as 32-bit "sub-spill". > > Signed-off-by: Andrii Nakryiko <andrii@xxxxxxxxxx> Acked-by: Eduard Zingerman <eddyz87@xxxxxxxxx> (imho, goto +0 is an overkill, as we should have tests for behavior of parent states but not that it would make test cases much simpler).
