[Patch, fortran] PR44265 - Link error with reference to parameter array in specification expression

[Dominique d'Humières]

FAIL: gfortran.dg/char_result_16.f90   -g -flto  (internal compiler error)
FAIL: gfortran.dg/char_result_16.f90   -g -flto  (test for excess errors)

The ICE is for both -m32 and -m64 (module_procedure_3_db_1.f90 is the test posted in my last mail)

% gfc module_procedure_3_db_1.f90 -flto
module_procedure_3_db_1.f90:29:0: internal compiler error: in get_partitioning_class, at symtab.c:1848
 END PROGRAM WheresThatbLinkingConstantGone

Sorry to be such a nuisance!-(

Dominique

> Le 10 nov. 2016 à 15:49, Paul Richard Thomas <paul.richard.thomas@gmail.com> a écrit :
> 
> Hi Dominique.
> 
> ....snip....
>> I have a last glitch (which can be deferred if needed):
> ....snip....
> 
> Fixed by the new patch, which is attached. Bootstraps and regtests OK.
> 
> OK for trunk?
> 
> Paul
> 
> 2016-11-10  Paul Thomas  <pault@gcc.gnu.org>
> 
>    PR fortran/44265
>    * gfortran.h : Add fn_result_spec bitfield to gfc_symbol.
>    * resolve.c (flag_fn_result_spec): New function.
>    (resolve_fntype): Call it for character result lengths.
>    * symbol.c (gfc_new_symbol): Set fn_result_spec to zero.
>    * trans-decl.c (gfc_sym_mangled_identifier): Include the
>    procedure name in the mangled name for symbols with the
>    fn_result_spec bit set.
>    (gfc_get_symbol_decl): Mangle the name of these symbols.
>    (gfc_create_module_variable): Allow them through the assert.
>    (gfc_generate_function_code): Remove the assert before the
>    initialization of sym->tlink because the frontend no longer
>    uses this field.
>    * trans-expr.c (gfc_map_intrinsic_function): Add a case to
>    treat the LEN_TRIM intrinsic.
> 
> 2016-11-10  Paul Thomas  <pault@gcc.gnu.org>
> 
>    PR fortran/44265
>    * gfortran.dg/char_result_14.f90: New test.
>    * gfortran.dg/char_result_15.f90: New test.
>    * gfortran.dg/char_result_16.f90: New test.
> 
> 
> -- 
> The difference between genius and stupidity is; genius has its limits.
> 
> Albert Einstein