From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <pmderodat@sourceware.org>
Received: by sourceware.org (Postfix, from userid 1914)
 id 0F0F9396EC36; Thu, 26 Nov 2020 08:43:18 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 0F0F9396EC36
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset="utf-8"
From: Pierre-Marie de Rodat <pmderodat@gcc.gnu.org>
To: gcc-cvs@gcc.gnu.org
Subject: [gcc r11-5427] [Ada] Ada 2020 AI12-0401 Renaming of qualified
 expression of variable
X-Act-Checkin: gcc
X-Git-Author: Arnaud Charlet <charlet@adacore.com>
X-Git-Refname: refs/heads/master
X-Git-Oldrev: 8d87bb8f56db177718bf0f07df462b85a90c1ef3
X-Git-Newrev: 678e19545eb22d3661d83641884f88fa5038a088
Message-Id: <20201126084318.0F0F9396EC36@sourceware.org>
Date: Thu, 26 Nov 2020 08:43:18 +0000 (GMT)
X-BeenThere: gcc-cvs@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-cvs mailing list <gcc-cvs.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-cvs>,
 <mailto:gcc-cvs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-cvs/>
List-Help: <mailto:gcc-cvs-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-cvs>,
 <mailto:gcc-cvs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Thu, 26 Nov 2020 08:43:18 -0000

https://gcc.gnu.org/g:678e19545eb22d3661d83641884f88fa5038a088

commit r11-5427-g678e19545eb22d3661d83641884f88fa5038a088
Author: Arnaud Charlet <charlet@adacore.com>
Date:   Wed Oct 28 04:55:16 2020 -0400

    [Ada] Ada 2020 AI12-0401 Renaming of qualified expression of variable
    
    gcc/ada/
    
            * sem_ch8.adb (Analyze_Object_Renaming): Check for AI12-0401.

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

diff --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb
index 4c80e02435b..f78d31a1844 100644
--- a/gcc/ada/sem_ch8.adb
+++ b/gcc/ada/sem_ch8.adb
@@ -1038,6 +1038,22 @@ package body Sem_Ch8 is
             Mark_Ghost_Renaming (N, Entity (Nam));
          end if;
 
+         --  Check against AI12-0401 here before Resolve may rewrite Nam and
+         --  potentially generate spurious warnings.
+
+         if Nkind (Nam) = N_Qualified_Expression
+           and then Is_Variable (Expression (Nam))
+           and then not
+             (Subtypes_Statically_Match (T, Etype (Expression (Nam)))
+                or else
+              Subtypes_Statically_Match (Base_Type (T), Etype (Nam)))
+         then
+            Error_Msg_N
+              ("subtype of renamed qualified expression does not " &
+               "statically match", N);
+            return;
+         end if;
+
          Resolve (Nam, T);
 
          --  If the renamed object is a function call of a limited type,