Fix a couple of bugs introduced in my recent verifier patches. Patch #2 does slightly increase the insn count on bpf_lxc.o, but only by about a hundred insns (i.e. 0.2%).
v2: added test for write-marks bug (patch #1); reworded comment on propagate_liveness() for clarity. Alexei Starovoitov (1): selftests/bpf: add a test for a pruning bug in the verifier Edward Cree (4): selftests/bpf: add a test for a bug in liveness-based pruning bpf/verifier: when pruning a branch, ignore its write marks bpf/verifier: remove varlen_map_value_access flag bpf/verifier: document liveness analysis include/linux/bpf_verifier.h | 14 +++++- kernel/bpf/verifier.c | 78 +++++++++++++++++------------ tools/testing/selftests/bpf/test_verifier.c | 44 ++++++++++++++++ 3 files changed, 103 insertions(+), 33 deletions(-)
