projects / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 19e2dbb) | 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)
commit9242b5f5615c823bfc1e9aea284617ff25a55f10
tree0ed48c83d6898b667998b3914eba94b28bc4d602tree | snapshot
parent19e2dbb7dd978d24505e918ac54d6f7dfdc88b1dcommit | 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
ep93xx device tree rework repo: git://git.maquefel.me/linux.git