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/a-stzunb-shared.ads | |
| 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/a-stzunb-shared.ads')
0 files changed, 0 insertions, 0 deletions