Changes in test_global_func_deep_stack.c

0fc8f6200d2313278fbf4539bbab74677c685531 - Merge drm/drm-fixes into drm-misc-fixes

Mon, 27 Apr 2026 10:26:49 +0200

Merge drm/drm-fixes into drm-misc-fixesGetting fixes and updates from v7.1-rc1.Signed-off-by: Thomas Zimmermann List of files: /linux/tools/testing/selftests/bpf/progs/test_global_func_deep_stack.c

f5ad4101009e7f5f5984ffea6923d4fcd470932a - Merge tag 'bpf-next-7.1' of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next

Wed, 15 Apr 2026 03:04:04 +0200

Merge tag 'bpf-next-7.1' of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextPull bpf updates from Alexei Starovoitov: - Welcome new BPF maintainers: Kumar Kartikeya Dwivedi, Eduard Zingerman while Martin KaFai Lau reduced his load to Reviwer. - Lots of fixes everywhere from many first time contributors. Thank you All. - Diff stat is dominated by mechanical split of verifier.c into multiple components: - backtrack.c: backtracking logic and jump history - states.c: state equivalence - cfg.c: control flow graph, postorder, strongly connected components - liveness.c: register and stack liveness - fixups.c: post-verification passes: instruction patching, dead code removal, bpf_loop inlining, finalize fastcall 8k line were moved. verifier.c still stands at 20k lines. Further refactoring is planned for the next release. - Replace dynamic stack liveness with static stack liveness based on data flow analysis. This improved the verification time by 2x for some programs and equally reduced memory consumption. New logic is in liveness.c and supported by constant folding in const_fold.c (Eduard Zingerman, Alexei Starovoitov) - Introduce BTF layout to ease addition of new BTF kinds (Alan Maguire) - Use kmalloc_nolock() universally in BPF local storage (Amery Hung) - Fix several bugs in linked registers delta tracking (Daniel Borkmann) - Improve verifier support of arena pointers (Emil Tsalapatis) - Improve verifier tracking of register bounds in min/max and tnum domains (Harishankar Vishwanathan, Paul Chaignon, Hao Sun) - Further extend support for implicit arguments in the verifier (Ihor Solodrai) - Add support for nop,nop5 instruction combo for USDT probes in libbpf (Jiri Olsa) - Support merging multiple module BTFs (Josef Bacik) - Extend applicability of bpf_kptr_xchg (Kaitao Cheng) - Retire rcu_trace_implies_rcu_gp() (Kumar Kartikeya Dwivedi) - Support variable offset context access for 'syscall' programs (Kumar Kartikeya Dwivedi) - Migrate bpf_task_work and dynptr to kmalloc_nolock() (Mykyta Yatsenko) - Fix UAF in in open-coded task_vma iterator (Puranjay Mohan)* tag 'bpf-next-7.1' of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next: (241 commits) selftests/bpf: cover short IPv4/IPv6 inputs with adjust_room bpf: reject short IPv4/IPv6 inputs in bpf_prog_test_run_skb selftests/bpf: Use memfd_create instead of shm_open in cgroup_iter_memcg selftests/bpf: Add test for cgroup storage OOB read bpf: Fix OOB in pcpu_init_value selftests/bpf: Fix reg_bounds to match new tnum-based refinement selftests/bpf: Add tests for non-arena/arena operations bpf: Allow instructions with arena source and non-arena dest registers bpftool: add missing fsession to the usage and docs of bpftool docs/bpf: add missing fsession attach type to docs bpf: add missing fsession to the verifier log bpf: Move BTF checking logic into check_btf.c bpf: Move backtracking logic to backtrack.c bpf: Move state equivalence logic to states.c bpf: Move check_cfg() into cfg.c bpf: Move compute_insn_live_regs() into liveness.c bpf: Move fixup/post-processing logic from verifier.c into fixups.c bpf: Simplify do_check_insn() bpf: Move checks for reserved fields out of the main pass bpf: Delete unused variable ... List of files: /linux/tools/testing/selftests/bpf/progs/test_global_func_deep_stack.c

6c8e1a9eee0fec802b542dadf768c30c2a183b3c - Merge branch 'bpf-relax-8-frame-limitation-for-global-subprogs'

Mon, 16 Mar 2026 19:26:42 +0100

Merge branch 'bpf-relax-8-frame-limitation-for-global-subprogs'Emil Tsalapatis says:====================bpf: Relax 8 frame limitation for global subprogsThe BPF verifier currently limits the maximum runtime call stack to8 frames. Larger BPF programs like sched-ext schedulers routinelyfail verification because they exceed this limit, even as they usevery little actual stack space for each frame.Relax the verifier to permit call stacks > 8 frames deep when thecall stacks include global subprogs. The old 8 stack frame limit nowonly applies to call stacks composed entirely of static function calls.This works because global functions are each verified in isolation, sothe verifier does not need to cross-reference verification state acrossthe function call boundary, which has been the reason for limiting thecall stack size in the first place.This patch does not change the verification time limit of 8 stackframes. Static functions that are inlined for verification purposesstill only go 8 frames deep to avoid changing the verifier's internaldata structures used for verification. These data structures onlysupport holding information on up to 8 stack frames.This patch also does not adjust the actual maximum stack size of 512.CHANGELOG=========v5 -> v6 (https://lore.kernel.org/bpf/20260311182831.91219-1-emil@etsalapatis.com/)- Make bpf_subprog_call_depth_info internal to verifier.c (Alexei)v4 -> v5 (https://lore.kernel.org/bpf/20260309204430.201219-1-emil@etsalapatis.com/)- Move depth tracking state to verifier (Eduard) and free it after verification (Alexei)- Fix selftest patch title and formatting errors (Yonghong)v3 -> v4 (https://lore.kernel.org/bpf/20260303043106.406099-1-emil@etsalapatis.com/)- Factor out temp call depth tracking info into its own struct (Eduard)- Bring depth calculation loop in line with the other instances (Mykyta)- Add comment on why selftest call stack is 16 bytes/frame (Eduard)- Rename "cidx" to "caller" for clarity (Mykyta, Eduard)v2 -> v3 (https://lore.kernel.org/bpf/20260210213606.475415-1-emil@etsalapatis.com/)- Change logic to remove arbitrary limit on call depth (Eduard)- Add additional selftests (Eduard)v1 -> v2 (https://lore.kernel.org/bpf/20260202233716.835638-1-emil@etsalapatis.com)- Adjust patch to only increase the runtime stack depth, leaving theverification-time stack depth unchanged (Alexei)Signed-off-by: Emil Tsalapatis ====================Link: https://patch.msgid.link/20260316161225.128011-1-emil@etsalapatis.comSigned-off-by: Alexei Starovoitov List of files: /linux/tools/testing/selftests/bpf/progs/test_global_func_deep_stack.c

01d5d2f7d93de7270f0bf3bcba36f6f4d3d0bf9d - selftests/bpf: Add deep call stack selftests

Mon, 16 Mar 2026 17:12:25 +0100

selftests/bpf: Add deep call stack selftestsAdd tests that demonstrate the verifier support for deep call stackswhile still enforcing maximum stack size limits.Acked-by: Eduard Zingerman Signed-off-by: Emil Tsalapatis Link: https://lore.kernel.org/r/20260316161225.128011-3-emil@etsalapatis.comSigned-off-by: Alexei Starovoitov List of files: /linux/tools/testing/selftests/bpf/progs/test_global_func_deep_stack.c