[Bug fortran/50552] New: type name cannot be statement function dummy argument (r178939)

[Bug fortran/50552] New: type name cannot be statement function dummy argument (r178939)

[zeccav at gmail dot com]

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

             Bug #: 50552
           Summary: type name cannot be statement function dummy argument
                    (r178939)
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zeccav@gmail.com


! type name cannot be statement function dummy argument (r178939) 
      type t
       real g
      end type
      f(t)=0  ! this should not be accepted
      end

[Bug fortran/50552] type name cannot be statement function dummy argument (r178939)

[kargl at gcc dot gnu.org]

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

kargl at gcc dot gnu.org changed:

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

--- Comment #1 from kargl at gcc dot gnu.org 2011-10-16 23:43:11 UTC ---
(In reply to comment #0)
> ! type name cannot be statement function dummy argument (r178939) 
>       type t
>        real g
>       end type
>       f(t)=0  ! this should not be accepted
>       end

I can't find anything in the standard that confirms your
statement.  Can you point me to where the standard would
prohibit the above code?

[Bug fortran/50552] type name cannot be statement function dummy argument (r178939)

[kargl at gcc dot gnu.org]

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

--- Comment #2 from kargl at gcc dot gnu.org 2011-10-16 23:55:49 UTC ---
(In reply to comment #1)
> (In reply to comment #0)
> > ! type name cannot be statement function dummy argument (r178939) 
> >       type t
> >        real g
> >       end type
> >       f(t)=0  ! this should not be accepted
> >       end
> 
> I can't find anything in the standard that confirms your
> statement.  Can you point me to where the standard would
> prohibit the above code?

I should also note that I cannot construct a program, which
actually uses the statement function.  All attempts end with
an error message being emitted.  I believe that this may be
a non-issue.  These 4 programs fail to compile.

! type t
!  integer :: i = 42
! end type
! type(t) s
! f(t) = 0
! print *, f(s)
! end
!
! type t
!  integer :: i = 42
! end type
! type(t) s
! f(t) = t%i
! print *, f(s)
! end
!
! implicit none
! type t
!  integer :: i = 42
! end type
! type(t) s
! f(t) = t%i
! print *, f(s)
! end
!
 implicit none
 type t
  integer :: i = 42
 end type
 type(t) s
 f(t) = 0
 print *, f(s)
 end

[Bug fortran/50552] type name cannot be statement function dummy argument (r178939)

[zeccav at gmail dot com]

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

--- Comment #3 from Vittorio Zecca <zeccav at gmail dot com> 2011-10-18 13:55:31 UTC ---
I am traveling in Korea, and I cannot look at the standard now.
If you believe this is a non-issue then please close it.

[Bug fortran/50552] type name cannot be statement function dummy argument (r178939)

[dominiq at lps dot ens.fr]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING
   Last reconfirmed|                            |2013-06-22
     Ever confirmed|0                           |1

--- Comment #4 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> I am traveling in Korea, and I cannot look at the standard now.
> If you believe this is a non-issue then please close it.

Before I close this PR as INVALID, could someone have a look at it?

[Bug fortran/50552] type name cannot be statement function dummy argument (r178939)

[dominiq at lps dot ens.fr]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |RESOLVED
         Resolution|---                         |INVALID

--- Comment #5 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
Poster more than two years ago:
> > I am traveling in Korea, and I cannot look at the standard now.
> > If you believe this is a non-issue then please close it.

Posted more than six months ago:
> Before I close this PR as INVALID, could someone have a look at it?

No feedback, closing as INVALID.