cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

fixup! Improved branch handling in data flow analyzer.

Browse Source
This commit is contained in:
chriseth 2022-03-17 12:29:02 +01:00
parent 450cc715b4
commit 52ed9415a3
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
libyul/optimiser/DataFlowAnalyzer.h
View File

@ -154,6 +154,9 @@ protected:
/// @returns true if the block is empty or the last statement has a /// @returns true if the block is empty or the last statement has a
/// "flow out" control flow. /// "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; bool hasFlowOutControlFlow(Block const& _block) const;
Dialect const& m_dialect; Dialect const& m_dialect;