FIR DFA: remove updatedAliasDiff from PersistentFlow

It is no longer used after element-wise join (a5389b06)
This commit is contained in:
Jinseong Jeon
2021-04-27 20:35:26 -07:00
committed by teamcityserver
parent cd7841ceed
commit bf85b110da
@@ -42,7 +42,6 @@ class PersistentFlow : Flow {
var logicStatements: PersistentImplications
val level: Int
var approvedTypeStatementsDiff: PersistentApprovedTypeStatements = persistentHashMapOf()
var updatedAliasDiff: PersistentSet<RealVariable> = persistentSetOf()
/*
* val x = a
@@ -204,7 +203,6 @@ abstract class PersistentLogicSystem(context: ConeInferenceContext) : LogicSyste
}
override fun removeLocalVariableAlias(flow: PersistentFlow, alias: RealVariable) {
flow.updatedAliasDiff += alias
val original = flow.directAliasMap[alias]?.variable ?: return
flow.directAliasMap = flow.directAliasMap.remove(alias)
val variables = flow.backwardsAliasMap.getValue(original)
@@ -300,7 +298,6 @@ abstract class PersistentLogicSystem(context: ConeInferenceContext) : LogicSyste
} else {
flow.backwardsAliasMap.put(existedAlias, updatedBackwardsAliasList)
}
flow.updatedAliasDiff = flow.updatedAliasDiff.add(variable)
}
}