diff options
author | Alexei Starovoitov <ast@kernel.org> | 2018-12-13 22:42:34 +0300 |
---|---|---|
committer | Daniel Borkmann <daniel@iogearbox.net> | 2018-12-15 03:28:32 +0300 |
commit | 9242b5f5615c823bfc1e9aea284617ff25a55f10 (patch) | |
tree | 0ed48c83d6898b667998b3914eba94b28bc4d602 /usr | |
parent | 19e2dbb7dd978d24505e918ac54d6f7dfdc88b1d (diff) | |
download | linux-9242b5f5615c823bfc1e9aea284617ff25a55f10.tar.xz |
bpf: add self-check logic to liveness analysis
Introduce REG_LIVE_DONE to check the liveness propagation
and prepare the states for merging.
See algorithm description in clean_live_states().
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Acked-by: Jakub Kicinski <jakub.kicinski@netronome.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Diffstat (limited to 'usr')
0 files changed, 0 insertions, 0 deletions