]> git.baikalelectronics.ru Git - kernel.git/commit
projects / kernel.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 98bb392) | patch
bpf: add self-check logic to liveness analysis
authorAlexei Starovoitov <ast@kernel.org>
Thu, 13 Dec 2018 19:42:34 +0000 (11:42 -0800)
committerDaniel Borkmann <daniel@iogearbox.net>
Sat, 15 Dec 2018 00:28:32 +0000 (01:28 +0100)
commit0c078891b7edf689129c8da5f5580010fcfbf536
tree0ed48c83d6898b667998b3914eba94b28bc4d602tree | snapshot
parent98bb392a8c5b0dafba45abfe9bd86a1f3aaf2751commit | 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>
include/linux/bpf_verifier.h diff | blob | history
kernel/bpf/verifier.c diff | blob | history
Linux Kernel Source Tree.