pull-request: bpf 2024-06-14

[Daniel Borkmann <daniel@iogearbox.net>]

Hi David, hi Jakub, hi Paolo, hi Eric,

The following pull-request contains BPF updates for your *net* tree.

We've added 8 non-merge commits during the last 2 day(s) which contain
a total of 9 files changed, 92 insertions(+), 11 deletions(-).

The main changes are:

1) Silence a syzkaller splat under CONFIG_DEBUG_NET=y in pskb_pull_reason()
   triggered via __bpf_try_make_writable(), from Florian Westphal.

2) Fix removal of kfuncs during linking phase which then throws a kernel build
   warning via resolve_btfids about unresolved symbols, from Tony Ambardar.

3) Fix a UML x86_64 compilation failure from BPF as pcpu_hot symbol is not
   available on User Mode Linux, from Maciej Żenczykowski.

4) Fix a register corruption in reg_set_min_max triggering an invariant
   violation in BPF verifier, from Daniel Borkmann.

Please consider pulling these changes from:

  git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf.git tags/for-netdev

Thanks a lot!

Also thanks to reporters, reviewers and testers of commits in this pull-request:

Daniel Borkmann, Eric Dumazet, Jiri Olsa, John Fastabend, Juan José 
López Jaimez, kernel test robot

----------------------------------------------------------------

The following changes since commit 14a20e5b4ad998793c5f43b0330d9e1388446cf3:

  net/ipv6: Fix the RT cache flush via sysctl using a previous delay (2024-06-12 17:51:35 -0700)

are available in the Git repository at:

  https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf.git tags/for-netdev

for you to fetch changes up to 7bdcedd5c8fb88e7176b93812b139eca5fe0aa46:

  bpf: Harden __bpf_kfunc tag against linker kfunc removal (2024-06-14 19:14:37 +0200)

----------------------------------------------------------------
bpf-for-netdev

----------------------------------------------------------------
Daniel Borkmann (3):
      bpf: Fix reg_set_min_max corruption of fake_reg
      bpf: Reduce stack consumption in check_stack_write_fixed_off
      selftests/bpf: Add test coverage for reg_set_min_max handling

Florian Westphal (1):
      bpf: Avoid splat in pskb_pull_reason

Maciej Żenczykowski (1):
      bpf: fix UML x86_64 compile failure

Stanislav Fomichev (1):
      MAINTAINERS: mailmap: Update Stanislav's email address

Tony Ambardar (2):
      compiler_types.h: Define __retain for __attribute__((__retain__))
      bpf: Harden __bpf_kfunc tag against linker kfunc removal

 .mailmap                                           |  1 +
 MAINTAINERS                                        |  2 +-
 include/linux/bpf_verifier.h                       |  2 ++
 include/linux/btf.h                                |  2 +-
 include/linux/compiler_types.h                     | 23 ++++++++++++
 kernel/bpf/verifier.c                              | 25 ++++++++-----
 net/core/filter.c                                  |  5 +++
 tools/testing/selftests/bpf/prog_tests/verifier.c  |  2 ++
 .../selftests/bpf/progs/verifier_or_jmp32_k.c      | 41 ++++++++++++++++++++++
 9 files changed, 92 insertions(+), 11 deletions(-)
 create mode 100644 tools/testing/selftests/bpf/progs/verifier_or_jmp32_k.c