From: Daniel Borkmann <daniel@iogearbox.net>
Date: Sat, 15 Dec 2018 00:28:33 +0000 (+0100)
Subject: Merge branch 'bpf-improve-verifier-state-analysis'
X-Git-Url: http://git.cdn.openwrt.org/?a=commitdiff_plain;h=bab89add3e7b74be46e319d1fcba7835cb60ea2b;p=openwrt%2Fstaging%2Fblogic.git

Merge branch 'bpf-improve-verifier-state-analysis'

Alexei Starovoitov says:

====================
v1->v2:
With optimization suggested by Jakub patch 4 safety check became
cheap enough.

Several improvements to verifier state logic.
Patch 1 - trivial optimization
Patch 3 - significant optimization for stack state equivalence
Patch 4 - safety check for liveness and prep for future state merging
====================

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

bab89add3e7b74be46e319d1fcba7835cb60ea2b