diff --git a/libyul/AsmAnalysis.cpp b/libyul/AsmAnalysis.cpp index 044b0780b..f898f70c0 100644 --- a/libyul/AsmAnalysis.cpp +++ b/libyul/AsmAnalysis.cpp @@ -52,7 +52,10 @@ bool AsmAnalyzer::analyze(Block const& _block) if (!(ScopeFiller(m_info, m_errorReporter))(_block)) return false; - return (*this)(_block); + bool success = (*this)(_block); + if (!success) + solAssert(m_errorReporter.hasErrors(), "No success but no error."); + return success && !m_errorReporter.hasErrors(); } AsmAnalysisInfo AsmAnalyzer::analyzeStrictAssertCorrect(