[Bug fortran/92178] Segmentation fault after passing allocatable array as intent(out) and its element as value into the same subroutine

[anlauf at gcc dot gnu.org via Gcc-bugs]

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

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |anlauf at gcc dot gnu.org

--- Comment #12 from anlauf at gcc dot gnu.org ---
Created attachment 55333
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55333&action=edit
Updated version of Steve's patch

This patch adds evaluation of arguments that are neither constant, variables,
or pointers from functions that may appear in a variable definition context.

This appears to fix all testcases here and "regresses" only for
gfortran.dg/assumed_type_17.f90, where the scan pattern does no longer match.
The tree-dump shows an additional intermediate variable for the call with
explicit parens as compared to without the patch, but the resulting assembler
is unchanged.

I was expecting trouble with finalization, but all current testcases pass.