Steel Bank Common Lisp

Comment 1 for bug 308914

Nikodemus Siivola (nikodemus) wrote :

This is due to stack analysis being foiled by the unreachable code left in by control flow analysis, which in turn happens thanks to unconditional marking of NLX's as live in CONTROL-ANALYZE-1-FUN.

It seems to me that the correct fix would be to split CONTROL-ANALYZE into two stages: 1: walk the graph, marking nodes as live without giving NLX's special treatment. 2: walk the live parts of the graph in emit order, doing the emit order stuff.