[PATCH net 0/2] bpf: fix verifier min/max handling in BPF_SUB

[Edward Cree]

I managed to come up with a test for the swapped bounds in BPF_SUB, so here
 it is along with a patch that fixes it, separated out from my 'rewrite
 everything' series so it can go to -stable.

Edward Cree (2):
  selftests/bpf: subtraction bounds test
  bpf/verifier: fix min/max handling in BPF_SUB

 kernel/bpf/verifier.c                       | 21 +++++++++++++++------
 tools/testing/selftests/bpf/test_verifier.c | 28 ++++++++++++++++++++++++++++
 2 files changed, 43 insertions(+), 6 deletions(-)