Skip to content

Commit 3642151

Browse files
Remove special handling
1 parent 458497f commit 3642151

File tree

1 file changed

+16
-16
lines changed

1 file changed

+16
-16
lines changed

src/libasr/asr_verify.cpp

Lines changed: 16 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -578,23 +578,23 @@ class VerifyVisitor : public BaseWalkVisitor<VerifyVisitor>
578578
require(x_m_module_name == asr_owner_name,
579579
"ExternalSymbol::m_module_name `" + x_m_module_name
580580
+ "` must match external's module name `" + asr_owner_name + "`");
581-
if (asr_owner_name != "_global_symbols") {
582-
ASR::symbol_t *s = nullptr;
583-
if( m != nullptr && ((ASR::symbol_t*) m == ASRUtils::get_asr_owner(x.m_external)) ) {
584-
s = m->m_symtab->find_scoped_symbol(x.m_original_name, x.n_scope_names, x.m_scope_names);
585-
} else if( sm ) {
586-
s = sm->m_symtab->resolve_symbol(std::string(x.m_original_name));
587-
} else if( em ) {
588-
s = em->m_symtab->resolve_symbol(std::string(x.m_original_name));
589-
}
590-
require(s != nullptr,
591-
"ExternalSymbol::m_original_name ('"
592-
+ std::string(x.m_original_name)
593-
+ "') + scope_names not found in a module '"
594-
+ asr_owner_name + "'");
595-
require(s == x.m_external,
596-
"ExternalSymbol::m_name + scope_names found but not equal to m_external");
581+
// if (asr_owner_name != "_global_symbols") {
582+
ASR::symbol_t *s = nullptr;
583+
if( m != nullptr && ((ASR::symbol_t*) m == ASRUtils::get_asr_owner(x.m_external)) ) {
584+
s = m->m_symtab->find_scoped_symbol(x.m_original_name, x.n_scope_names, x.m_scope_names);
585+
} else if( sm ) {
586+
s = sm->m_symtab->resolve_symbol(std::string(x.m_original_name));
587+
} else if( em ) {
588+
s = em->m_symtab->resolve_symbol(std::string(x.m_original_name));
597589
}
590+
require(s != nullptr,
591+
"ExternalSymbol::m_original_name ('"
592+
+ std::string(x.m_original_name)
593+
+ "') + scope_names not found in a module '"
594+
+ asr_owner_name + "'");
595+
require(s == x.m_external,
596+
"ExternalSymbol::m_name + scope_names found but not equal to m_external");
597+
// }
598598
}
599599
}
600600

0 commit comments

Comments
 (0)