Assert presence of yulLabels and yulAnnotation in references resolver

clonker · clonker · commit ded8810d6095 · 2025-04-16T08:59:55.000+02:00
diff --git a/libsolidity/analysis/ReferencesResolver.cpp b/libsolidity/analysis/ReferencesResolver.cpp
@@ -285,6 +285,8 @@ void ReferencesResolver::operator()(yul::FunctionDefinition const& _function)
 
 void ReferencesResolver::operator()(yul::Identifier const& _identifier)
 {
+	solAssert(m_yulLabels);
+	solAssert(m_yulAnnotation);
 	solAssert(nativeLocationOf(_identifier) == originLocationOf(_identifier), "");
 
 	if (m_resolver.experimentalSolidity())
@@ -392,6 +394,7 @@ void ReferencesResolver::operator()(yul::Identifier const& _identifier)
 
 void ReferencesResolver::operator()(yul::VariableDeclaration const& _varDecl)
 {
+	solAssert(m_yulLabels);
 	for (auto const& identifier: _varDecl.variables)
 	{
 		solAssert(nativeLocationOf(identifier) == originLocationOf(identifier), "");
@@ -491,6 +494,7 @@ void ReferencesResolver::resolveInheritDoc(StructuredDocumentation const& _docum
 
 void ReferencesResolver::validateYulIdentifierName(yul::YulName _name, SourceLocation const& _location)
 {
+	solAssert(m_yulLabels);
 	std::string_view const label = (*m_yulLabels)[_name];
 	if (util::contains(label, '.'))
 		m_errorReporter.declarationError(

Original file line number	Diff line number	Diff line change
`@@ -285,6 +285,8 @@ void ReferencesResolver::operator()(yul::FunctionDefinition const& _function)`
`285`	`285`
`286`	`286`	`void ReferencesResolver::operator()(yul::Identifier const& _identifier)`
`287`	`287`	`{`
	`288`	`+ solAssert(m_yulLabels);`
	`289`	`+ solAssert(m_yulAnnotation);`
`288`	`290`	`solAssert(nativeLocationOf(_identifier) == originLocationOf(_identifier), "");`
`289`	`291`
`290`	`292`	`if (m_resolver.experimentalSolidity())`
`@@ -392,6 +394,7 @@ void ReferencesResolver::operator()(yul::Identifier const& _identifier)`
`392`	`394`
`393`	`395`	`void ReferencesResolver::operator()(yul::VariableDeclaration const& _varDecl)`
`394`	`396`	`{`
	`397`	`+ solAssert(m_yulLabels);`
`395`	`398`	`for (auto const& identifier: _varDecl.variables)`
`396`	`399`	`{`
`397`	`400`	`solAssert(nativeLocationOf(identifier) == originLocationOf(identifier), "");`
`@@ -491,6 +494,7 @@ void ReferencesResolver::resolveInheritDoc(StructuredDocumentation const& _docum`
`491`	`494`
`492`	`495`	`void ReferencesResolver::validateYulIdentifierName(yul::YulName _name, SourceLocation const& _location)`
`493`	`496`	`{`
	`497`	`+ solAssert(m_yulLabels);`
`494`	`498`	`std::string_view const label = (*m_yulLabels)[_name];`
`495`	`499`	`if (util::contains(label, '.'))`
`496`	`500`	`m_errorReporter.declarationError(`