Merge branch 'develop' into test/emptySwitchEliminator

soot-oss · Feb 15, 2024 · b43213a · b43213a
2 parents 4a72895 + a62f684
commit b43213a
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/src/main/java/soot/toolkits/scalar/InitAnalysis.java b/src/main/java/soot/toolkits/scalar/InitAnalysis.java
@@ -52,12 +52,12 @@ public InitAnalysis(DirectedBodyGraph<Unit> g) {
 
   @Override
   protected FlowSet<Local> entryInitialFlow() {
-    return new ArraySparseSet<Local>();
+    return new HashSparseSet<Local>();
   }
 
   @Override
   protected FlowSet<Local> newInitialFlow() {
-    FlowSet<Local> ret = new ArraySparseSet<Local>();
+    FlowSet<Local> ret = new HashSparseSet<Local>();
     allLocals.copy(ret);
     return ret;
   }

diff --git a/src/main/java/soot/toolkits/scalar/SimpleLiveLocals.java b/src/main/java/soot/toolkits/scalar/SimpleLiveLocals.java
@@ -77,13 +77,13 @@ public SimpleLiveLocals(DirectedBodyGraph<Unit> graph) {
 
   @Override
   public List<Local> getLiveLocalsAfter(Unit s) {
-    // ArraySparseSet returns a unbacked list of elements!
+    // HashSparseSet returns a unbacked list of elements!
     return analysis.getFlowAfter(s).toList();
   }
 
   @Override
   public List<Local> getLiveLocalsBefore(Unit s) {
-    // ArraySparseSet returns a unbacked list of elements!
+    // HashSparseSet returns a unbacked list of elements!
     return analysis.getFlowBefore(s).toList();
   }
 
@@ -94,7 +94,7 @@ private static class Analysis extends BackwardFlowAnalysis<Unit, FlowSet<Local>>
 
     @Override
     protected FlowSet<Local> newInitialFlow() {
-      return new ArraySparseSet<Local>();
+      return new HashSparseSet<Local>();
     }
 
     @Override