From 678e19545eb22d3661d83641884f88fa5038a088 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Wed, 28 Oct 2020 04:55:16 -0400 Subject: [PATCH] [Ada] Ada 2020 AI12-0401 Renaming of qualified expression of variable gcc/ada/ * sem_ch8.adb (Analyze_Object_Renaming): Check for AI12-0401. --- 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,