Incorporate function parameters in Reachability

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;
     }