[Bug fortran/63921] [F08] pointer function as lvalue doesn't work when the function is a type bound function

["pault at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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

--- Comment #6 from Paul Thomas <pault at gcc dot gnu.org> ---
Author: pault
Date: Mon Sep 28 21:18:38 2015
New Revision: 228222

URL: https://gcc.gnu.org/viewcvs?rev=228222&root=gcc&view=rev
Log:
2015-09-28  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/40054
        PR fortran/63921
        * decl.c (get_proc_name): Return if statement function is
        found.
        * expr.c (gfc_check_vardef_context): Add error return for
        derived type expression lacking the derived type itself.
        * match.c (gfc_match_ptr_fcn_assign): New function.
        * match.h : Add prototype for gfc_match_ptr_fcn_assign.
        * parse.c : Add static flag 'in_specification_block'.
        (decode_statement): If in specification block match a statement
        function, then, if no error arising from statement function
        matching, try to match pointer function assignment.
        (parse_interface): Set 'in_specification_block' on exiting from
        parse_spec.
        (parse_spec): Set and then reset 'in_specification_block'.
        (gfc_parse_file): Set 'in_specification_block'.
        * resolve.c (get_temp_from_expr): Extend to include functions
        and array constructors as rvalues..
        (resolve_ptr_fcn_assign): New function.
        (gfc_resolve_code): Call it on finding a pointer function as an
        lvalue. If valid or on error, go back to start of resolve_code.
        * symbol.c (gfc_add_procedure): Add a sentence to the error to
        flag up the ambiguity between a statement function and pointer
        function assignment at the end of the specification block.

2015-09-28  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/40054
        PR fortran/63921
        * gfortran.dg/fmt_tab_1.f90: Change from run to compile and set
        standard as legacy.
        * gfortran.dg/fmt_tab_2.f90: Add extra tab error.
        * gfortran.dg/function_types_3.f90: Change error message to
        "Type inaccessible...."
        * gfortran.dg/ptr_func_assign_1.f08: New test.
        * gfortran.dg/ptr_func_assign_2.f08: New test.

2015-09-25  Mikael Morin  <mikael.morin@sfr.fr>

        PR fortran/40054
        PR fortran/63921
        * gfortran.dg/ptr_func_assign_3.f08: New test.
        * gfortran.dg/ptr_func_assign_4.f08: New test.

Added:
    trunk/gcc/testsuite/gfortran.dg/ptr_func_assign_1.f08
    trunk/gcc/testsuite/gfortran.dg/ptr_func_assign_2.f08
    trunk/gcc/testsuite/gfortran.dg/ptr_func_assign_3.f08
    trunk/gcc/testsuite/gfortran.dg/ptr_func_assign_4.f08
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/decl.c
    trunk/gcc/fortran/expr.c
    trunk/gcc/fortran/match.c
    trunk/gcc/fortran/match.h
    trunk/gcc/fortran/parse.c
    trunk/gcc/fortran/resolve.c
    trunk/gcc/fortran/symbol.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gfortran.dg/fmt_tab_1.f90
    trunk/gcc/testsuite/gfortran.dg/fmt_tab_2.f90
    trunk/gcc/testsuite/gfortran.dg/function_types_3.f90