diff options
| author | Edward Cree <ecree@solarflare.com> | 2017-08-23 15:11:21 +0100 |
|---|---|---|
| committer | David S. Miller <davem@davemloft.net> | 2017-08-23 22:38:08 -0700 |
| commit | 8e9cd9ce90d48369b2c5ddd79fe3d4a4cb1ccb56 (patch) | |
| tree | 180afe2c34f0bd7901b27138d06c6ede1d1456c5 /kernel/bpf/devmap.c | |
| parent | 1b688a19a92223cf2d1892c9d05d64dc397b33e3 (diff) | |
bpf/verifier: document liveness analysis
The liveness tracking algorithm is quite subtle; add comments to explain it.
Signed-off-by: Edward Cree <ecree@solarflare.com>
Acked-by: Alexei Starovoitov <ast@kernel.org>
Acked-by: Daniel Borkmann <daniel@iogearbox.net>
Signed-off-by: David S. Miller <davem@davemloft.net>
Diffstat (limited to 'kernel/bpf/devmap.c')
0 files changed, 0 insertions, 0 deletions