inline

Stephen Weeks MLton@sourcelight.com
Mon, 5 Nov 2001 16:54:04 -0800


> So, I can run through the assembly and remove any statement that
> references an label that isn't reachable; such statements should
> presumably be dead code.  Or, we can just live with this in the short term
> and assume that such massive amounts of dead code don't make it back to
> the codegen.

I think the problem is in your DFS.  It should count L_6365 as
reachable because it appears in a reachable SetHandler statement.