bpf: split explored_states
authorAlexei Starovoitov <ast@kernel.org>
Wed, 22 May 2019 03:17:06 +0000 (20:17 -0700)
committerDaniel Borkmann <daniel@iogearbox.net>
Thu, 23 May 2019 23:46:22 +0000 (01:46 +0200)
commita8f500af0ccffc3d2aaf9018537981cb173865a1
tree1b5ec7951b918ddb8dd5391bec198fe1d77da5d3
parent5d839021675a2e1b76653189cc6a90cfd8e30a69
bpf: split explored_states

split explored_states into prune_point boolean mark
and link list of explored states.
This removes STATE_LIST_MARK hack and allows marks to be separate from states.

Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
include/linux/bpf_verifier.h
kernel/bpf/verifier.c