Re: [PATCH v2 net-next 2/5] bpf/verifier: when pruning a branch, ignore its write marks
flat view
From: Daniel Borkmann <daniel@iogearbox.net>
Date: 2017-08-23 14:57:12
Possibly related (same subject, not in this thread)
- 2017-08-23 · Re: [PATCH v2 net-next 2/5] bpf/verifier: when pruning a branch, ignore its write marks · Alexei Starovoitov via iovisor-dev <hidden>
On 08/23/2017 04:10 PM, Edward Cree wrote:
The fact that writes occurred in reaching the continuation state does
not screen off its reads from us, because we're not really its parent.
So detect 'not really the parent' in do_propagate_liveness, and ignore
write marks in that case.
Fixes: dc503a8ad984 ("bpf/verifier: track liveness for pruning")
Signed-off-by: Edward Cree <redacted>Acked-by: Daniel Borkmann <daniel@iogearbox.net>