Linux kernel bug fix: bpf: don't prune branches when a scalar is replaced with a pointer
Subsystem: bpf (kernel/bpf/verifier.c)
Bug type: unknown, severity: low
Files changed: kernel/bpf/verifier.c
Introduced by Edward Cree on 2017-08-08 17:51:34 -0700; fixed by Jann Horn on 2017-12-21 02:15:41 +0100 (lifetime: 134 days)