Re: [PATCH v2 bpf-next 4/4] bpf: add self-check logic to liveness analysis

On Thu, 13 Dec 2018 11:42:34 -0800, Alexei Starovoitov wrote: > 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 Acked-by: Jakub Kicinski

[PATCH v2 bpf-next 4/4] 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 --- include/linux/bpf_verifier.h | 1 + kernel/bpf/verifier.c| 108 ++- 2 fi