projects / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d911ba7) | patch
selftests/bpf: Add test case to assert precise scalar path pruning
authorDaniel Borkmann <daniel@iogearbox.net>
Tue, 4 Apr 2023 14:05:58 +0000 (14:05 +0000)
committerDaniel Borkmann <daniel@iogearbox.net>
Thu, 27 Apr 2023 08:48:23 +0000 (10:48 +0200)
commitb3e8701dd1fa25fc59cffa68240326efccff0336
tree542270ea8ab88b38694104dc1db8c5e6fa04484ctree | snapshot
parentd911ba7ceafd29606df4018bbd87a1642f9e6d88commit | diff
selftests/bpf: Add test case to assert precise scalar path pruning

Add a test case to check for precision marking of safe paths. Ensure
that the verifier will not prematurely prune scalars contributing to
registers needing precision.

Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
tools/testing/selftests/bpf/verifier/precise.c diff | blob | history
ep93xx device tree rework repo: git://git.maquefel.me/linux.git