Add test to check for unnecessary allocation

---
Signed-off-by: Michael Ferguson <[email protected]>

test/arrays/ferguson/array-initialization-patterns/post-alloc-dists.prediff

@@ -1,6 +1,6 @@
 #!/bin/bash
 # show only lines containing "alloc int"
-# show only lines after "alloc test begins"
-# show only lines before "alloc test begins"
+# show only lines after "alloc int test begins"
+# show only lines before "alloc int test ends"
 cat $2 | grep "alloc int" | grep -A 1000 "alloc int test begins" | grep -B 1000 "alloc int test ends" > $2.tmp
 mv $2.tmp $2

test/arrays/ferguson/array-initialization-patterns/post-alloc.prediff

@@ -1,6 +1,6 @@
 #!/bin/bash
 # show only lines containing 'alloc int'
-# show only lines after "alloc test begins"
-# show only lines before "alloc test begins"
+# show only lines after "alloc int test begins"
+# show only lines before "alloc int test ends"
 cat $2 | grep "alloc int" | grep -A 1000 "alloc int test begins" | grep -B 1000 "alloc int test ends" > $2.tmp
 mv $2.tmp $2

test/arrays/ferguson/array-initialization-patterns/return-array-declared-type.chpl

@@ -0,0 +1,16 @@
+// this test is intended as a reproducer for the
+// problem of too much memory allocated
+// shown in issue #25741
+
+config const n = 100_000;
+
+proc myfn(nn: int) : [0..<nn] int {
+  var ret: [0..<nn] int;
+  return ret;
+}
+
+proc main() {
+  writeln("alloc int test begins");
+  var x = myfn(n);
+  writeln("alloc int test ends");
+}

test/arrays/ferguson/array-initialization-patterns/return-array-declared-type.compopts

@@ -0,0 +1 @@
+--set debugDefaultDist=true

test/arrays/ferguson/array-initialization-patterns/return-array-declared-type.good

@@ -0,0 +1,4 @@
+alloc int test begins
+*** DR alloc int(64) 100000
+*** DR calling postalloc int(64) 100000
+alloc int test ends

test/arrays/ferguson/array-initialization-patterns/return-array-declared-type.prediff

@@ -0,0 +1,6 @@
+#!/bin/bash
+# show only lines containing 'alloc int'
+# show only lines after "alloc int test begins"
+# show only lines before "alloc int test ends"
+cat $2 | grep "alloc int" | grep -A 1000 "alloc int test begins" | grep -B 1000 "alloc int test ends" > $2.tmp
+mv $2.tmp $2