| commit | 9242b5f5615c823bfc1e9aea284617ff25a55f10 | [log] [tgz] |
|---|---|---|
| author | Alexei Starovoitov <ast@kernel.org> | Thu Dec 13 11:42:34 2018 -0800 |
| committer | Daniel Borkmann <daniel@iogearbox.net> | Sat Dec 15 01:28:32 2018 +0100 |
| tree | 0ed48c83d6898b667998b3914eba94b28bc4d602 | |
| parent | 19e2dbb7dd978d24505e918ac54d6f7dfdc88b1d [diff] |
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>