[Bug fortran/36361] New: attribute declaration outside of INTERFACE body

[janus at gcc dot gnu dot org]

The following code is invalid, but accepted by gfortran:

interface
  real function bar()
  end function bar
end interface
dimension :: bar(4)

It is invalid, since section 12.3.2.1 of the Fortran 2003 standard states:

"An interface body specifies all of the characteristics of the explicit
specific interface or abstract interface. The specification part of
an interface body may specify attributes or define values for data
entities that do not determine characteristics of the procedure. Such
specifications have no effect."

This means that there may be no additional attributes specified outside of the
interface body.

g95 correctly gives the following error message for this test case:

dimension :: bar(4)
             1
Error: Attribute declaration of 'bar' at (1) is outside of the INTERFACE body

The test case also has to be rejected when the order of the statements is
exchanged:

dimension :: bar(4)
interface
  real function bar()
  end function bar
end interface

This is probably even harder to detect. g95's error message for this case is:

dimension :: bar(4)
             1
Error: Symbol 'bar' at (1) conflicts with the same name in an encompassing
program unit

I think it would be desirable for gfortran to print out the same message for
both cases.


-- 
           Summary: attribute declaration outside of INTERFACE body
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Keywords: accepts-invalid
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: janus at gcc dot gnu dot org


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