| ! 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 |
| |