This set contains a small cleanup in cBPF prologue generation and otherwise fixes an outstanding issue related to BPF to BPF calls and exception handling. For details please see related patches. Last but not least, BPF selftests is extended with several new test cases.
Thanks! Daniel Borkmann (13): bpf: xor of a/x in cbpf can be done in 32 bit alu bpf: improve dead code sanitizing bpf: make unknown opcode handling more robust bpf: fix subprog verifier bypass by div/mod by 0 exception bpf, x86_64: remove obsolete exception handling from div/mod bpf, arm64: remove obsolete exception handling from div/mod bpf, s390x: remove obsolete exception handling from div/mod bpf, ppc64: remove obsolete exception handling from div/mod bpf, sparc64: remove obsolete exception handling from div/mod bpf, mips64: remove obsolete exception handling from div/mod bpf, mips64: remove unneeded zero check from div/mod with k bpf, arm: remove obsolete exception handling from div/mod bpf: add further test cases around div/mod and others arch/arm/net/bpf_jit_32.c | 8 - arch/arm64/net/bpf_jit_comp.c | 13 -- arch/mips/net/ebpf_jit.c | 29 +-- arch/powerpc/net/bpf_jit_comp64.c | 8 - arch/s390/net/bpf_jit_comp.c | 10 - arch/sparc/net/bpf_jit_comp_64.c | 18 -- arch/x86/net/bpf_jit_comp.c | 20 -- include/linux/filter.h | 2 + kernel/bpf/core.c | 258 ++++++++++++--------- kernel/bpf/verifier.c | 62 +++-- lib/test_bpf.c | 8 +- net/core/filter.c | 13 +- tools/testing/selftests/bpf/test_verifier.c | 343 ++++++++++++++++++++++++++-- 13 files changed, 546 insertions(+), 246 deletions(-) -- 2.9.5
