[Bug fortran/39630] New: Fortran 2003: Procedure Pointer Components

[Bug fortran/39630] New: Fortran 2003: Procedure Pointer Components

[janus at gcc dot gnu dot org]

While standard procedure pointers are implemented in gfortran, support for
procedure pointer components is still missing.

Short example:

type(t)
  real :: r
  procedure(),pointer,nopass :: p
end type


-- 
           Summary: Fortran 2003: Procedure Pointer Components
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Keywords: rejects-valid
          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=39630

[Bug fortran/39630] Fortran 2003: Procedure Pointer Components

[janus at gcc dot gnu dot org]

------- Comment #1 from janus at gcc dot gnu dot org  2009-04-03 18:29 -------
Draft patch: http://gcc.gnu.org/ml/fortran/2009-04/msg00013.html.


-- 

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-04-03 18:29:56
               date|                            |


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

[Bug fortran/39630] Fortran 2003: Procedure Pointer Components

[janus at gcc dot gnu dot org]

------- Comment #2 from janus at gcc dot gnu dot org  2009-04-16 11:29 -------
An example can be found in the following paper:

Norman S. Clerman: Note on creating an array of procedure pointers
ACM SIGPLAN Fortran Forum, Vol. 28, Issue 1 (2009)
http://doi.acm.org/10.1145/1520752.1520753


-- 


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

[Bug fortran/39630] Fortran 2003: Procedure Pointer Components

[janus at gcc dot gnu dot org]

------- Comment #3 from janus at gcc dot gnu dot org  2009-05-06 21:17 -------
Subject: Bug 39630

Author: janus
Date: Wed May  6 21:17:16 2009
New Revision: 147206

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

        PR fortran/39630
        * decl.c (match_procedure_interface): New function to match the
        interface for a PROCEDURE statement.
        (match_procedure_decl): Call match_procedure_interface.
        (match_ppc_decl): New function to match the declaration of a
        procedure pointer component.
        (gfc_match_procedure):  Call match_ppc_decl.
        (match_binding_attributes): Add new argument 'ppc' and handle the
        POINTER attribute for procedure pointer components.
        (match_procedure_in_type,gfc_match_generic): Added new argument to
        match_binding_attributes.
        * dump-parse-tree.c (show_expr,show_components,show_code_node): Handle
        procedure pointer components.
        * expr.c (free_expr0,gfc_copy_expr,gfc_simplify_expr): Handle EXPR_PPC.
        (gfc_check_pointer_assign): Handle procedure pointer components, but no
        full checking yet.
        (is_proc_ptr_comp): New function to determine if an expression is a
        procedure pointer component.
        * gfortran.h (expr_t): Add EXPR_PPC.
        (symbol_attribute): Add new member 'proc_pointer_comp'.
        (gfc_component): Add new member 'formal'.
        (gfc_exec_op): Add EXEC_CALL_PPC.
        (gfc_get_default_type): Changed first argument.
        (is_proc_ptr_comp): Add prototype.
        (gfc_match_varspec): Add new argument.
        * interface.c (compare_actual_formal): Handle procedure pointer
        components.
        * match.c (gfc_match_pointer_assignment,match_typebound_call): Handle
        procedure pointer components.
        * module.c (mio_expr): Handle EXPR_PPC.
        * parse.c (parse_derived): Handle procedure pointer components.
        * primary.c (gfc_match_varspec): Add new argument 'ppc_arg' and handle
        procedure pointer components.
        (gfc_variable_attr): Handle procedure pointer components.
        (gfc_match_rvalue): Added new argument to gfc_match_varspec and changed
        first argument of gfc_get_default_type.
        (match_variable): Added new argument to gfc_match_varspec.
        * resolve.c (resolve_entries,set_type,resolve_fl_parameter): Changed
        first argument of gfc_get_default_type.
        (resolve_structure_cons,resolve_actual_arglist): Handle procedure
        pointer components.
        (resolve_ppc_call): New function to resolve a call to a procedure
        pointer component (subroutine).
        (resolve_expr_ppc): New function to resolve a call to a procedure
        pointer component (function).
        (gfc_resolve_expr): Handle EXPR_PPC.
        (resolve_code): Handle EXEC_CALL_PPC.
        (resolve_fl_derived): Copy the interface for a procedure pointer
        component.
        (resolve_symbol): Fix overlong line.
        * st.c (gfc_free_statement): Handle EXEC_CALL_PPC.
        * symbol.c (gfc_get_default_type): Changed first argument.
        (gfc_set_default_type): Changed first argument of gfc_get_default_type.
        (gfc_add_component): Initialize ts.type to BT_UNKNOWN.
        * trans.h (gfc_conv_function_call): Renamed.
        * trans.c (gfc_trans_code): Handle EXEC_CALL_PPC.
        * trans-expr.c (gfc_conv_component_ref): Ditto.
        (gfc_conv_function_val): Rename to 'conv_function_val', add new
        argument 'expr' and handle procedure pointer components.
        (gfc_conv_operator_assign): Renamed gfc_conv_function_val.
        (gfc_apply_interface_mapping_to_expr): Handle EXPR_PPC.
        (gfc_conv_function_call): Rename to 'gfc_conv_procedure_call', add new
        argument 'expr' and handle procedure pointer components.
        (gfc_get_proc_ptr_comp): New function to get the backend decl for a
        procedure pointer component.
        (gfc_conv_function_expr): Renamed gfc_conv_function_call.
        (gfc_conv_structure): Handle procedure pointer components.
        * trans-intrinsic.c (gfc_conv_intrinsic_funcall,
        conv_generic_with_optional_char_arg): Renamed gfc_conv_function_call.
        * trans-stmt.h (gfc_get_proc_ptr_comp): Add prototype.
        * trans-stmt.c (gfc_trans_call): Renamed gfc_conv_function_call.
        * trans-types.h (gfc_get_ppc_type): Add prototype.
        * trans-types.c (gfc_get_ppc_type): New function to build a tree node
        for a procedure pointer component.
        (gfc_get_derived_type): Handle procedure pointer components.


2009-05-06  Janus Weil  <janus@gcc.gnu.org>

        PR fortran/39630
        * gfortran.dg/proc_decl_1.f90: Modified.
        * gfortran.dg/proc_ptr_comp_1.f90: New.
        * gfortran.dg/proc_ptr_comp_2.f90: New.
        * gfortran.dg/proc_ptr_comp_3.f90: New.
        * gfortran.dg/proc_ptr_comp_4.f90: New.
        * gfortran.dg/proc_ptr_comp_5.f90: New.
        * gfortran.dg/proc_ptr_comp_6.f90: New.


Added:
    trunk/gcc/testsuite/gfortran.dg/proc_ptr_comp_1.f90
    trunk/gcc/testsuite/gfortran.dg/proc_ptr_comp_2.f90
    trunk/gcc/testsuite/gfortran.dg/proc_ptr_comp_3.f90
    trunk/gcc/testsuite/gfortran.dg/proc_ptr_comp_4.f90
    trunk/gcc/testsuite/gfortran.dg/proc_ptr_comp_5.f90
    trunk/gcc/testsuite/gfortran.dg/proc_ptr_comp_6.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/decl.c
    trunk/gcc/fortran/dump-parse-tree.c
    trunk/gcc/fortran/expr.c
    trunk/gcc/fortran/gfortran.h
    trunk/gcc/fortran/interface.c
    trunk/gcc/fortran/match.c
    trunk/gcc/fortran/module.c
    trunk/gcc/fortran/parse.c
    trunk/gcc/fortran/primary.c
    trunk/gcc/fortran/resolve.c
    trunk/gcc/fortran/st.c
    trunk/gcc/fortran/symbol.c
    trunk/gcc/fortran/trans-expr.c
    trunk/gcc/fortran/trans-intrinsic.c
    trunk/gcc/fortran/trans-stmt.c
    trunk/gcc/fortran/trans-stmt.h
    trunk/gcc/fortran/trans-types.c
    trunk/gcc/fortran/trans-types.h
    trunk/gcc/fortran/trans.c
    trunk/gcc/fortran/trans.h
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gfortran.dg/proc_decl_1.f90


-- 


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

[Bug fortran/39630] Fortran 2003: Procedure Pointer Components

[janus at gcc dot gnu dot org]

------- Comment #4 from janus at gcc dot gnu dot org  2009-05-06 21:23 -------
Status: r147206 implements PPCs with NOPASS, but PASS is still missing ...


-- 


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

[Bug fortran/39630] [F03] Procedure Pointer Components with PASS

[janus at gcc dot gnu dot org]

------- Comment #5 from janus at gcc dot gnu dot org  2009-07-25 11:56 -------
Subject: Bug 39630

Author: janus
Date: Sat Jul 25 11:56:35 2009
New Revision: 150078

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=150078
Log:
2009-07-25  Janus Weil  <janus@gcc.gnu.org>

        PR fortran/39630
        * decl.c (match_ppc_decl): Implement the PASS attribute for procedure
        pointer components.
        (match_binding_attributes): Ditto.
        * gfortran.h (gfc_component): Add member 'tb'.
        (gfc_typebound_proc): Add member 'ppc' and make 'pass_arg' const.
        * module.c (MOD_VERSION): Bump module version.
        (binding_ppc): New string constants.
        (mio_component): Only use formal args if component is a procedure
        pointer and add 'tb' member.
        (mio_typebound_proc): Include pass_arg and take care of procedure
        pointer components.
        * resolve.c (update_arglist_pass): Add argument 'name' and take care of
        optional arguments.
        (extract_ppc_passed_object): New function, analogous to
        extract_compcall_passed_object, but for procedure pointer components.
        (update_ppc_arglist): New function, analogous to
        update_compcall_arglist, but for procedure pointer components.
        (resolve_typebound_generic_call): Added argument to
update_arglist_pass.
        (resolve_ppc_call, resolve_expr_ppc): Take care of PASS attribute.
        (resolve_fl_derived): Check the PASS argument for procedure pointer
        components.
        * symbol.c (verify_bind_c_derived_type): Reject procedure pointer
        components in BIND(C) types.

2009-07-25  Janus Weil  <janus@gcc.gnu.org>

        PR fortran/39630
        * gfortran.dg/proc_ptr_comp_3.f90: Modified.
        * gfortran.dg/proc_ptr_comp_pass_1.f90: New.
        * gfortran.dg/proc_ptr_comp_pass_2.f90: New.
        * gfortran.dg/proc_ptr_comp_pass_3.f90: New.
        * gfortran.dg/proc_ptr_comp_pass_4.f90: New.
        * gfortran.dg/proc_ptr_comp_pass_5.f90: New.
        * gfortran.dg/typebound_call_10.f03: New.


Added:
    trunk/gcc/testsuite/gfortran.dg/proc_ptr_comp_pass_1.f90
    trunk/gcc/testsuite/gfortran.dg/proc_ptr_comp_pass_2.f90
    trunk/gcc/testsuite/gfortran.dg/proc_ptr_comp_pass_3.f90
    trunk/gcc/testsuite/gfortran.dg/proc_ptr_comp_pass_4.f90
    trunk/gcc/testsuite/gfortran.dg/proc_ptr_comp_pass_5.f90
    trunk/gcc/testsuite/gfortran.dg/typebound_call_10.f03
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/decl.c
    trunk/gcc/fortran/gfortran.h
    trunk/gcc/fortran/module.c
    trunk/gcc/fortran/resolve.c
    trunk/gcc/fortran/symbol.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gfortran.dg/proc_ptr_comp_3.f90


-- 


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

[Bug fortran/39630] [F03] Procedure Pointer Components

[janus at gcc dot gnu dot org]

------- Comment #6 from janus at gcc dot gnu dot org  2009-07-25 12:05 -------
r150078 implements the PASS attribute, which means that PPC support is
practically complete now. Closing.


-- 

janus at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
            Summary|[F03] Procedure Pointer     |[F03] Procedure Pointer
                   |Components with PASS        |Components


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