summaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch8.adb
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/ada/sem_ch8.adb')
-rw-r--r--gcc/ada/sem_ch8.adb6
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb
index 52401937699..6c65a7b5ecd 100644
--- a/gcc/ada/sem_ch8.adb
+++ b/gcc/ada/sem_ch8.adb
@@ -792,6 +792,8 @@ package body Sem_Ch8 is
Error_Msg_N
("expect package name in renaming", Name (N));
+ -- Ada0Y (AI-50217): Limited withed packages can not be renamed
+
elsif Ekind (Old_P) = E_Package
and then From_With_Type (Old_P)
then
@@ -3389,6 +3391,8 @@ package body Sem_Ch8 is
Set_Chars (Selector, Chars (Id));
end if;
+ -- Ada0Y (AI-50217): Check usage of entities in limited withed units
+
if Ekind (P_Name) = E_Package
and then From_With_Type (P_Name)
then
@@ -5294,6 +5298,8 @@ package body Sem_Ch8 is
Set_In_Use (P);
+ -- Ada0Y (AI-50217): Check restriction.
+
if From_With_Type (P) then
Error_Msg_N ("limited withed package cannot appear in use clause", N);
end if;