Merge branch 'bpf-improve-verifier-state-analysis'
authorDaniel Borkmann <daniel@iogearbox.net>
Sat, 15 Dec 2018 00:28:33 +0000 (01:28 +0100)
committerDaniel Borkmann <daniel@iogearbox.net>
Sat, 15 Dec 2018 00:28:34 +0000 (01:28 +0100)
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>

Trivial merge