[Bug fortran/61420] New: type bound procedure with pass attribute, that returns a procedure pointer, fails to compile

[Bug fortran/61420] New: type bound procedure with pass attribute, that returns a procedure pointer, fails to compile

[robert.rosenberg at nrl dot navy.mil]

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

            Bug ID: 61420
           Summary: type bound procedure with pass attribute, that returns
                    a procedure pointer, fails to compile
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: robert.rosenberg at nrl dot navy.mil

Created attachment 32894
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=32894&action=edit
defines type bound procedure that returns a procedure pointer

I was writing some sample code that defines a function that returns a pointer
procedure. 

When I compile the code with Intel Ifort.14.x/15.x it complains saying that
this exact feature is not supported.

When I compile with GNU gfortran49, it compiles and runs fine. But when I
insert the statement, 'implicit none' at the beginning of the code, the code
fails to compile. If I then use an implicit procedure pointer interface, it
again runs fine. 

I include the code as an attachment

[Bug fortran/61420] [4.7/4.8/4.9/4.10 Regression] type bound procedure with pass attribute, that returns a procedure pointer, fails to compile

[dominiq at lps dot ens.fr]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-06-05
            Summary|type bound procedure with   |[4.7/4.8/4.9/4.10
                   |pass attribute, that        |Regression] type bound
                   |returns a procedure         |procedure with pass
                   |pointer, fails to compile   |attribute, that returns a
                   |                            |procedure pointer, fails to
                   |                            |compile
     Ever confirmed|0                           |1

--- Comment #1 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
No error with r162456 (2010-07-23), error with r1635293 (2010-08-24). No
obvious culprit. Still present at r211262.

[Bug fortran/61420] [4.8/4.9/4.10 Regression] type bound procedure with pass attribute, that returns a procedure pointer, fails to compile

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.8.4

[Bug fortran/61420] [4.8/4.9/4.10 Regression] type bound procedure with pass attribute, that returns a procedure pointer, fails to compile

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P4

[Bug fortran/61420] [4.8/4.9/5 Regression] type bound procedure with pass attribute, that returns a procedure pointer, fails to compile

[janus at gcc dot gnu.org]

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

--- Comment #3 from janus at gcc dot gnu.org ---
There is a piece of code in resolve_variable (resolve.c, line 4911) that looks
like it is related to this problem:

  if (sym->attr.flavor == FL_PROCEDURE
      && (!sym->attr.function
      || (sym->attr.function && sym->result
          && sym->result->attr.proc_pointer
          && !sym->result->attr.function)))
    {
      e->ts.type = BT_PROCEDURE;
      goto resolve_procedure;
    }

The error which is thrown here comes from gfc_set_default_type, which is being
called from resolve_variable.

[Bug fortran/61420] [4.8/4.9/5 Regression] type bound procedure with pass attribute, that returns a procedure pointer, fails to compile

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.8.4                       |4.8.5

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 4.8.4 has been released.

[Bug fortran/61420] [4.8/4.9/5/6 Regression] type bound procedure with pass attribute, that returns a procedure pointer, fails to compile

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.8.5                       |4.9.3

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
The gcc-4_8-branch is being closed, re-targeting regressions to 4.9.3.

[Bug fortran/61420] [4.9/5/6 Regression] type bound procedure with pass attribute, that returns a procedure pointer, fails to compile

[jakub at gcc dot gnu.org]

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

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 4.9.3 has been released.

[Bug fortran/61420] [4.9/5/6 Regression] type bound procedure with pass attribute, that returns a procedure pointer, fails to compile

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.9.3                       |4.9.4