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/CFGSimp.java | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

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

diff --git a/vaporize/library/CFGSimp.java b/vaporize/library/CFGSimp.java
index 4456d39..6aaf0d1 100644
--- a/vaporize/library/CFGSimp.java
+++ b/vaporize/library/CFGSimp.java
@@ -27,9 +27,6 @@ public class CFGSimp extends VInstr.VisitorPR<ControlFlowGraph, String, RuntimeE
         for (VFunction f : this.vp.functions) {
             ControlFlowGraph cfg = new ControlFlowGraph();
             this.dot_format = "";
-            // first visit may not find edges; cfg.addEdges will handle
-            this.curr = new CFGNode(f.body[0]);
-            cfg.setStart(curr);
 
             MinimalLogger.info(String.format("CFGSimp is collecting nodes for %s",
                                              this.kettle.parseFuncName(f)));
@@ -49,6 +46,14 @@ public class CFGSimp extends VInstr.VisitorPR<ControlFlowGraph, String, RuntimeE
 
             MinimalLogger.info(String.format("CFGSimp is collecting edges for %s",
                                              this.kettle.parseFuncName(f)));
+
+            // inital setup
+            // first visit may not find edges; cfg.addEdges will handle
+            this.curr = new CFGNode(f.body[0]);
+            cfg.setStart(curr);
+            // cascades downwards --- cfg.addEdges
+            for (VVarRef.Local l : f.params)
+                this.curr.addReaching(l.ident.toString());
             for (VInstr s : f.body)
                 s.accept(cfg, this);
 
-- 
cgit v1.2.3