[Bug fortran/83763] PDT variable sees content deallocated if variable is passed as an input to a function, and the function result is assigned to that same variable

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

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

--- Comment #2 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Paul Thomas <pa...@gcc.gnu.org>:

https://gcc.gnu.org/g:857c742e7bb8b24a05180e1cfee62efa417a48fe

commit r16-3851-g857c742e7bb8b24a05180e1cfee62efa417a48fe
Author: Paul Thomas <pa...@gcc.gnu.org>
Date:   Mon Sep 15 06:49:54 2025 +0100

    Fortran: Dependency check in PDT specification assignments [PR83763]

    2025-09-15  Paul Thomas  <pa...@gcc.gnu.org>

    gcc/fortran
            PR fortran/83763
            * trans-decl.cc (gfc_trans_deferred_vars): Ensure that the
            parameterized components of PDTs that do not have allocatable
            components are deallocated on leaving scope.
            * trans-expr.cc (gfc_trans_assignment_1): Do a dependency check
            on PDT assignments. If there is a dependency between lhs and
            rhs, deallocate the lhs parameterized components after the rhs
            has been evaluated.

    gcc/testsuite/
            PR fortran/83763
            * gfortran.dg/pdt_46.f03: New test.