From: Eric Botcazou <ebotcazou@adacore.com>
Date: Mon, 11 Jun 2018 09:16:37 +0000 (+0000)
Subject: [Ada] Remove obsolete code in Errout
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4847a76bd2fedb7966b77e595cf27296275c43ba;p=gcc.git

[Ada] Remove obsolete code in Errout

This just removes obsolete code.  No functional changes.

2018-06-11  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

	* errout.adb (Special_Msg_Delete): Remove handling of Atomic and VFA.

From-SVN: r261397
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 5b13f28f0db..32724994207 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2018-06-11  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* errout.adb (Special_Msg_Delete): Remove handling of Atomic and VFA.
+
 2018-06-11  Nicolas Roche  <roche@adacore.com>
 
 	* libgnat/s-valuti.adb (Bad_Value): Ensure that we do not generate a
diff --git a/gcc/ada/errout.adb b/gcc/ada/errout.adb
index 587dcfe4399..17a86f033cc 100644
--- a/gcc/ada/errout.adb
+++ b/gcc/ada/errout.adb
@@ -3257,37 +3257,6 @@ package body Errout is
       if Debug_Flag_OO then
          return False;
 
-      --  Processing for "atomic access cannot be guaranteed"
-
-      elsif Msg = "atomic access to & cannot be guaranteed" then
-
-         --  When an atomic object refers to a non-atomic type in the same
-         --  scope, we implicitly make the type atomic. In the non-error case
-         --  this is surely safe (and in fact prevents an error from occurring
-         --  if the type is not atomic by default). But if the object cannot be
-         --  made atomic, then we introduce an extra junk message by this
-         --  manipulation, which we get rid of here.
-
-         --  We identify this case by the fact that it references a type for
-         --  which Is_Atomic is set, but there is no Atomic pragma setting it.
-
-         if Is_Type (E)
-           and then Is_Atomic (E)
-           and then No (Get_Rep_Pragma (E, Name_Atomic))
-         then
-            return True;
-         end if;
-
-      --  Similar processing for "volatile full access cannot be guaranteed"
-
-      elsif Msg = "volatile full access to & cannot be guaranteed" then
-         if Is_Type (E)
-           and then Is_Volatile_Full_Access (E)
-           and then No (Get_Rep_Pragma (E, Name_Volatile_Full_Access))
-         then
-            return True;
-         end if;
-
       --  Processing for "Size too small" messages
 
       elsif Msg = "size for& too small, minimum allowed is ^" then