[Linux-stable-mirror] [PATCH stable/4.9 0/4] BPF stable patches for 4.9

Hi Greg,

please consider the following backported fixes for 4.9 inclusion.

Thanks a lot!

Alexei Starovoitov (2): bpf: adjust insn_aux_data when patching insns bpf: fix branch pruning logic

Jann Horn (2): bpf: reject out-of-bounds stack pointer calculation bpf: fix incorrect sign extension in check_alu_op()

include/linux/bpf_verifier.h | 1 + kernel/bpf/verifier.c | 106 +++++++++++++++++++++++++++++++++++++++---- 2 files changed, 97 insertions(+), 10 deletions(-)