]> www.infradead.org Git - users/willy/xarray.git/commit
projects / users / willy / xarray.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 7cbbf9f) | patch
selftests/bpf: precision tracking tests
authorAlexei Starovoitov <ast@kernel.org>
Tue, 3 Sep 2019 22:51:33 +0000 (15:51 -0700)
committerDaniel Borkmann <daniel@iogearbox.net>
Thu, 5 Sep 2019 11:55:50 +0000 (13:55 +0200)
commit310f4204eeb6053e35c277a23d9c179e8e32322e
tree7d0d0b13dbfda0e4b60a9e3294f8c6eb9d42f668tree
parent7cbbf9f1fa23a045332757696740f41e885d6e09commit | diff
selftests/bpf: precision tracking tests

Add two tests to check that stack slot marking during backtracking
doesn't trigger 'spi > allocated_stack' warning.
One test is using BPF_ST insn. Another is using BPF_STX.

Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
tools/testing/selftests/bpf/verifier/precise.c diff | blob | history
XArray, radix tree and IDR