Hi David, The following pull-request contains BPF updates for your *net* tree. We've added 6 non-merge commits during the last 7 day(s) which contain a total of 4 files changed, 55 insertions(+), 34 deletions(-). The main changes are: 1) minor verifier fix for fmod_ret progs, from Alexei. 2) af_xdp overflow check, from Bjorn. 3) minor verifier fix for 32bit assignment, from John. 4) powerpc has non-overlapping addr space, from Petr. Please consider pulling these changes from: git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf.git Thanks a lot! Also thanks to reporters, reviewers and testers of commits in this pull-request: Jonathan Lemon, KP Singh, Michael Ellerman, "Minh Bùi Quang", Yonghong Song ---------------------------------------------------------------- The following changes since commit d04322a0da1e86aedaa322ce933cfb8c0191d1eb: Merge tag 'rxrpc-fixes-20200523-v2' of git://git.kernel.org/pub/scm/linux/kernel/git/dhowells/linux-fs (2020-05-22 16:43:58 -0700) are available in the Git repository at: git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf.git for you to fetch changes up to cf66c29bd7534813d2e1971fab71e25fe87c7e0a: bpf, selftests: Add a verifier test for assigning 32bit reg states to 64bit ones (2020-05-29 13:34:06 -0700) ---------------------------------------------------------------- Alexei Starovoitov (1): bpf: Fix use-after-free in fmod_ret check Björn Töpel (1): xsk: Add overflow check for u64 division, stored into u32 John Fastabend (3): bpf: Fix a verifier issue when assigning 32bit reg states to 64bit ones bpf, selftests: Verifier bounds tests need to be updated bpf, selftests: Add a verifier test for assigning 32bit reg states to 64bit ones Petr Mladek (1): powerpc/bpf: Enable bpf_probe_read{, str}() on powerpc again arch/powerpc/Kconfig | 1 + kernel/bpf/verifier.c | 34 ++++++++++---------- net/xdp/xdp_umem.c | 8 +++-- tools/testing/selftests/bpf/verifier/bounds.c | 46 +++++++++++++++++++-------- 4 files changed, 55 insertions(+), 34 deletions(-)