From: Claire Dross <dross@adacore.com>
Date: Tue, 21 Jul 2020 09:14:02 +0000 (+0200)
Subject: [Ada] Make attribute Update an obsolescent feature
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6875e1282d303eb1e15cfefc4686e31d56795de0;p=gcc.git

[Ada] Make attribute Update an obsolescent feature

gcc/ada/

	* sem_attr.adb (Analyze_Attribute): Emit a warning on 'Update
	when Warn_On_Obsolescent_Feature is set to True.
---

diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb
index 5e5c3df80bf..8bbf82956bf 100644
--- a/gcc/ada/sem_attr.adb
+++ b/gcc/ada/sem_attr.adb
@@ -6899,6 +6899,11 @@ package body Sem_Attr is
       --  Start of processing for Update
 
       begin
+         if Warn_On_Obsolescent_Feature then
+            Error_Msg_N ("?j?attribute Update is an obsolescent feature", N);
+            Error_Msg_N ("\?j?use a delta aggregate instead", N);
+         end if;
+
          Check_E1;
 
          if not Is_Object_Reference (P) then