diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-09-08 11:38:48 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-09-08 11:38:48 +0200 |
| commit | 3815f967f9fa3655ee4e9cdc44d6292e09f411de (patch) | |
| tree | 7019b196e6d5c8513a426a8b9ba493eb506f4f11 /gcc/ada/sem_prag.ads | |
| parent | a481c9b40f0de76bf9e86b9aba7c1fe66cd7add0 (diff) | |
| download | gcc-3815f967f9fa3655ee4e9cdc44d6292e09f411de.zip gcc-3815f967f9fa3655ee4e9cdc44d6292e09f411de.tar.gz gcc-3815f967f9fa3655ee4e9cdc44d6292e09f411de.tar.bz2 | |
[multiple changes]
2017-09-08 Bob Duff <duff@adacore.com>
* s-trasym.ads (Hexa_Traceback): If
Suppress_Hex is True, print "..." instead of a hexadecimal
address.
* s-trasym.adb: Ignore No_Hex in this version.
Misc cleanup.
2017-09-08 Bob Duff <duff@adacore.com>
* debug.adb: Minor reformatting.
2017-09-08 Bob Duff <duff@adacore.com>
* a-cbdlli.adb, a-cohama.adb, a-cohase.adb (Copy): Rewrite the
code so it doesn't trigger an "uninit var" warning.
2017-09-08 Nicolas Roche <roche@adacore.com>
* s-hibaen.ads: Remove obsolete file.
2017-09-08 Arnaud Charlet <charlet@adacore.com>
* a-locale.ads: Add comment explaining the state of this package.
2017-09-08 Arnaud Charlet <charlet@adacore.com>
* sem_util.adb (Is_CCT_Instance): Allow calls in the context
of packages.
* sem_prag.ads, sem_prag.adb (Find_Related_Declaration_Or_Body):
allow calls in the context of package spec (for pragma
Initializes) and bodies (for pragma Refined_State).
2017-09-08 Bob Duff <duff@adacore.com>
* checks.adb (Insert_Valid_Check): Copy the Do_Range_Check flag to the
new Exp.
From-SVN: r251875
Diffstat (limited to 'gcc/ada/sem_prag.ads')
| -rw-r--r-- | gcc/ada/sem_prag.ads | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/sem_prag.ads b/gcc/ada/sem_prag.ads index 4c38712..ff4a1cb 100644 --- a/gcc/ada/sem_prag.ads +++ b/gcc/ada/sem_prag.ads @@ -375,6 +375,7 @@ package Sem_Prag is -- Depends -- Extensions_Visible -- Global + -- Initializes -- Max_Queue_Length -- Post -- Post_Class @@ -385,6 +386,7 @@ package Sem_Prag is -- Refined_Depends -- Refined_Global -- Refined_Post + -- Refined_State -- Test_Case -- Volatile_Function -- as well as attributes 'Old and 'Result. Find the declaration of the |