Fix a couple of bugs introduced in my recent verifier patches. Patch #3 does slightly increase the insn count on bpf_lxc.o, but only by about a hundred insns (i.e. 0.2%).
Alexei Starovoitov (1): selftests/bpf: add a test for a pruning bug in the verifier Edward Cree (3): bpf/verifier: remove varlen_map_value_access flag bpf/verifier: when pruning a branch, ignore its write marks bpf/verifier: document liveness analysis include/linux/bpf_verifier.h | 14 +++++- kernel/bpf/verifier.c | 78 +++++++++++++++++------------ tools/testing/selftests/bpf/test_verifier.c | 28 +++++++++++ 3 files changed, 87 insertions(+), 33 deletions(-) _______________________________________________ iovisor-dev mailing list [email protected] https://lists.iovisor.org/mailman/listinfo/iovisor-dev
