Merge pull request #2069 from Shaikh-Ubaid/asr_verify_arr_alloca

certik · web-flow · commit dde47f4ff502 · 2023-06-30T16:14:47.000-06:00
Verify: Add a check for order of Allocatable and Array
diff --git a/src/libasr/asr_verify.cpp b/src/libasr/asr_verify.cpp
@@ -1036,6 +1036,8 @@ class VerifyVisitor : public BaseWalkVisitor<VerifyVisitor>
     }
 
     void visit_Array(const Array_t& x) {
+        require(!ASR::is_a<ASR::Allocatable_t>(*x.m_type),
+            "Allocatable cannot be inside array");
         visit_ttype(*x.m_type);
         require(x.n_dims != 0, "Array type cannot have 0 dimensions.")
         require(!ASR::is_a<ASR::Array_t>(*x.m_type), "Array type cannot be nested.")

Original file line number	Diff line number	Diff line change
`@@ -1036,6 +1036,8 @@ class VerifyVisitor : public BaseWalkVisitor<VerifyVisitor>`
`1036`	`1036`	`}`
`1037`	`1037`
`1038`	`1038`	`void visit_Array(const Array_t& x) {`
	`1039`	`+ require(!ASR::is_a<ASR::Allocatable_t>(*x.m_type),`
	`1040`	`+ "Allocatable cannot be inside array");`
`1039`	`1041`	`visit_ttype(*x.m_type);`
`1040`	`1042`	`require(x.n_dims != 0, "Array type cannot have 0 dimensions.")`
`1041`	`1043`	`require(!ASR::is_a<ASR::Array_t>(*x.m_type), "Array type cannot be nested.")`