[Bug fortran/40870] New: [F03] include formal args in backend_decl of PPCs

[Bug fortran/40870] New: [F03] include formal args in backend_decl of PPCs

[janus at gcc dot gnu dot org]

Another PPC leftover item, cf. trans-types.c (gfc_get_ppc_type): When
translating the Fortran frontend structures to a backend tree, the argument
list of procedure pointer components is currently not being used.

This becomes visible in a test case like this:


implicit none
procedure(foo), pointer :: pp
type :: t
  procedure(foo), pointer, nopass :: ppc
end type
type(t)::o

pp => foo
o%ppc => foo
pp => o%ppc

contains

  integer function foo(a,b)
    integer, intent(in) :: a,b
    foo = a + b
  end function

end


Compiling with -fdump-tree-original shows the following code for the three
pointer assignments:

  pp = foo;
  o.ppc = (integer(kind=4) (*<T3c6>) (void)) foo;
  pp = (integer(kind=4) (*<T3c8>) (integer(kind=4) &, integer(kind=4) &))
o.ppc;

The first one is ok, but the last two involve type casting, although they have
exactly the same interface (simply because the arguments of the PPC are
missing).


-- 
           Summary: [F03] include formal args in backend_decl of PPCs
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Keywords: wrong-code
          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=40870

[Bug fortran/40870] [F03] include formal args in backend_decl of PPCs

[janus at gcc dot gnu dot org]

-- 

janus at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |janus at gcc dot gnu dot org
                   |dot org                     |
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-08-03 20:17:20
               date|                            |


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

[Bug fortran/40870] [F03] include formal args in backend_decl of PPCs

[janus at gcc dot gnu dot org]

------- Comment #1 from janus at gcc dot gnu dot org  2009-08-18 14:23 -------
Subject: Bug 40870

Author: janus
Date: Tue Aug 18 14:23:35 2009
New Revision: 150875

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=150875
Log:
2009-08-18  Janus Weil  <janus@gcc.gnu.org>
            Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/40870
        * trans-types.c (gfc_get_ppc_type): Include formal args in backend_decl
        using the interface symbol. Character types are returned by reference.
        (gfc_get_derived_type): Prevent infinite recursion loop
        if a PPC has a derived-type formal arg.

2009-08-18  Janus Weil  <janus@gcc.gnu.org>
            Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/40870
        * gfortran.dg/proc_ptr_comp_13.f90: Extended.


Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/trans-types.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gfortran.dg/proc_ptr_comp_13.f90


-- 


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

[Bug fortran/40870] [F03] include formal args in backend_decl of PPCs

[janus at gcc dot gnu dot org]

------- Comment #2 from janus at gcc dot gnu dot org  2009-08-18 14:25 -------
Fixed with r150875. Closing.


-- 

janus at gcc dot gnu dot org changed:

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


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