[Bug fortran/101135] Load of null pointer when passing absent assumed-shape array argument for an optional dummy argument

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

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

--- Comment #8 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:344b60addb79278c95b7a5712aaf381111721a27

commit r13-8492-g344b60addb79278c95b7a5712aaf381111721a27
Author: Harald Anlauf <anl...@gmx.de>
Date:   Fri Mar 15 20:14:07 2024 +0100

    Fortran: fix for absent array argument passed to optional dummy [PR101135]

    gcc/fortran/ChangeLog:

            PR fortran/101135
            * trans-array.cc (gfc_get_dataptr_offset): Check for optional
            arguments being present before dereferencing data pointer.

    gcc/testsuite/ChangeLog:

            PR fortran/101135
            * gfortran.dg/missing_optional_dummy_6a.f90: Adjust diagnostic
pattern.
            * gfortran.dg/ubsan/missing_optional_dummy_8.f90: New test.