diff options
| author | Edward Cree <[email protected]> | 2017-08-23 15:10:03 +0100 |
|---|---|---|
| committer | David S. Miller <[email protected]> | 2017-08-23 22:38:07 -0700 |
| commit | 63f45f840634ab5fd71bbc07acff915277764068 (patch) | |
| tree | cb362e59b70cfb3188d10329713764452009257e /tools/perf/scripts/python/export-to-postgresql.py | |
| parent | d893dc26e3f42e12ae75703c52cc6de5578ff1f5 (diff) | |
bpf/verifier: when pruning a branch, ignore its write marks
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 <[email protected]>
Acked-by: Alexei Starovoitov <[email protected]>
Acked-by: Daniel Borkmann <[email protected]>
Signed-off-by: David S. Miller <[email protected]>
Diffstat (limited to 'tools/perf/scripts/python/export-to-postgresql.py')
0 files changed, 0 insertions, 0 deletions