diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-07-29 13:37:03 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-07-29 13:37:03 +0000 |
commit | 58381e346f014c14ad34af924d06bb6dbe59f394 (patch) | |
tree | 6b8b25a56c74476a3930e7269e11e6bc4c6c6880 /gcc/ada/xsnamest.adb | |
parent | 7f3d1b01fcb759ef5eb0e3784996ac49610be950 (diff) | |
download | gcc-58381e346f014c14ad34af924d06bb6dbe59f394.tar.gz |
2014-07-29 Robert Dewar <dewar@adacore.com>
* sinfo.ads, inline.adb, inline.ads, sem_ch6.adb: Minor reformatting.
* snames.ads-tmpl: Minor reformatting.
* xsnamest.adb (XSnamesT): Remove special casing of Name_Error
to give <Error>. Not clear why this was there, but the compiler
sources do not reference Name_Error, and this interfered with
the circuits for pragma Unevaluated_Use_Of_Old.
2014-07-29 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Process_Atomic_Shared_Volatile): Allow volatile
types in SPARK 2014 (again).
* sem_res.adb (Is_OK_Volatile_Context): New routine.
(Resolve_Entity_Name): Ensure that a volatile object with
enabled properties Async_Writers or Effectire_Reads appears in
a non-interfering context.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213180 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/xsnamest.adb')
-rw-r--r-- | gcc/ada/xsnamest.adb | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/gcc/ada/xsnamest.adb b/gcc/ada/xsnamest.adb index a22eec02aa7..a7fbb2ad649 100644 --- a/gcc/ada/xsnamest.adb +++ b/gcc/ada/xsnamest.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2012, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2014, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -255,10 +255,6 @@ begin Name0 := 'O' & Translate (Name0, Lower_Case_Map); end if; - if Name0 = "error" then - Name0 := V ("<error>"); - end if; - if not Match (Name0, Chk_Low) then Put_Line (OutB, " """ & Name0 & "#"" &"); end if; |