diff --git a/libyul/optimiser/DataFlowAnalyzer.cpp b/libyul/optimiser/DataFlowAnalyzer.cpp
index aee1e5e37..58f4fdd49 100644
--- a/libyul/optimiser/DataFlowAnalyzer.cpp
+++ b/libyul/optimiser/DataFlowAnalyzer.cpp
@@ -293,6 +293,11 @@ void DataFlowAnalyzer::pushScope(bool _functionScope)
 
 void DataFlowAnalyzer::popScope()
 {
+	for (auto const& name: m_variableScopes.back().variables)
+	{
+		m_value.erase(name);
+		m_references.erase(name);
+	}
 	m_variableScopes.pop_back();
 }