diff options
| author | bd-912 <bdunahu@colostate.edu> | 2024-04-20 01:59:21 -0600 |
|---|---|---|
| committer | bd-912 <bdunahu@colostate.edu> | 2024-04-20 01:59:21 -0600 |
| commit | c5ec4e0c84e5199d5a5ad418a0480749fcf17bab (patch) | |
| tree | 001779676bc4317c7d4c7a0ca1e3eb4517435e41 | |
| parent | d25248b3ba90cf47aa4c104cc5b80528e3bd5764 (diff) | |
CFG generate edges correct edge generation for VGoto
| -rw-r--r-- | vaporize/library/CFGSimp.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/vaporize/library/CFGSimp.java b/vaporize/library/CFGSimp.java index c261f7c..f85c198 100644 --- a/vaporize/library/CFGSimp.java +++ b/vaporize/library/CFGSimp.java @@ -158,6 +158,7 @@ public class CFGSimp extends VInstr.VisitorPR<ControlFlowGraph, String, RuntimeE n.sourcePos.toString())); /////////////////////////////////////////////////////////////// CFGNode curr = cfg.getNode(n); + this.dot_format += cfg.addEdge(this.curr, curr); this.dot_format += cfg.addEdge(curr, cfg.getNode(new Integer(this.kettle .findLabelIndex(n.target.toString())))); |