From 37af76405a732724a917c4a17978adcc7511dd35 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Kamil=20=C5=9Aliwak?= Date: Fri, 11 Aug 2023 19:01:25 +0200 Subject: [PATCH] fixup! Implementation of Lengauer-Tarjan algorithm to find dominators --- libyul/backends/evm/Dominator.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/libyul/backends/evm/Dominator.h b/libyul/backends/evm/Dominator.h index dcbfd02ee..b2b4683e1 100644 --- a/libyul/backends/evm/Dominator.h +++ b/libyul/backends/evm/Dominator.h @@ -111,7 +111,8 @@ public: return dominators; } - void buildDominatorTree() { + void buildDominatorTree() + { solAssert(!m_vertex.empty()); solAssert(!m_immediateDominator.empty());