Linux kernel bug fix: bpf: Initialize used but uninit variable in propagate_liveness()
Subsystem: bpf (kernel/bpf/verifier.c)
Bug type: uninitialized, severity: medium
Files changed: kernel/bpf/verifier.c
Introduced by Eduard Zingerman on 2025-06-12 16:52:43 -0700; fixed by Song Liu on 2025-06-12 16:53:40 -0700 (lifetime: 0 days)