From: Daniel Borkmann <daniel@iogearbox.net>
Date: Fri, 13 Nov 2020 00:42:12 +0000 (+0100)
Subject: Merge branch 'bpf-ptrs-beyond-pkt-end'
X-Git-Tag: v5.11-rc1~169^2~259^2~4
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0a58a65cc0b0ebabbcf3cdae7642e6db29648164;p=thirdparty%2Fkernel%2Fstable.git

Merge branch 'bpf-ptrs-beyond-pkt-end'

Alexei Starovoitov says:

====================
v1->v2:
- removed set-but-unused variable.
- added Jiri's Tested-by.

In some cases LLVM uses the knowledge that branch is taken to optimze the code
which causes the verifier to reject valid programs.
Teach the verifier to recognize that
r1 = skb->data;
r1 += 10;
r2 = skb->data_end;
if (r1 > r2) {
  here r1 points beyond packet_end and subsequent
  if (r1 > r2) // always evaluates to "true".
}
====================

Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
---

0a58a65cc0b0ebabbcf3cdae7642e6db29648164