blob: 484b6ce72fb55c7c0ff5705955ee1de4d3b5eda9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
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" } }
|
