cerc-io/solidity
16
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! Implementation of Lengauer-Tarjan algorithm to find dominators

Browse Source
This commit is contained in:
Kamil Śliwak 2023-08-11 19:01:25 +02:00 committed by r0qs
parent a9a09bea6d
commit 37af76405a
No known key found for this signature in database
GPG Key ID: 61503DBA6667276C
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
libyul/backends/evm/Dominator.h
View File

@ -111,7 +111,8 @@ public:
return dominators;
}
void buildDominatorTree() {
void buildDominatorTree()
{
solAssert(!m_vertex.empty());
solAssert(!m_immediateDominator.empty());