pull-request: bpf 2022-12-23

Pull-request

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

Message

Daniel Borkmann Dec. 23, 2022, 10:19 p.m. UTC

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

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

We've added 7 non-merge commits during the last 5 day(s) which contain
a total of 11 files changed, 231 insertions(+), 3 deletions(-).

The main changes are:

1) Fix a splat in bpf_skb_generic_pop() under CHECKSUM_PARTIAL due to
   misuse of skb_postpull_rcsum(), from Jakub Kicinski with test case
   from Martin Lau.

2) Fix BPF verifier's nullness propagation when registers are of
   type PTR_TO_BTF_ID, from Hao Sun.

3) Fix bpftool build for JIT disassembler under statically built
   libllvm, from Anton Protopopov.

4) Fix warnings reported by resolve_btfids when building vmlinux
   with CONFIG_SECURITY_NETWORK disabled, from Hou Tao.

5) Minor fix up for BPF selftest gitignore, from Stanislav Fomichev.

Please consider pulling these changes from:

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

Thanks a lot and merry Xmas everyone!

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

Anand Parthasarathy, John Sperbeck, Stanislav Fomichev, Yonghong Song

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

The following changes since commit 2856a62762c8409e360d4fd452194c8e57ba1058:

  mctp: serial: Fix starting value for frame check sequence (2022-12-19 12:38:45 +0000)

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 fcbb408a1aaf426f88d8fb3b4c14e3625745b02f:

  selftests/bpf: Add host-tools to gitignore (2022-12-23 22:49:19 +0100)

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

----------------------------------------------------------------
Anton Protopopov (1):
      bpftool: Fix linkage with statically built libllvm

Hao Sun (2):
      bpf: fix nullness propagation for reg to reg comparisons
      selftests/bpf: check null propagation only neither reg is PTR_TO_BTF_ID

Hou Tao (1):
      bpf: Define sock security related BTF IDs under CONFIG_SECURITY_NETWORK

Jakub Kicinski (1):
      bpf: pull before calling skb_postpull_rcsum()

Martin KaFai Lau (1):
      selftests/bpf: Test bpf_skb_adjust_room on CHECKSUM_PARTIAL

Stanislav Fomichev (1):
      selftests/bpf: Add host-tools to gitignore

 kernel/bpf/bpf_lsm.c                               |  2 +
 kernel/bpf/verifier.c                              |  9 ++-
 net/core/filter.c                                  |  7 +-
 tools/bpf/bpftool/Makefile                         |  4 +
 tools/testing/selftests/bpf/.gitignore             |  1 +
 tools/testing/selftests/bpf/DENYLIST.s390x         |  1 +
 .../selftests/bpf/prog_tests/decap_sanity.c        | 85 ++++++++++++++++++++++
 .../selftests/bpf/prog_tests/jeq_infer_not_null.c  |  9 +++
 .../testing/selftests/bpf/progs/bpf_tracing_net.h  |  6 ++
 tools/testing/selftests/bpf/progs/decap_sanity.c   | 68 +++++++++++++++++
 .../selftests/bpf/progs/jeq_infer_not_null_fail.c  | 42 +++++++++++
 11 files changed, 231 insertions(+), 3 deletions(-)
 create mode 100644 tools/testing/selftests/bpf/prog_tests/decap_sanity.c
 create mode 100644 tools/testing/selftests/bpf/prog_tests/jeq_infer_not_null.c
 create mode 100644 tools/testing/selftests/bpf/progs/decap_sanity.c
 create mode 100644 tools/testing/selftests/bpf/progs/jeq_infer_not_null_fail.c