[FIR] Remove the TODO from FirReturnsImpliesAnalyzer
Declined, ignore.
This commit is contained in:
committed by
Space Team
parent
884cd6c754
commit
0e70e9e8d9
-1
@@ -51,7 +51,6 @@ object FirReturnsImpliesAnalyzer : FirControlFlowChecker() {
|
||||
val effects = function.contractDescription.effects ?: return
|
||||
val dataFlowInfo = function.controlFlowGraphReference?.dataFlowInfo ?: return
|
||||
for (firEffect in effects) {
|
||||
// TODO: why is *everything* an "effect"? Something's not right with this terminology.
|
||||
val coneEffect = firEffect.effect as? ConeConditionalEffectDeclaration ?: continue
|
||||
val returnValue = coneEffect.effect as? ConeReturnsEffectDeclaration ?: continue
|
||||
val wrongCondition = graph.exitNode.previousCfgNodes.any {
|
||||
|
||||
Reference in New Issue
Block a user