Hi Greg,
It would be great if you could cherry-pick the following BPF related commit into stable trees:
c131187db2d3 ("bpf: fix branch pruning logic") - up to 4.9
Instructions for 4.14:
There's a minor conflict in verifier.c, just take the 'env->insn_aux_data[insn_idx].seen = true;' part from the patch.
Instructions for 4.9:
Needs 8041902dae52 ("bpf: adjust insn_aux_data when patching insns") as prerequisite. Same minor conflict in verifier.c as with 4.14 described above. The minor one in bpf_verifier.h for struct bpf_insn_aux_data should be resolved by having 'ptr_type' and 'seen' as final members of the struct.
Thanks a lot!