[Bug fortran/50377] New: gfortran must not accept an external formal argument not declared external

[Bug fortran/50377] New: gfortran must not accept an external formal argument not declared external

[zeccav at gmail dot com]

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

             Bug #: 50377
           Summary: gfortran must not accept an external formal argument
                    not declared external
    Classification: Unclassified
           Product: gcc
           Version: 4.6.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zeccav@gmail.com


gfortran must not accept an external formal argument not declared external in
the calling procedure

[Bug fortran/50377] gfortran must not accept an external formal argument not declared external

[zeccav at gmail dot com]

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

--- Comment #1 from Vittorio Zecca <zeccav at gmail dot com> 2011-09-13 09:01:03 UTC ---
Created attachment 25256
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25256
just compile it

[Bug fortran/50377] gfortran must not accept an external formal argument not declared external

[burnus at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |accepts-invalid, diagnostic
                 CC|                            |burnus at gcc dot gnu.org

--- Comment #2 from Tobias Burnus <burnus at gcc dot gnu.org> 2011-09-13 09:20:30 UTC ---
Confirmed. Also GCC does not what one might think it does as the linker error
shows:

  ice.f90:(.text+0xf): undefined reference to `sub.1736'

All other compilers, I have tested, reject it. For instance Intel:

error #7898: If an external or dummy procedure name is used as an actual
argument, its interface shall be explicit or it shall be explicitly  declared
to have the EXTERNAL attribute

[Bug fortran/50377] gfortran must not accept an external formal argument not declared external

[dominiq at lps dot ens.fr]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-12-05
     Ever confirmed|0                           |1

--- Comment #3 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
Still present at revision r218434.

[Bug fortran/50377] gfortran must not accept an external formal argument not declared external

[zeccav at gmail dot com]

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

--- Comment #4 from Vittorio Zecca <zeccav at gmail dot com> ---
Still present at version 11.
The Intel ifort and NAG nagfor compilers decet the issue.

nagfor -S gfbug158.f -w
NAG Fortran Compiler Release 7.0(Yurakucho) Build 7042
Error: gfbug158.f, line 3: External procedure SUB used as actual argument but
does not have the EXTERNAL attribute
[NAG Fortran Compiler error termination, 1 error]

[vitti f95]$ifort -S gfbug158.f
gfbug158.f(3): error #7898: If an external or dummy procedure name is used as
an actual argument, its interface shall be explicit or it shall be explicitly 
declared to have the EXTERNAL attribute.   [SUB]
      call sub(sub)
---------------^
compilation aborted for gfbug158.f (code 1)