[Bug fortran/30883] New: incorrect error message for valid code

[Bug fortran/30883] New: incorrect error message for valid code

[jv244 at cam dot ac dot uk]

With recent trunk, gfortran incorrectly generates an error for the following
standard code:
MODULE M1
IMPLICIT NONE
CONTAINS
 SUBROUTINE S1(F1)
   INTERFACE
     FUNCTION F1()
     END FUNCTION F1
   END INTERFACE
 END SUBROUTINE S1
END MODULE

END


-- 
           Summary: incorrect error message for valid code
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jv244 at cam dot ac dot uk


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

[Bug fortran/30883] procedure with dummy procedure f1 rejected with implicit none

[burnus at gcc dot gnu dot org]

------- Comment #1 from burnus at gcc dot gnu dot org  2007-02-20 14:01 -------
gfortran rejects the procedure with:

 SUBROUTINE S1(F1)
                1
Error: Symbol 'f1' at (1) has no IMPLICIT type

The error goes away when the return value of f1 has a type, e.g.

   INTERFACE
     FUNCTION F1()
        real :: f1
     END FUNCTION F1
   END INTERFACE

Thus it boils down to the question: Is it allowed to have dummy procedure which
unknown return type, if IMPLICIT NONE is specified?

NAG f95, g95 and ifort compile it without any error.


-- 

burnus at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |burnus at gcc dot gnu dot
                   |                            |org
           Keywords|                            |rejects-valid
            Summary|incorrect error message for |procedure with dummy
                   |valid code                  |procedure f1  rejected with
                   |                            |implicit none


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

[Bug fortran/30883] procedure with dummy procedure f1 rejected with implicit none

[steven at gcc dot gnu dot org]

------- Comment #2 from steven at gcc dot gnu dot org  2007-02-20 21:45 -------
Has this been checked against comp.lang.fortran? 


-- 


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

[Bug fortran/30883] procedure with dummy procedure f1 rejected with implicit none

[kargl at gcc dot gnu dot org]

------- Comment #3 from kargl at gcc dot gnu dot org  2007-02-20 22:41 -------
(In reply to comment #2)
> Has this been checked against comp.lang.fortran? 
> 

Steven, 

I haven't located the relevant text, but I believe that
Joost is right.  The INTERFACE defines it own scoping
unit, and the IMPLICIT NONE does propagate into it
via host association.


-- 

kargl at gcc dot gnu dot org changed:

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


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

[Bug fortran/30883] procedure with dummy procedure f1 rejected with implicit none

[sgk at troutmask dot apl dot washington dot edu]

------- Comment #4 from sgk at troutmask dot apl dot washington dot edu  2007-02-20 22:56 -------
Subject: Re:  procedure with dummy procedure f1  rejected with implicit none

On Tue, Feb 20, 2007 at 10:41:11PM -0000, kargl at gcc dot gnu dot org wrote:
> 
> I haven't located the relevant text, but I believe that
> Joost is right.  The INTERFACE defines it own scoping
> unit, and the IMPLICIT NONE does propagate into it
> via host association.
> 
s/does/does not/


-- 


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

[Bug fortran/30883] procedure with dummy procedure f1 rejected with implicit none

[patchapp at dberlin dot org]

------- Comment #5 from patchapp at dberlin dot org  2007-03-11 12:01 -------
Subject: Bug number PR30883

A patch for this bug has been added to the patch tracker.
The mailing list url for the patch is
http://gcc.gnu.org/ml/gcc-patches/2007-03/msg00651.html


-- 


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

[Bug fortran/30883] procedure with dummy procedure f1 rejected with implicit none

[pault at gcc dot gnu dot org]

-- 

pault at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |pault at gcc dot gnu dot org
                   |dot org                     |
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-03-11 13:20:58
               date|                            |


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

[Bug fortran/30883] procedure with dummy procedure f1 rejected with implicit none

[pault at gcc dot gnu dot org]

------- Comment #6 from pault at gcc dot gnu dot org  2007-03-11 16:17 -------
Subject: Bug 30883

Author: pault
Date: Sun Mar 11 16:17:32 2007
New Revision: 122822

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=122822
Log:
2007-03-11  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/30883
        * parse.c (parse_interface): Use the default types from the
        formal namespace if a function or its result do not have a type
        after parsing the specification statements.

2007-03-11  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/30883
        * gfortran.dg/interface_11.f90: New test.

Added:
    trunk/gcc/testsuite/gfortran.dg/interface_11.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/parse.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug fortran/30883] [4.1/4.2 only] procedure with dummy procedure f1 rejected with implicit none

[pault at gcc dot gnu dot org]

------- Comment #7 from pault at gcc dot gnu dot org  2007-03-27 10:03 -------
This is not a regression wrt 4.1 so closing.

Paul


-- 

pault at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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