[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 5b13f28f0dbf2cce231cc15e5cb1cb41a8fd9abf..32724994207a4b33927964ecf1a608cfcecdccaf 100644 (file)
--- 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 587dcfe4399955df0f23b8bb6db934b05611489f..17a86f033cc3a11aacf9530013dcc2afdd7ec264 100644 (file)
--- 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