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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
! { dg-do compile }
! { dg-options "-fdump-tree-original" }
!
! Test the fix for PR87284 in which the indexing in allocate with mold
! was incorrect for class array initialization and resulted in the valgrind
! error:
! "Conditional jump or move depends on uninitialised value(s)" at line 42.
!
! Contributed by Andrew Baldwin on clf.
!
MODULE INTS_TYPE_MODULE
TYPE, ABSTRACT :: BASE_TYPE
END TYPE BASE_TYPE
TYPE, EXTENDS (BASE_TYPE) :: INTS_TYPE
INTEGER, ALLOCATABLE :: INTS(:)
END TYPE INTS_TYPE
CONTAINS
SUBROUTINE MOLD_ALLOCATE (IT_OBJS, MOLD_OBJ)
CLASS (BASE_TYPE), ALLOCATABLE, INTENT (OUT) :: IT_OBJS(:)
CLASS (BASE_TYPE), INTENT (IN) :: MOLD_OBJ
ALLOCATE (IT_OBJS(2), mold = MOLD_OBJ)
RETURN
END SUBROUTINE MOLD_ALLOCATE
END MODULE INTS_TYPE_MODULE
PROGRAM MFE
USE INTS_TYPE_MODULE
IMPLICIT NONE
CLASS (BASE_TYPE), ALLOCATABLE :: IT_OBJS(:)
INTEGER :: I
TYPE (INTS_TYPE) :: MOLD_OBJ
ALLOCATE (INTS_TYPE :: IT_OBJS(2))
SELECT TYPE (IT_OBJS)
TYPE IS (INTS_TYPE)
ALLOCATE (IT_OBJS(1)%INTS(10))
ALLOCATE (IT_OBJS(2)%INTS(10))
END SELECT
DEALLOCATE (IT_OBJS)
CALL MOLD_ALLOCATE (IT_OBJS, MOLD_OBJ)
IF (ALLOCATED(IT_OBJS)) THEN
IF (SIZE(IT_OBJS) .GE. 2) THEN
SELECT TYPE (IT_OBJS)
TYPE IS (INTS_TYPE)
ALLOCATE (IT_OBJS(1)%INTS(10))
ALLOCATE (IT_OBJS(2)%INTS(10))
END SELECT
END IF
END IF
END PROGRAM MFE
! { dg-final { scan-tree-dump-times "it_objs->_vptr->_size" 1 "original" } }
|
