1 files changed, 39 insertions, 0 deletions
diff --git a/gcc/testsuite/gfortran.dg/block_2.f08 b/gcc/testsuite/gfortran.dg/block_2.f08
new file mode 100644
index 000000000..484b6ce72
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/block_2.f08
@@ -0,0 +1,39 @@
+! { dg-do run }
+! { dg-options "-std=f2008 -fall-intrinsics -fdump-tree-original" }
+
+! More sophisticated BLOCK runtime checks for correct initialization/clean-up.
+
+PROGRAM main
+  IMPLICIT NONE
+  INTEGER :: n
+
+  n = 5
+
+  myblock: BLOCK
+    INTEGER :: arr(n)
+    IF (SIZE (arr) /= 5) CALL abort ()
+    BLOCK
+      INTEGER :: arr(2*n)
+      IF (SIZE (arr) /= 10) CALL abort ()
+    END BLOCK
+    IF (SIZE (arr) /= 5) CALL abort ()
+  END BLOCK myblock
+
+  BLOCK
+    INTEGER, ALLOCATABLE :: alloc_arr(:)
+    IF (ALLOCATED (alloc_arr)) CALL abort ()
+    ALLOCATE (alloc_arr(n))
+    IF (SIZE (alloc_arr) /= 5) CALL abort ()
+    ! Should be free'ed here (but at least somewhere), this is checked
+    ! with pattern below.
+  END BLOCK
+
+  BLOCK
+    CHARACTER(LEN=n) :: str
+    IF (LEN (str) /= 5) CALL abort ()
+    str = "123456789"
+    IF (str /= "12345") CALL abort ()
+  END BLOCK
+END PROGRAM main
+! { dg-final { scan-tree-dump-times "free \\(\\(void \\*\\) alloc_arr\\.data" 1 "original" } }
+! { dg-final { cleanup-tree-dump "original" } }