Implemented ASR checks for function dependencies

integration_tests/CMakeLists.txt

@@ -694,7 +694,7 @@ RUN(NAME global_syms_01    LABELS cpython llvm c)
 RUN(NAME global_syms_02    LABELS cpython llvm c)
 RUN(NAME global_syms_03_b  LABELS cpython llvm c)
 RUN(NAME global_syms_03_c  LABELS cpython llvm c)
-RUN(NAME global_syms_04    LABELS cpython llvm c wasm wasm_x64)
+RUN(NAME global_syms_04    LABELS cpython llvm c wasm wasm_x64 NOFAST)
 RUN(NAME global_syms_05    LABELS cpython llvm c)
 RUN(NAME global_syms_06    LABELS cpython llvm c)
 

src/libasr/asr_verify.cpp

@@ -440,6 +440,25 @@ class VerifyVisitor : public BaseWalkVisitor<VerifyVisitor>
         verify_unique_dependencies(x.m_dependencies, x.n_dependencies,
                                    x.m_name, x.base.base.loc);
 
+        // Get the x symtab.
+        SymbolTable *sym = x.m_symtab->parent;
+
+        // Dependencies of the function should be from function's symbol table.
+        for( size_t i = 0; i < x.n_dependencies; i++ ) {
+            std::string found_dep = x.m_dependencies[i];
+
+            // Get the symbol of the found_dep.
+            ASR::symbol_t* dep_sym = sym->get_symbol(found_dep);
+
+            // If dep_sym is External Symbol or nullptr. It should be skipped.
+            if (dep_sym == nullptr || ASR::is_a<ASR::ExternalSymbol_t>(*dep_sym)) {
+                continue;
+            }  
+
+            require(dep_sym != nullptr,
+                    "Dependency " + found_dep +  " does not belong to same parent symbol table of " + std::string(x.m_name));
+        }
+
         // Check if there are unnecessary dependencies
         // present in the dependency list of the function
         for( size_t i = 0; i < x.n_dependencies; i++ ) {