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 14 day(s) which contain a total of 7 files changed, 181 insertions(+), 15 deletions(-). The main changes are: 1) Fix a verifier id tracking issue with scalars upon spill, from Maxim Mikityanskiy. 2) Fix NULL dereference if an exception is generated while a BPF subprogram is running, from Krister Johansen. 3) Fix a BTF verification failure when compiling kernel with LLVM_IAS=0, from Florent Revest. 4) Fix expected_attach_type enforcement for kprobe_multi link, from Jiri Olsa. 5) Fix a bpf_jit_dump issue for x86_64 to pick the correct JITed image, from Yonghong Song. 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: Andrii Nakryiko, Ilya Leoshkevich, Song Liu, Yonghong Song ---------------------------------------------------------------- The following changes since commit 182620ab3660c5a9098ffaa0e8a898e41b164987: Merge tag 'batadv-net-pullrequest-20230607' of git://git.open-mesh.org/linux-merge (2023-06-07 21:56:01 -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 db8eae6bc5c702d8e3ab2d0c6bb5976c131576eb: bpf: Force kprobe multi expected_attach_type for kprobe_multi link (2023-06-21 10:40:26 +0200) ---------------------------------------------------------------- bpf-for-netdev ---------------------------------------------------------------- Alexei Starovoitov (1): Merge branch 'bpf: fix NULL dereference during extable search' Florent Revest (1): bpf/btf: Accept function names that contain dots Jiri Olsa (1): bpf: Force kprobe multi expected_attach_type for kprobe_multi link Krister Johansen (2): bpf: ensure main program has an extable selftests/bpf: add a test for subprogram extables Maxim Mikityanskiy (2): bpf: Fix verifier id tracking of scalars on spill selftests/bpf: Add test cases to assert proper ID tracking on spill Yonghong Song (1): bpf: Fix a bpf_jit_dump issue for x86_64 with sysctl bpf_jit_enable. arch/x86/net/bpf_jit_comp.c | 2 +- kernel/bpf/btf.c | 20 +++--- kernel/bpf/syscall.c | 5 ++ kernel/bpf/verifier.c | 10 ++- .../selftests/bpf/prog_tests/subprogs_extable.c | 29 ++++++++ .../selftests/bpf/progs/test_subprogs_extable.c | 51 ++++++++++++++ .../selftests/bpf/progs/verifier_spill_fill.c | 79 ++++++++++++++++++++++ 7 files changed, 181 insertions(+), 15 deletions(-) create mode 100644 tools/testing/selftests/bpf/prog_tests/subprogs_extable.c create mode 100644 tools/testing/selftests/bpf/progs/test_subprogs_extable.c
