Check ASR verify

Thirumalai-Shaktivel · Thirumalai-Shaktivel · commit 9090781dec1a · 2023-01-12T21:15:25.000+05:30
diff --git a/src/libasr/pass/global_stmts.cpp b/src/libasr/pass/global_stmts.cpp
@@ -170,6 +170,13 @@ void pass_wrap_global_vars_into_function(ASR::TranslationUnit_t &unit) {
     for (auto &a: symbols) {
         unit.m_global_scope->erase_symbol(a);
     }
+#if defined(WITH_LFORTRAN_ASSERT)
+        diag::Diagnostics diagnostics;
+        if (!asr_verify(unit, true, diagnostics)) {
+            std::cerr << diagnostics.render2();
+            throw LCompilersException("Verify failed");
+        };
+#endif
 }
 
 } // namespace LCompilers

Original file line number	Diff line number	Diff line change
`@@ -170,6 +170,13 @@ void pass_wrap_global_vars_into_function(ASR::TranslationUnit_t &unit) {`
`170`	`170`	`for (auto &a: symbols) {`
`171`	`171`	`unit.m_global_scope->erase_symbol(a);`
`172`	`172`	`}`
	`173`	`+#if defined(WITH_LFORTRAN_ASSERT)`
	`174`	`+ diag::Diagnostics diagnostics;`
	`175`	`+ if (!asr_verify(unit, true, diagnostics)) {`
	`176`	`+ std::cerr << diagnostics.render2();`
	`177`	`+ throw LCompilersException("Verify failed");`
	`178`	`+ };`
	`179`	`+#endif`
`173`	`180`	`}`
`174`	`181`
`175`	`182`	`} // namespace LCompilers`