diff options
| author | bd-912 <bdunahu@colostate.edu> | 2024-04-19 23:21:01 -0600 |
|---|---|---|
| committer | bd-912 <bdunahu@colostate.edu> | 2024-04-19 23:21:01 -0600 |
| commit | 8625d3a2708e6332083a1b780b4f016beacf67d3 (patch) | |
| tree | 07ea3a578a5dcf6d7d20155747e78c3f9c38bbe4 /vaporize/library/CFGSimp.java | |
| parent | b733f594c4ab0697aff9afdcc45e0421107dec85 (diff) | |
CFG captures both VBranch paths
Diffstat (limited to 'vaporize/library/CFGSimp.java')
| -rw-r--r-- | vaporize/library/CFGSimp.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/vaporize/library/CFGSimp.java b/vaporize/library/CFGSimp.java index 3e39576..a759afc 100644 --- a/vaporize/library/CFGSimp.java +++ b/vaporize/library/CFGSimp.java @@ -113,6 +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)))); + this.curr = curr; /////////////////////////////////////////////////////////////// MinimalLogger.info(String.format("<-%s (\"%s\":%s)", |