| ! { dg-do run } | |
| ! | |
| ! PR fortran/92178 | |
| ! Check that if a data reference passed is as actual argument whose dummy | |
| ! has INTENT(OUT) attribute, any other argument depending on the | |
| ! same data reference is evaluated before the data reference deallocation. | |
| program p | |
| implicit none | |
| class(*), allocatable :: c | |
| c = 3 | |
| call bar (allocated(c), c, allocated (c)) | |
| if (allocated (c)) stop 14 | |
| contains | |
| subroutine bar (alloc, x, alloc2) | |
| logical :: alloc, alloc2 | |
| class(*), allocatable, intent(out) :: x(..) | |
| if (allocated (x)) stop 5 | |
| if (.not. alloc) stop 6 | |
| if (.not. alloc2) stop 16 | |
| end subroutine bar | |
| end |