]> git.ipfire.org Git - thirdparty/linux.git/commit
selftests/bpf: add reproducer for spurious precision propagation through calls
authorEduard Zingerman <eddyz87@gmail.com>
Sat, 7 Mar 2026 00:02:48 +0000 (16:02 -0800)
committerAlexei Starovoitov <ast@kernel.org>
Sat, 7 Mar 2026 05:50:05 +0000 (21:50 -0800)
commit223ffb6a3d0582522455e83ccf7ad2d3a753e039
tree5b66c9a17e2d54698bcf07c8205f2d4063c1c5f8
parent2658a1720a1944fbaeda937000ad2b3c3dfaf1bb
selftests/bpf: add reproducer for spurious precision propagation through calls

Add a test for the scenario described in the previous commit:
an iterator loop with two paths where one ties r2/r7 via
shared scalar id and skips a call, while the other goes
through the call. Precision marks from the linked registers
get spuriously propagated to the call path via
propagate_precision(), hitting "backtracking call unexpected
regs" in backtrack_insn().

Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20260306-linked-regs-and-propagate-precision-v1-2-18e859be570d@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
tools/testing/selftests/bpf/progs/verifier_linked_scalars.c