Eduard Zingerman e030da5f51 selftests/bpf: track string payload offset as scalar in strobemeta ... commit 87eb0152bc upstream. This change prepares strobemeta for update in callbacks verification logic. To allow bpf_loop() verification converge when multiple callback iterations are considered: - track offset inside strobemeta_payload->payload directly as scalar value; - at each iteration make sure that remaining strobemeta_payload->payload capacity is sufficient for execution of read_{map,str}_var functions; - make sure that offset is tracked as unbound scalar between iterations, otherwise verifier won't be able infer that bpf_loop callback reaches identical states. Acked-by: Andrii Nakryiko <andrii@kernel.org> Signed-off-by: Eduard Zingerman <eddyz87@gmail.com> Link: https://lore.kernel.org/r/20231121020701.26440-3-eddyz87@gmail.com Signed-off-by: Alexei Starovoitov <ast@kernel.org> Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>		2024-01-31 16:18:59 -08:00
..
crypto/chacha20-s390
cxl	cxl: Add cxl_num_decoders_committed() usage to cxl_test	2024-01-10 17:17:02 +01:00
fault-injection
ktest
kunit	sound updates for 6.6-rc1	2023-08-30 13:45:05 -07:00
memblock	memblock tests: fix warning ‘struct seq_file’ declared inside parameter list	2023-09-14 10:51:28 +03:00
nvdimm	tools/testing/nvdimm: Drop empty platform remove function	2023-06-07 13:30:21 -07:00
radix-tree	maple_tree: do not preallocate nodes for slot stores	2024-01-05 15:19:43 +01:00
scatterlist
selftests	selftests/bpf: track string payload offset as scalar in strobemeta	2024-01-31 16:18:59 -08:00
vsock	vsock/test: fix SEQPACKET message bounds test	2023-12-03 07:33:05 +01:00