[Bug fortran/100988] Missed optimization: RESTRICT missing for optional arguments

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

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

--- Comment #6 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by Harald Anlauf
<anl...@gcc.gnu.org>:

https://gcc.gnu.org/g:337dc58139595bd9ab4101b988078c5d54d8506a

commit r13-8444-g337dc58139595bd9ab4101b988078c5d54d8506a
Author: Harald Anlauf <anl...@gmx.de>
Date:   Mon Dec 4 22:44:53 2023 +0100

    Fortran: allow RESTRICT qualifier also for optional arguments [PR100988]

    gcc/fortran/ChangeLog:

            PR fortran/100988
            * gfortran.h (IS_PROC_POINTER): New macro.
            * trans-types.cc (gfc_sym_type): Use macro in determination if the
            restrict qualifier can be used for a dummy variable.  Fix logic to
            allow the restrict qualifier also for optional arguments, and to
            not apply it to pointer or proc_pointer arguments.

    gcc/testsuite/ChangeLog:

            PR fortran/100988
            * gfortran.dg/coarray_poly_6.f90: Adjust pattern.
            * gfortran.dg/coarray_poly_7.f90: Likewise.
            * gfortran.dg/coarray_poly_8.f90: Likewise.
            * gfortran.dg/missing_optional_dummy_6a.f90: Likewise.
            * gfortran.dg/pr100988.f90: New test.

    Co-authored-by: Tobias Burnus  <tob...@codesourcery.com>
    (cherry picked from commit 9c3a880feecf81c310b4ade210fbd7004c9aece7)