diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-29 15:37:03 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-29 15:37:03 +0200 |
| commit | 3f80a182094a48e467eb5fd774c3016036980a0a (patch) | |
| tree | 6b8b25a56c74476a3930e7269e11e6bc4c6c6880 /gcc/gcov-io.c | |
| parent | 540d86108f31f56f513f542b910b909dd4d6df09 (diff) | |
| download | gcc-3f80a182094a48e467eb5fd774c3016036980a0a.zip gcc-3f80a182094a48e467eb5fd774c3016036980a0a.tar.gz gcc-3f80a182094a48e467eb5fd774c3016036980a0a.tar.bz2 | |
[multiple changes]
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.
From-SVN: r213180
Diffstat (limited to 'gcc/gcov-io.c')
0 files changed, 0 insertions, 0 deletions