Linux kernel bug fix: bpf: Fix propagation of bounds from 64-bit min/max into 32-bit and var_off.
Subsystem: bpf (tools/testing/selftests/bpf/verifier/array_access.c)
Bug type: unknown, severity: unknown
Files changed: kernel/bpf/verifier.c;tools/testing/selftests/bpf/verifier/array_access.c
Introduced by Daniel Borkmann on 2021-04-27 17:13:49 +0200; fixed by Alexei Starovoitov on 2021-11-01 18:05:11 -0700 (lifetime: 188 days)