From: Alexei Starovoitov <ast@xxxxxxxxxx> v1->v2: - Address Eduard's feedback: factor out get_iter_reg - Add comment that stack_extra adjustment logic supports bpf_can_loop only for now - More tests - Fixed minor bug in stack_extra in subprog Alexei Starovoitov (2): bpf: Introduce bpf_can_loop() kfunc selftests/bpf: Test bpf_can_loop include/linux/bpf_verifier.h | 3 + kernel/bpf/helpers.c | 12 ++ kernel/bpf/verifier.c | 163 +++++++++++++++--- tools/lib/bpf/bpf_helpers.h | 1 + .../bpf/progs/verifier_iterating_callbacks.c | 47 +++++ 5 files changed, 198 insertions(+), 28 deletions(-) -- 2.34.1
