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
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
! { dg-do run }
! Check the fix for PR38863 comment #1, where defined assignment
! to derived types was not treating components correctly that were
! not set explicitly.
!
! Contributed by Mikael Morin <mikael@gcc.gnu.org>
!
module m
type t
integer :: i,j
end type t
type ti
integer :: i,j = 99
end type ti
interface assignment (=)
module procedure i_to_t, i_to_ti
end interface
contains
elemental subroutine i_to_ti (p, q)
type(ti), intent(out) :: p
integer, intent(in) :: q
p%i = q
end subroutine
elemental subroutine i_to_t (p, q)
type(t), intent(out) :: p
integer, intent(in) :: q
p%i = q
end subroutine
end module
use m
call test_t ! Check original problem
call test_ti ! Default initializers were treated wrongly
contains
subroutine test_t
type(t), target :: a(3)
type(t), target :: b(3)
type(t), dimension(:), pointer :: p
logical :: l(3)
a%i = 1
a%j = [101, 102, 103]
b%i = 3
b%j = 4
p => b
l = .true.
where (l)
a = p%i ! Comment #1 of PR38863 concerned WHERE assignment
end where
if (any (a%j .ne. [101, 102, 103])) STOP 1
a = p%i ! Ordinary assignment was wrong too.
if (any (a%j .ne. [101, 102, 103])) STOP 2
end subroutine
subroutine test_ti
type(ti), target :: a(3)
type(ti), target :: b(3)
type(ti), dimension(:), pointer :: p
logical :: l(3)
a%i = 1
a%j = [101, 102, 103]
b%i = 3
b%j = 4
p => b
l = .true.
where (l)
a = p%i
end where
if (any (a%j .ne. 99)) STOP 3
a = p%i
if (any (a%j .ne. 99)) STOP 4
end subroutine
end
|
