diff options
| author | Alexei Starovoitov <[email protected]> | 2018-12-13 19:42:34 +0000 |
|---|---|---|
| committer | Daniel Borkmann <[email protected]> | 2018-12-15 00:28:32 +0000 |
| commit | 9242b5f5615c823bfc1e9aea284617ff25a55f10 (patch) | |
| tree | 0ed48c83d6898b667998b3914eba94b28bc4d602 /tools/bpf/bpftool/prog.c | |
| parent | bpf: improve stacksafe state comparison (diff) | |
| download | kernel-9242b5f5615c823bfc1e9aea284617ff25a55f10.tar.gz kernel-9242b5f5615c823bfc1e9aea284617ff25a55f10.zip | |
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 <[email protected]>
Acked-by: Jakub Kicinski <[email protected]>
Signed-off-by: Daniel Borkmann <[email protected]>
Diffstat (limited to 'tools/bpf/bpftool/prog.c')
0 files changed, 0 insertions, 0 deletions