take out the loop termination analysis from the java optimization phase. it will...

diff --git a/Robust/src/Analysis/SSJava/SSJavaAnalysis.java b/Robust/src/Analysis/SSJava/SSJavaAnalysis.java
index 0c0b477a41988ac22950cff8f8058741d1ae2ce0..a768b7f614bb668428b593db5ecbcd6bb3c20f7d 100644 (file)
--- a/Robust/src/Analysis/SSJava/SSJavaAnalysis.java
+++ b/Robust/src/Analysis/SSJava/SSJavaAnalysis.java
@@ -116,7 +116,7 @@ public class SSJavaAnalysis {
     // inference();
     doFlowDownCheck();
     doDefinitelyWrittenCheck();
-    debugDoLoopCheck();
+    doLoopCheck();
   }
 
   private void inference() {
@@ -124,7 +124,7 @@ public class SSJavaAnalysis {
     inferEngine.inference();
   }
 
-  private void debugDoLoopCheck() {
+  private void doLoopCheck() {
     GlobalFieldType gft = new GlobalFieldType(callgraph, state, tu.getMain());
     LoopOptimize lo = new LoopOptimize(gft, tu);
 

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 0b994ec25d3b2b2967cc92b991da73abdd554d93..e4343618c964e458cf9ffc9c8350d31385295370 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -512,9 +512,6 @@ public class Main {
           dc.optimize(fm);
           if (!state.NOLOOP){            
             lo.analyze(fm);
-            if(state.SSJAVA){
-              ssjava.doLoopTerminationCheck(lo,fm);
-            }
             lo.optimize(fm);
           }