[gcc r14-11261] Fortran: fix passing of component ref to assumed-rank dummy [PR118683]

[Harald Anlauf via Gcc-cvs]

https://gcc.gnu.org/g:b53d19a152cacfb4fcd1abb130d24a1c5dcaef15

commit r14-11261-gb53d19a152cacfb4fcd1abb130d24a1c5dcaef15
Author: Harald Anlauf <anl...@gmx.de>
Date:   Tue Jan 28 21:21:40 2025 +0100

    Fortran: fix passing of component ref to assumed-rank dummy [PR118683]
    
    While the fix for pr117774 addressed the passing of an inquiry reference
    to an assumed-rank dummy, it missed the similar case of passing a component
    reference.  The newer testcase gfortran.dg/pr81978.f90 uncovered this
    latent issue with a UBSAN instrumented compiler.
    
            PR fortran/118683
    
    gcc/fortran/ChangeLog:
    
            * trans-expr.cc (gfc_conv_procedure_call): The bounds update for
            passing to assumed-rank dummies shall also handle component
            references besides inquiry references.
    
    (cherry picked from commit 5d001fa122bf04cfd0611ff7723969a0421b3094)

Diff:
---
 gcc/fortran/trans-expr.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/gcc/fortran/trans-expr.cc b/gcc/fortran/trans-expr.cc
index 1efe435f397f..601cc546d438 100644
--- a/gcc/fortran/trans-expr.cc
+++ b/gcc/fortran/trans-expr.cc
@@ -7254,6 +7254,9 @@ gfc_conv_procedure_call (gfc_se * se, gfc_symbol * sym,
                    {
                      if (ref->next->type == REF_INQUIRY)
                        break;
+                     if (ref->type == REF_ARRAY
+                         && ref->u.ar.type != AR_ELEMENT)
+                       break;
                    };
                  if (ref->u.ar.type == AR_FULL
                      && ref->u.ar.as->type != AS_ASSUMED_SIZE)