DEV: Add an LCOMPILERS_ASSERT to make Array is actually of fixed size when physical type is FixedSizeArray

czgdp1807 · czgdp1807 · commit b3127c8d9e76 · 2023-09-15T23:06:53.000+05:30
diff --git a/src/libasr/codegen/llvm_utils.cpp b/src/libasr/codegen/llvm_utils.cpp
@@ -1142,6 +1142,7 @@ namespace LCompilers {
                         break;
                     }
                     case ASR::array_physical_typeType::FixedSizeArray: {
+                        LCOMPILERS_ASSERT(ASRUtils::is_fixed_size_array(v_type->m_dims, v_type->n_dims));
                         llvm_type = llvm::ArrayType::get(get_el_type(v_type->m_type, module),
                                         ASRUtils::get_fixed_size_of_array(
                                             v_type->m_dims, v_type->n_dims));

Original file line number	Diff line number	Diff line change
`@@ -1142,6 +1142,7 @@ namespace LCompilers {`
`1142`	`1142`	`break;`
`1143`	`1143`	`}`
`1144`	`1144`	`case ASR::array_physical_typeType::FixedSizeArray: {`
	`1145`	`+ LCOMPILERS_ASSERT(ASRUtils::is_fixed_size_array(v_type->m_dims, v_type->n_dims));`
`1145`	`1146`	`llvm_type = llvm::ArrayType::get(get_el_type(v_type->m_type, module),`
`1146`	`1147`	`ASRUtils::get_fixed_size_of_array(`
`1147`	`1148`	`v_type->m_dims, v_type->n_dims));`