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
