> 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.