Files
Linux/include/linux
Edward Cree 8e9cd9ce90 bpf/verifier: document liveness analysis
The liveness tracking algorithm is quite subtle; add comments to explain it.

Signed-off-by: Edward Cree <[email protected]>
Acked-by: Alexei Starovoitov <[email protected]>
Acked-by: Daniel Borkmann <[email protected]>
Signed-off-by: David S. Miller <[email protected]>
2017-08-23 22:38:08 -07:00
..
…
…
…
…
…
…
…
…
…
…
…
…
…
…
2017-08-03 21:37:30 -07:00
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
2017-07-06 16:24:33 -07:00
2017-08-19 23:34:03 -07:00
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
2017-08-16 11:27:53 -07:00
…
…
…
…
…
…
…
…
…
…
…
…
2017-07-07 20:09:10 -04:00
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
2017-07-10 16:32:34 -07:00
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
2017-07-10 13:41:04 -04:00
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
2017-08-18 15:32:01 -07:00
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
2017-07-13 16:00:15 -04:00
…
…
…
…
2017-07-06 11:30:07 -04:00
…
…
2017-07-25 18:05:25 +02:00
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
2017-08-06 20:55:29 -07:00
2017-08-06 20:55:29 -07:00
2017-08-21 12:47:31 -07:00
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
2017-08-16 16:28:47 -07:00
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
2017-07-12 23:11:23 +02:00
…
…
…
…
…
2017-08-21 12:47:31 -07:00
…
…
…
…
…
…
…
…
…
…
…
…
2017-07-06 16:24:30 -07:00
…
…
…
…
…
…
…
…
2017-08-16 16:28:47 -07:00
…
…
…
…
…
…
2017-08-03 21:37:29 -07:00
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
…
2017-07-24 17:50:37 +02:00
…
…
…
…
…
…
…
…
…
…
…
…
…
…
2017-08-18 15:32:01 -07:00
…
…
…
…
…
…
…
…
…
…
…
…