A number of bpf verifier improvements from Gianluca. See individual patches for details.
Alexei Starovoitov (1): bpf: rename ARG_PTR_TO_STACK Gianluca Borello (4): bpf: split check_mem_access logic for map values bpf: allow helpers access to map element values bpf: allow adjusted map element values to spill bpf: allow helpers access to variable memory include/linux/bpf.h | 12 +- kernel/bpf/helpers.c | 4 +- kernel/bpf/verifier.c | 212 +++++-- kernel/trace/bpf_trace.c | 20 +- net/core/filter.c | 40 +- tools/testing/selftests/bpf/test_verifier.c | 947 ++++++++++++++++++++++++++++ 6 files changed, 1131 insertions(+), 104 deletions(-) -- 2.8.0
