1! { dg-do run } 2! { dg-options "-std=f2008 -fall-intrinsics -fdump-tree-original" } 3 4! More sophisticated BLOCK runtime checks for correct initialization/clean-up. 5 6PROGRAM main 7 IMPLICIT NONE 8 INTEGER :: n 9 10 n = 5 11 12 myblock: BLOCK 13 INTEGER :: arr(n) 14 IF (SIZE (arr) /= 5) CALL abort () 15 BLOCK 16 INTEGER :: arr(2*n) 17 IF (SIZE (arr) /= 10) CALL abort () 18 END BLOCK 19 IF (SIZE (arr) /= 5) CALL abort () 20 END BLOCK myblock 21 22 BLOCK 23 INTEGER, ALLOCATABLE :: alloc_arr(:) 24 IF (ALLOCATED (alloc_arr)) CALL abort () 25 ALLOCATE (alloc_arr(n)) 26 IF (SIZE (alloc_arr) /= 5) CALL abort () 27 ! Should be free'ed here (but at least somewhere), this is checked 28 ! with pattern below. 29 END BLOCK 30 31 BLOCK 32 CHARACTER(LEN=n) :: str 33 IF (LEN (str) /= 5) CALL abort () 34 str = "123456789" 35 IF (str /= "12345") CALL abort () 36 END BLOCK 37END PROGRAM main 38! { dg-final { scan-tree-dump-times "free \\(\\(void \\*\\) alloc_arr\\.data" 1 "original" } } 39! { dg-final { cleanup-tree-dump "original" } } 40