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
tree7d0d0b13dbfda0e4b60a9e3294f8c6eb9d42f668
parent7cbbf9f1fa23a045332757696740f41e885d6e09
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