From 1a244e7a20473c4d13e53253d64fc98b77a9f84a Mon Sep 17 00:00:00 2001 From: chriseth Date: Sun, 17 Apr 2022 19:30:03 +0200 Subject: [PATCH] add comment --- libyul/optimiser/ReasoningBasedSimplifier.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/libyul/optimiser/ReasoningBasedSimplifier.cpp b/libyul/optimiser/ReasoningBasedSimplifier.cpp index 7da511096..bf0f7bcc1 100644 --- a/libyul/optimiser/ReasoningBasedSimplifier.cpp +++ b/libyul/optimiser/ReasoningBasedSimplifier.cpp @@ -152,6 +152,7 @@ void ReasoningBasedSimplifier::operator()(FunctionCall& _fun) // TODO do not forget to add path condition! // TODO and(x, 0xfff) -> x if x <= 0xfff // TODO if _fun is not returning, assert that the path condition is aflse + // -> This should be the job of the structural simplifier! } void ReasoningBasedSimplifier::operator()(FunctionDefinition& _fun)