#295, minor changes

ultimate-pa · Oct 8, 2018 · 9db3e76 · 9db3e76
1 parent a6f8d09
commit 9db3e76
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 4 deletions.
diff --git a/...rg/informatik/ultimate/icfgtransformer/heapseparator/ComputeStoreInfosAndArrayGroups.java b/...rg/informatik/ultimate/icfgtransformer/heapseparator/ComputeStoreInfosAndArrayGroups.java
@@ -99,7 +99,7 @@ public class ComputeStoreInfosAndArrayGroups<LOC extends IcfgLocation> {
 
 	private final HashRelation<EdgeInfo, TermVariable> mEdgeToUnconstrainedVariables = new HashRelation<>();
 
-	private final HashRelation<EdgeInfo, StoreInfo> mEdgeToStoreInfos = new HashRelation<>();
+//	private final HashRelation<EdgeInfo, StoreInfo> mEdgeToStoreInfos = new HashRelation<>();
 
 	private final Map<HeapSepProgramConst, StoreInfo> mLocLitToStoreInfo = new HashMap<>();
 

diff --git a/.../uni_freiburg/informatik/ultimate/icfgtransformer/heapseparator/HeapPartitionManager.java b/.../uni_freiburg/informatik/ultimate/icfgtransformer/heapseparator/HeapPartitionManager.java
@@ -120,7 +120,6 @@ public HeapPartitionManager(final ILogger logger, final ManagedScript mgdScript,
 	 * @param preprocessing
 	 */
 	void processSelect(final SelectInfo selectInfo, final IEqualityProvidingIntermediateState eps) {
-//		final HashRelation<Integer, StoreInfo> dimensionToMayEqualStoreIndexInfos = new HashRelation<>();
 
 		if (eps.isBottom()) {
 			mLogger.warn("equality analysis on preprocessed graph computed array read to be unreachable: "
@@ -134,9 +133,7 @@ void processSelect(final SelectInfo selectInfo, final IEqualityProvidingIntermed
 			// i_dim is the index prefix up to the current dimension
 			final ArrayIndex indexForCurrentDim = selectIndex.getFirst(dim);
 
-//			final LocArrayInfo locArray = mMemLocArrayManager.getLocArray(selectInfo.getEdgeInfo(),
 			final LocArrayInfo locArray = mMemLocArrayManager.getOrConstructLocArray(selectInfo.getEdgeInfo(),
-//					selectInfo.getArrayCellAccess().getArray(), dim);
 					selectInfo.getArrayCellAccess().getArray(), dim, true);
 
 			// build the term a-loc-dim[i_dim]