Hello: This series was applied to bpf/bpf-next.git (master) by Andrii Nakryiko <andrii@xxxxxxxxxx>: On Mon, 3 Apr 2023 21:50:21 -0700 you wrote: > From: Alexei Starovoitov <ast@xxxxxxxxxx> > > The patch set is addressing a fallout from > commit 6fcd486b3a0a ("bpf: Refactor RCU enforcement in the verifier.") > It was too aggressive with PTR_UNTRUSTED marks. > Patches 1-6 are cleanup and adding verifier smartness to address real > use cases in bpf programs that broke with too aggressive PTR_UNTRUSTED. > The partial revert is done in patch 7 anyway. > > [...] Here is the summary with links: - [bpf-next,1/8] bpf: Invoke btf_struct_access() callback only for writes. https://git.kernel.org/bpf/bpf-next/c/7d64c5132844 - [bpf-next,2/8] bpf: Remove unused arguments from btf_struct_access(). https://git.kernel.org/bpf/bpf-next/c/b7e852a9ec96 - [bpf-next,3/8] bpf: Refactor btf_nested_type_is_trusted(). https://git.kernel.org/bpf/bpf-next/c/63260df13965 - [bpf-next,4/8] bpf: Teach verifier that certain helpers accept NULL pointer. https://git.kernel.org/bpf/bpf-next/c/91571a515d1b - [bpf-next,5/8] bpf: Refactor NULL-ness check in check_reg_type(). https://git.kernel.org/bpf/bpf-next/c/add68b843f33 - [bpf-next,6/8] bpf: Allowlist few fields similar to __rcu tag. https://git.kernel.org/bpf/bpf-next/c/30ee9821f943 - [bpf-next,7/8] bpf: Undo strict enforcement for walking untagged fields. https://git.kernel.org/bpf/bpf-next/c/afeebf9f57a4 - [bpf-next,8/8] selftests/bpf: Add tracing tests for walking skb and req. https://git.kernel.org/bpf/bpf-next/c/69f41a787761 You are awesome, thank you! -- Deet-doot-dot, I am a bot. https://korg.docs.kernel.org/patchwork/pwbot.html