From 18da70342efb2114042c8ad5fae089cef6e69862 Mon Sep 17 00:00:00 2001
From: bd-912 <bdunahu@colostate.edu>
Date: Fri, 19 Apr 2024 23:37:54 -0600
Subject: CFG captures VGoto path

---
 vaporize/library/CFGSimp.java | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

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

diff --git a/vaporize/library/CFGSimp.java b/vaporize/library/CFGSimp.java
index a759afc..9f2556d 100644
--- a/vaporize/library/CFGSimp.java
+++ b/vaporize/library/CFGSimp.java
@@ -113,7 +113,8 @@ public class CFGSimp extends VInstr.VisitorPR<ControlFlowGraph, String, RuntimeE
         ///////////////////////////////////////////////////////////////
         CFGNode curr = cfg.getNode(n);
         cfg.addEdge(this.curr, cfg.getNode(n));
-        cfg.addEdge(this.curr, cfg.getNode(new Integer(this.kettle.findLabelIndex(n))));
+        cfg.addEdge(this.curr, cfg.getNode(new Integer(this.kettle
+                                                       .findLabelIndex(n.target.toString()))));
 
         this.curr = curr;
         ///////////////////////////////////////////////////////////////
@@ -131,7 +132,9 @@ public class CFGSimp extends VInstr.VisitorPR<ControlFlowGraph, String, RuntimeE
                                          n.sourcePos.toString()));
         ///////////////////////////////////////////////////////////////
         CFGNode curr = cfg.getNode(n);
-        cfg.addEdge(this.curr, cfg.getNode(n));
+        cfg.addEdge(this.curr, cfg.getNode(new Integer(this.kettle
+                                                       .findLabelIndex(n.target.toString()))));
+
         this.curr = curr;
         ///////////////////////////////////////////////////////////////
         MinimalLogger.info(String.format("<-%s (\"%s\":%s)",
-- 
cgit v1.2.3