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;