diff options
| author | Daniel Borkmann <daniel@iogearbox.net> | 2018-12-15 01:28:33 +0100 |
|---|---|---|
| committer | Daniel Borkmann <daniel@iogearbox.net> | 2018-12-15 01:28:34 +0100 |
| commit | bab89add3e7b74be46e319d1fcba7835cb60ea2b (patch) | |
| tree | 0ed48c83d6898b667998b3914eba94b28bc4d602 /include/linux | |
| parent | eb415c98980fd13618c64b0d88c2439103b4a627 (diff) | |
| parent | 9242b5f5615c823bfc1e9aea284617ff25a55f10 (diff) | |
| download | cachepc-linux-bab89add3e7b74be46e319d1fcba7835cb60ea2b.tar.gz cachepc-linux-bab89add3e7b74be46e319d1fcba7835cb60ea2b.zip | |
Merge branch 'bpf-improve-verifier-state-analysis'
Alexei Starovoitov says:
====================
v1->v2:
With optimization suggested by Jakub patch 4 safety check became
cheap enough.
Several improvements to verifier state logic.
Patch 1 - trivial optimization
Patch 3 - significant optimization for stack state equivalence
Patch 4 - safety check for liveness and prep for future state merging
====================
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Diffstat (limited to 'include/linux')
| -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 548dcbdb7111..c233efc106c6 100644 --- a/include/linux/bpf_verifier.h +++ b/include/linux/bpf_verifier.h @@ -38,6 +38,7 @@ enum bpf_reg_liveness { REG_LIVE_NONE = 0, /* reg hasn't been read or written this branch */ REG_LIVE_READ, /* reg was read, so we're sensitive to initial value */ REG_LIVE_WRITTEN, /* reg was written first, screening off later reads */ + REG_LIVE_DONE = 4, /* liveness won't be updating this register anymore */ }; struct bpf_reg_state { |