diff options
Diffstat (limited to 'vaporize/library/ControlFlowGraph.java')
-rw-r--r-- | vaporize/library/ControlFlowGraph.java | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/vaporize/library/ControlFlowGraph.java b/vaporize/library/ControlFlowGraph.java index 1e24dd6..5d589fb 100644 --- a/vaporize/library/ControlFlowGraph.java +++ b/vaporize/library/ControlFlowGraph.java @@ -73,13 +73,16 @@ public class ControlFlowGraph { source.addDest(dest); dest.addSource(source); - dest.getReaching().addAll(source.getReaching()); ret += ";"; } else { MinimalLogger.info(String.format("Skipping duplicate edge for %d", source.getInstruction().sourcePos.line)); } + MinimalLogger.info(String.format("Spilling variables: %s", + source.getReaching().toString())); + dest.getReaching().addAll(source.getReaching()); + return ret; } |