[Bug fortran/56808] New: Coarray: Wrongly accepts coindexed arguments to INTENT(OUT) dummies

[Bug fortran/56808] New: Coarray: Wrongly accepts coindexed arguments to INTENT(OUT) dummies

[burnus at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56808

             Bug #: 56808
           Summary: Coarray: Wrongly accepts coindexed arguments to
                    INTENT(OUT) dummies
    Classification: Unclassified
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Keywords: accepts-invalid
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: burnus@gcc.gnu.org


Found at
https://groups.google.com/forum/?fromgroups=#!topic/comp.lang.fortran/-oUZRIdRCcg


For obvious reasons, the following is invalid, but it is accepted:

"If the actual argument is a coindexed object with an allocatable ultimate
component, the dummy argument shall have the INTENT (IN) or the VALUE
attribute." (12.5.2.4 Ordinary dummy variables)

 real(kind=4),allocatable :: grt(:,:,:)[:,:,:]
 call cgca_rt(grt(i,:,:)[1,1,1])
contains
 subroutine cgca_rt(r)
 real(kind=4),intent(out) :: r(3,3)
end
end

[Bug fortran/56808] Coarray: Wrongly accepts coindexed arguments to INTENT(OUT) dummies

[burnus at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56808

Tobias Burnus <burnus at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |burnus at gcc dot gnu.org

--- Comment #1 from Tobias Burnus <burnus at gcc dot gnu.org> 2013-04-02 08:06:54 UTC ---
Actually, that example is probably okay. Steven Lionel wrote:

"But reading this I wonder if it's intended to mean actual arguments of derived
type with allocatable components, rather than a regular allocatable array,
since there's no issue of making copies of subcomponents here. Let me discuss
it with my
team here."


However, the following code should be invalid (due to the implicit deallocating
the allocatable component *on the remote image*):

type t
  integer, allocatable :: x
end type t
class(t), allocatable :: x[:]
 call bar(x[1]) ! <<< Wrongly accepted.
! call foo(x[1]) ! OK: Rejected coindexed polymorphic -> polymorphic not
allowed
contains
 subroutine bar(r)
   type(t) :: r
 end
 subroutine foo(r)
   class(t) :: r
 end
end

[Bug fortran/56808] Coarray: Wrongly accepts coindexed arguments to INTENT(OUT) dummies

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56808

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-10-20
     Ever confirmed|0                           |1

--- Comment #2 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
Both tests are accepted at revision r229079 (trunk 6.0).