[PATCH disco 0/3] Fix bfp test_verifier

[Thadeu Lima de Souza Cascardo]

The upstream stable release process allow fixes to the bpf verifier without
requiring that the bpf test_verifier selftest still PASS.

That is very unfortunate to our testing process, as we want to make sure we
don't introduce regressions ourselves.

Instead of blindly accepting any failures, I took the path of looking at the
test changes upstream. Clean cherry picks were not always possible, so, in some
cases, I decided to go failure by failure, and fixing up the test with a change
that was already present upstream.

That will make cherry picks even harder in the future, but that's the cost of
maintaining something upstream doesn't care about.

Alexei Starovoitov (1):
  bpf: improve verifier branch analysis

Andrey Ignatov (1):
  selftests/bpf: Test narrow loads with off > 0 in test_verifier

Daniel Borkmann (1):
  bpf: add various test cases to selftests

 tools/testing/selftests/bpf/test_verifier.c | 71 +++++++++++++++++----
 1 file changed, 59 insertions(+), 12 deletions(-)

-- 
2.20.1