diff options
author | Eric Botcazou <ebotcazou@adacore.com> | 2018-06-11 09:16:37 +0000 |
---|---|---|
committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-06-11 09:16:37 +0000 |
commit | 4847a76bd2fedb7966b77e595cf27296275c43ba (patch) | |
tree | acbf4ccdc9dfe0daabc30dcecc57fb2198edb52a /gcc/ada | |
parent | c4ca0af40b65c91c99036d339c93ed938b3f0cc2 (diff) | |
download | gcc-4847a76bd2fedb7966b77e595cf27296275c43ba.zip gcc-4847a76bd2fedb7966b77e595cf27296275c43ba.tar.gz gcc-4847a76bd2fedb7966b77e595cf27296275c43ba.tar.bz2 |
[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
Diffstat (limited to 'gcc/ada')
-rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
-rw-r--r-- | gcc/ada/errout.adb | 31 |
2 files changed, 4 insertions, 31 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 5b13f28..3272499 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 587dcfe..17a86f0 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 |