From 52ed9415a3bfc3ab479e67e2bd7a4437e64b6744 Mon Sep 17 00:00:00 2001 From: chriseth Date: Thu, 17 Mar 2022 12:29:02 +0100 Subject: [PATCH] fixup! Improved branch handling in data flow analyzer. --- libyul/optimiser/DataFlowAnalyzer.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/libyul/optimiser/DataFlowAnalyzer.h b/libyul/optimiser/DataFlowAnalyzer.h index 450c71149..0a0d4d8b5 100644 --- a/libyul/optimiser/DataFlowAnalyzer.h +++ b/libyul/optimiser/DataFlowAnalyzer.h @@ -154,6 +154,9 @@ protected: /// @returns true if the block is empty or the last statement has a /// "flow out" control flow. + /// Note that this only considers the last statement. If there are + /// "leave", "break" or "continue" statements inside the block, this + /// has to be considered elsewhere. bool hasFlowOutControlFlow(Block const& _block) const; Dialect const& m_dialect;