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
|
! RUN: %python %S/test_errors.py %s %flang_fc1
module m1
type :: impureFinal
contains
final :: impureSub
final :: impureSubRank1
final :: impureSubRank2
end type
contains
impure subroutine impureSub(x)
type(impureFinal), intent(in) :: x
end subroutine
impure subroutine impureSubRank1(x)
type(impureFinal), intent(in) :: x(:)
end subroutine
impure subroutine impureSubRank2(x)
type(impureFinal), intent(in) :: x(:,:)
end subroutine
subroutine s1()
implicit none
integer :: i
type(impureFinal), allocatable :: ifVar, ifvar1
type(impureFinal), allocatable :: ifArr1(:), ifArr2(:,:)
type(impureFinal) :: if0
integer a(10)
allocate(ifVar)
allocate(ifVar1)
allocate(ifArr1(5), ifArr2(5,5))
! Error to invoke an IMPURE FINAL procedure in a FORALL
forall (i = 1:10)
!WARNING: FORALL index variable 'i' not used on left-hand side of assignment
!ERROR: Impure procedure 'impuresub' is referenced by finalization in a FORALL
ifvar = ifvar1
end forall
forall (i = 1:5)
!ERROR: Impure procedure 'impuresub' is referenced by finalization in a FORALL
ifArr1(i) = if0
end forall
forall (i = 1:5)
!WARNING: FORALL index variable 'i' not used on left-hand side of assignment
!ERROR: Impure procedure 'impuresubrank1' is referenced by finalization in a FORALL
ifArr1 = if0
end forall
forall (i = 1:5)
!ERROR: Impure procedure 'impuresubrank1' is referenced by finalization in a FORALL
ifArr2(i,:) = if0
end forall
forall (i = 1:5)
!WARNING: FORALL index variable 'i' not used on left-hand side of assignment
!ERROR: Impure procedure 'impuresubrank2' is referenced by finalization in a FORALL
ifArr2(:,:) = if0
end forall
end subroutine
end module m1
|
