Commit 4847a76b by Eric Botcazou Committed by Pierre-Marie de Rodat

[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
parent c4ca0af4
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
......
......@@ -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
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment