[gcc r15-2751] ada: Fix error in GNATprove inlining with array concatenation

[Marc Poulhi?s via Gcc-cvs]

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

commit r15-2751-gcfa788bc679bb552640493c4486dde5bd84d1400
Author: Yannick Moy <m...@adacore.com>
Date:   Wed Jul 24 17:36:20 2024 +0200

    ada: Fix error in GNATprove inlining with array concatenation
    
    Wrong interpretation of the type of the concatenation can lead to a
    spurious error in GNATprove when inlining code. Now fixed.
    
    gcc/ada/
    
            * sem_ch4.adb (Analyze_Concatenation_Rest): Do not add a wrong
            interpretation of the concatenation, using the type of the operand
            already recognized as of the element type.

Diff:
---
 gcc/ada/sem_ch4.adb | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gcc/ada/sem_ch4.adb b/gcc/ada/sem_ch4.adb
index fc3a2a43c3c9..9b77a81e43ef 100644
--- a/gcc/ada/sem_ch4.adb
+++ b/gcc/ada/sem_ch4.adb
@@ -1995,6 +1995,7 @@ package body Sem_Ch4 is
               (Root_Type (LT) = Standard_String
                  or else Scope (LT) /= Standard_Standard)
               and then Etype (R) = Any_String
+              and then not Is_Component_Left_Opnd (N)
             then
                Add_One_Interp (N, Op_Id, LT);
 
@@ -2002,6 +2003,7 @@ package body Sem_Ch4 is
               (Root_Type (RT) = Standard_String
                  or else Scope (RT) /= Standard_Standard)
               and then Etype (L) = Any_String
+              and then not Is_Component_Right_Opnd (N)
             then
                Add_One_Interp (N, Op_Id, RT);