Topological sort actually helps some benchmarks quite a bit

diff --git a/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java b/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
index 97eade686afd5b4e274bec46f41ff219c1fd7ca8..c555150d17d9d0884392621080689d3bc724718b 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
@@ -445,8 +445,8 @@ public class OwnershipAnalysis {
       }
     }
 
-    //sortedMethodContextsToVisit = topologicalSort( methodContextsToVisit );
-    //methodContextsToVisit.clear();
+    sortedMethodContextsToVisit = topologicalSort( methodContextsToVisit );
+    methodContextsToVisit.clear();
 
     while( !methodContextsToVisit.isEmpty()       ||
           !sortedMethodContextsToVisit.isEmpty()    ) {