cl,ssa,runtime: safely clear dead local finalizer roots - #2036

Open

cpunion wants to merge 9 commits into

xgo-dev:mainfrom

cpunion:codex/stage5-finalizer-liveness

Commits on Aug 1, 2026

cl,ssa,runtime: stack-object finalizer liveness
cpunion
committed
3e0c645
test(cl): cover malformed liveness referrers
cpunion
committed
f698915
cl,runtime: make finalizer liveness clearing fail closed
cpunion
committed
2607255
cl,runtime: address finalizer liveness review
cpunion
committed
b2a33ae
cl,runtime: fail closed on hidden stack aliases
cpunion
committed
85f7eea
cl,runtime: clarify liveness safety invariants
cpunion
committed
878e07b
cl,runtime: reject unscheduled liveness referrers
cpunion
committed
5e9b6cd
cl: fail closed on unknown liveness instructions
cpunion
committed
e538d81
cl: reuse liveness order per block
cpunion
committed
af71577