successfully keep def reach info just for the store transform

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

diff --git a/Robust/src/Analysis/Disjoint/DisjointAnalysis.java b/Robust/src/Analysis/Disjoint/DisjointAnalysis.java
index a27d1df90a6bbadbf1d5b4271344251856ac0834..4b9b4f0dc79e2e1160701da4ca25a89e69c8fda2 100644 (file)
--- a/Robust/src/Analysis/Disjoint/DisjointAnalysis.java
+++ b/Robust/src/Analysis/Disjoint/DisjointAnalysis.java
@@ -851,8 +851,7 @@ public class DisjointAnalysis implements HeapAnalysis {
 
     if( state.DO_DEFINITE_REACH_ANALYSIS ) {
       doDefiniteReachAnalysis = true;
-      DefiniteReachAnalysis.setPointerMethod( pm );
-      definiteReachAnalysis = new DefiniteReachAnalysis();
+      definiteReachAnalysis = new DefiniteReachAnalysis( pm );
     }