diff options
| author | Alexei Starovoitov <ast@kernel.org> | 2019-05-22 05:17:06 +0200 |
|---|---|---|
| committer | Daniel Borkmann <daniel@iogearbox.net> | 2019-05-24 01:46:22 +0200 |
| commit | a8f500af0ccffc3d2aaf9018537981cb173865a1 (patch) | |
| tree | 1b5ec7951b918ddb8dd5391bec198fe1d77da5d3 /include | |
| parent | bpf: cleanup explored_states (diff) | |
| download | linux-a8f500af0ccffc3d2aaf9018537981cb173865a1.tar.xz linux-a8f500af0ccffc3d2aaf9018537981cb173865a1.zip | |
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>
Diffstat (limited to 'include')
| -rw-r--r-- | include/linux/bpf_verifier.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/linux/bpf_verifier.h b/include/linux/bpf_verifier.h index 1305ccbd8fe6..02bba09a0ea1 100644 --- a/include/linux/bpf_verifier.h +++ b/include/linux/bpf_verifier.h @@ -233,6 +233,7 @@ struct bpf_insn_aux_data { int sanitize_stack_off; /* stack slot to be cleared */ bool seen; /* this insn was processed by the verifier */ u8 alu_state; /* used in combination with alu_limit */ + bool prune_point; unsigned int orig_idx; /* original instruction index */ }; |