Implement partial reachable tracking in CFG

1 files changed, 5 insertions, 1 deletions

diff --git a/vaporize/library/ControlFlowGraph.java b/vaporize/library/ControlFlowGraph.java
index 2a8caef..1e24dd6 100644
--- a/vaporize/library/ControlFlowGraph.java
+++ b/vaporize/library/ControlFlowGraph.java
@@ -44,7 +44,7 @@ public class ControlFlowGraph {
         }
 
         if (ret == null)
-            MinimalLogger.severe(String.format("Could not find a node matching %s",
+            MinimalLogger.severe(String.format("Could not find the next node for %s",
                                                a.toString()));
 
         return ret;
@@ -58,6 +58,8 @@ public class ControlFlowGraph {
     protected String addEdge(CFGNode source, CFGNode dest) {
         /**
          * Iff the CFGNodes are different, construct an edge between them.
+         * All variables reaching the parent also reach the children.
+         *
          * Returns a string capable of being manipulated by graphviz.
          */
         String ret = "";
@@ -70,6 +72,8 @@ 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",