diff options
| author | Daniel Borkmann <daniel@iogearbox.net> | 2020-11-13 01:42:12 +0100 |
|---|---|---|
| committer | Daniel Borkmann <daniel@iogearbox.net> | 2020-11-13 01:42:57 +0100 |
| commit | 0a58a65cc0b0ebabbcf3cdae7642e6db29648164 (patch) | |
| tree | 9c3d86a8186c1284faf76bdbc98f60d720cd2b28 /net | |
| parent | tools/bpf: Always run the *-clean recipes (diff) | |
| parent | selftests/bpf: Add asm tests for pkt vs pkt_end comparison. (diff) | |
| download | linux-0a58a65cc0b0ebabbcf3cdae7642e6db29648164.tar.xz linux-0a58a65cc0b0ebabbcf3cdae7642e6db29648164.zip | |
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>
Diffstat (limited to 'net')
0 files changed, 0 insertions, 0 deletions