Linux kernel bug fix: bpf: verifier: make sure callees don't prune with caller differences
Subsystem: bpf (tools/testing/selftests/bpf/test_verifier.c)
Bug type: hang, severity: medium
Files changed: kernel/bpf/verifier.c;tools/testing/selftests/bpf/test_verifier.c
Introduced by Alexei Starovoitov on 2017-12-17 20:34:35 +0100; fixed by Jakub Kicinski on 2018-12-13 10:35:40 -0800 (lifetime: 360 days)