From 543cff69f2e2d5c96140149f994299791005a420 Mon Sep 17 00:00:00 2001
From: bd-912 <bdunahu@colostate.edu>
Date: Sat, 20 Apr 2024 14:17:31 -0600
Subject: Incorporate function parameters in Reachability

---
 vaporize/library/ControlFlowGraph.java | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'vaporize/library/ControlFlowGraph.java')

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;
     }
 
-- 
cgit v1.2.3