This patch permits pointers on stack for helper calls if permission is granted. Patch #1 described the detailed usecase and Patch #2 added a test. Changelog: v2 -> v3: - do not permit spilled reg state NOT_INIT on stack. (Daniel) v1 -> v2: - fix a verifier test failure due to verifier change. Yonghong Song (2): bpf: permits pointers on stack for helper calls selftests/bpf: add a test for ptr_to_map_value on stack for helper access kernel/bpf/verifier.c | 4 +++- tools/testing/selftests/bpf/progs/bpf_iter_task.c | 3 ++- tools/testing/selftests/bpf/verifier/unpriv.c | 5 +++-- 3 files changed, 8 insertions(+), 4 deletions(-) -- 2.24.1