Follow-up to fix incorrect pruning when alignment tracking is in use and to properly clear regs after call to not leave stale data behind. For details, please see individual patches.
Thanks! Daniel Borkmann (3): bpf: fix incorrect pruning decision when alignment must be tracked bpf: properly reset caller saved regs after helper call and ld_abs/ind bpf: add various verifier test cases include/linux/filter.h | 10 ++ kernel/bpf/verifier.c | 44 +++-- tools/include/linux/filter.h | 10 ++ tools/testing/selftests/bpf/test_verifier.c | 239 +++++++++++++++++++++++++++- 4 files changed, 275 insertions(+), 28 deletions(-) -- 1.9.3
