tree 0ed48c83d6898b667998b3914eba94b28bc4d602
parent 19e2dbb7dd978d24505e918ac54d6f7dfdc88b1d
author Alexei Starovoitov <ast@kernel.org> 1544730154 -0800
committer Daniel Borkmann <daniel@iogearbox.net> 1544833712 +0100

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>