@@ -20,0 +34,4 @@
+static bool checkDynamicArray(DIST::Array *array)
+{
+    for (const auto &bounds : array->GetSizes())
+        if (bounds.first == -1 || bounds.second == -1)

@@ -20,0 +63,4 @@
+{
+    bool found = false;
+
+    DIST::Array* array_p = getArrayFromDeclarated(st, arrayName);

@@ -20,0 +68,4 @@
+    auto place = *array_p->GetDeclInfo().begin();
+    auto decl_file_name = place.first;
+
+    SgFile::switchToFile(decl_file_name);

@@ -20,0 +89,4 @@
+            found = true;
+    }
+
+    SgFile::switchToFile(currentFile);

@@ -499,0 +654,4 @@
+                                    }
+
+                                    // insert allocate(a_l(lbound(a, 1):ubound(a,1),...)) statement
+                                    SgFile::switchToFile(filename);

@@ -499,0 +686,4 @@
+                                        auto *lcall = new SgFunctionCallExp(*lbound_symb);
+                                        auto *rcall = new SgFunctionCallExp(*ubound_symb);
+                                        
+                                        for (auto *call : {lcall, rcall})

@@ -499,0 +740,4 @@
+                                    }
+                                }
+
+                                SgFile::switchToFile(filename);