From 3996d5bad3c857757a252e883e635612a0352d00 Mon Sep 17 00:00:00 2001 From: chriseth Date: Mon, 21 Mar 2022 12:36:35 +0100 Subject: [PATCH] Comment --- libyul/optimiser/ReasoningBasedSimplifier.cpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/libyul/optimiser/ReasoningBasedSimplifier.cpp b/libyul/optimiser/ReasoningBasedSimplifier.cpp index 636c75ba5..a201a8fec 100644 --- a/libyul/optimiser/ReasoningBasedSimplifier.cpp +++ b/libyul/optimiser/ReasoningBasedSimplifier.cpp @@ -106,6 +106,10 @@ void ReasoningBasedSimplifier::operator()(If& _if) ASTModifier::operator()(_if.body); m_solver->pop(); + + // TODO if the body is non-continuing, we could assert that the condition is false + // but this might not be true anymore once we join with another control-flow. + // maybe it is best to let the conditional simplifier and the data flow analyzer do this for us. } void ReasoningBasedSimplifier::operator()(ForLoop& _for)