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-Url: http://git.maquefel.me/?a=commitdiff_plain;h=0a58a65cc0b0ebabbcf3cdae7642e6db29648164;p=linux.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