[Ada] Make attribute Update an obsolescent feature
authorClaire Dross <dross@adacore.com>
Tue, 21 Jul 2020 09:14:02 +0000 (11:14 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 20 Oct 2020 07:21:46 +0000 (03:21 -0400)
gcc/ada/

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

gcc/ada/sem_attr.adb

index 5e5c3df80bfd8137c41f25aca69c9f3539242dd6..8bbf82956bf94d1274a5a0d87ddd9bdc112ec3a6 100644 (file)
@@ -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