Implement liveness tracking in CFG

1 files changed, 3 insertions, 2 deletions

diff --git a/vaporize/library/CFGNode.java b/vaporize/library/CFGNode.java
index aefcd28..b23ca00 100644
--- a/vaporize/library/CFGNode.java
+++ b/vaporize/library/CFGNode.java
@@ -12,7 +12,7 @@ class CFGNode {
     private ArrayList<CFGNode> sources;
     private ArrayList<CFGNode> dests;
     private HashSet<String> reaching;
-    private ArrayList<String> liveness;
+    private HashSet<String> liveness;
     private int line;
 
     protected CFGNode(Node instruction) {
@@ -20,6 +20,7 @@ class CFGNode {
         this.sources = new ArrayList<>();
         this.dests = new ArrayList<>();
         this.reaching = new HashSet<>();
+        this.liveness = new HashSet<>();
         this.line = this.instruction.sourcePos.line;
     }
 
@@ -59,7 +60,7 @@ class CFGNode {
         this.reaching.add(add);
     }
 
-    protected void addLive(String add) {
+    protected void addLiveness(String add) {
         MinimalLogger.info(String.format("Use %s at %s",
                                          add,
                                          this.line));