From 6875e1282d303eb1e15cfefc4686e31d56795de0 Mon Sep 17 00:00:00 2001
From: Claire Dross <dross@adacore.com>
Date: Tue, 21 Jul 2020 11:14:02 +0200
Subject: [PATCH] [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.
---
 gcc/ada/sem_attr.adb | 5 +++++
 1 file changed, 5 insertions(+)

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
-- 
2.30.2