Fixes pruning behavior when record_func_key() is used. See main description in patch 1, test cases added in patch 2. Thanks! Daniel Borkmann (2): bpf: Fix record_func_key to perform backtracking on r3 bpf: Add further test_verifier cases for record_func_key kernel/bpf/verifier.c | 8 +- tools/testing/selftests/bpf/test_verifier.c | 43 ++--- .../selftests/bpf/verifier/ref_tracking.c | 6 +- .../selftests/bpf/verifier/runtime_jit.c | 151 ++++++++++++++++++ 4 files changed, 183 insertions(+), 25 deletions(-) -- 2.21.0