Re: [PATCH net-next 0/7] bpf: verifier improvements and cleanups

2017-12-01 Thread Daniel Borkmann 
On 12/01/2017 06:31 AM, Alexei Starovoitov wrote:
> Small set of verifier improvements and cleanups which is
> necessary for bigger patch set of bpf-to-bpf calls coming later.
> See individual patches for details.
> Tested on x86 and arm64 hw.

Series applied to bpf-next, thanks Alexei!

[PATCH net-next 0/7] bpf: verifier improvements and cleanups

2017-11-30 Thread Alexei Starovoitov 
Small set of verifier improvements and cleanups which is
necessary for bigger patch set of bpf-to-bpf calls coming later.
See individual patches for details.
Tested on x86 and arm64 hw.

Alexei Starovoitov (7):
  bpf: fix stack state printing in verifier log
  bpf: print liveness info to verifier log
  bpf: don't mark FP reg as uninit
  bpf: improve verifier liveness marks
  bpf: improve JEQ/JNE path walking
  bpf: cleanup register_is_null()
  selftests/bpf: adjust test_align expected output

 kernel/bpf/verifier.c|  62 
 tools/testing/selftests/bpf/test_align.c | 156 +++
 2 files changed, 120 insertions(+), 98 deletions(-)

-- 
2.9.5