Incrementing on definite reach analysis

[IRC.git] / Robust / src / Analysis / Disjoint / DefiniteReachAnalysis.java

diff --git a/Robust/src/Analysis/Disjoint/DefiniteReachAnalysis.java b/Robust/src/Analysis/Disjoint/DefiniteReachAnalysis.java
index cb69890cadd700c1f822407cd94079973bb5ab2e..5fec38af0d380f2b9a4b010fb5f168c8c1c3fbeb 100644 (file)
--- a/Robust/src/Analysis/Disjoint/DefiniteReachAnalysis.java
+++ b/Robust/src/Analysis/Disjoint/DefiniteReachAnalysis.java
@@ -15,6 +15,9 @@ public class DefiniteReachAnalysis {
   private Map<FlatNode, DefiniteReachState> fn2state;
   
   public DefiniteReachAnalysis() {
+    // a class-wide initialization
+    DefiniteReachState.initBuilders();
+
     fn2state = new HashMap<FlatNode, DefiniteReachState>();
   }