diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-30 16:12:37 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-30 16:12:37 +0200 |
| commit | 995683a614a3a5f3ac8466a6a13776a27d0f0666 (patch) | |
| tree | 8439071ec216e8e7e5e38d76037ef763d0436196 /gcc/ada/ChangeLog | |
| parent | 793c5f05923d8faf0005ae1c100777f46554537a (diff) | |
| download | gcc-995683a614a3a5f3ac8466a6a13776a27d0f0666.zip gcc-995683a614a3a5f3ac8466a6a13776a27d0f0666.tar.gz gcc-995683a614a3a5f3ac8466a6a13776a27d0f0666.tar.bz2 | |
[multiple changes]
2014-07-30 Bob Duff <duff@adacore.com>
* g-exctra.adb, g-exctra.ads, s-exctra.adb, s-exctra.ads, Makefile.rtl,
g-trasym.adb, g-trasym.ads, s-trasym.adb, s-trasym.ads: Move
GNAT.Traceback.Symbolic and GNAT.Exception_Traces into the System
hierarchy (System.Traceback.Symbolic and System.Exception_Traces), so
we can call them from the runtimes. Leave renamings in place under GNAT.
2014-07-30 Yannick Moy <moy@adacore.com>
* inline.adb (Check_And_Build_Body_To_Inline): Include code for
inlining in GNATprove mode.
2014-07-30 Ed Schonberg <schonberg@adacore.com>
* a-cohase.adb, a-cohase.ads (Generic_Keys): Add a
Reference_Control_Type to generic package, to keep additional
information for Reference_Types that manipulate keys. Add Adjust and
Finalize procedures for this type.
(Delete_Node): New procedure called when finalizing a
Reference_Control_Type, to remove a node whose element has been
improperly updated through a Reference.
(Insert): Detect tampering.
(Reference_Preserving_Key): Build proper Reference_Control_Type,
and update Busy and Lock bits to detect tampering.
2014-07-30 Bob Duff <duff@adacore.com>
* exp_intr.ads: Minor comment fix.
From-SVN: r213276
Diffstat (limited to 'gcc/ada/ChangeLog')
| -rw-r--r-- | gcc/ada/ChangeLog | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 3ca141d..d216f82 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,33 @@ +2014-07-30 Bob Duff <duff@adacore.com> + + * g-exctra.adb, g-exctra.ads, s-exctra.adb, s-exctra.ads, Makefile.rtl, + g-trasym.adb, g-trasym.ads, s-trasym.adb, s-trasym.ads: Move + GNAT.Traceback.Symbolic and GNAT.Exception_Traces into the System + hierarchy (System.Traceback.Symbolic and System.Exception_Traces), so + we can call them from the runtimes. Leave renamings in place under GNAT. + +2014-07-30 Yannick Moy <moy@adacore.com> + + * inline.adb (Check_And_Build_Body_To_Inline): Include code for + inlining in GNATprove mode. + +2014-07-30 Ed Schonberg <schonberg@adacore.com> + + * a-cohase.adb, a-cohase.ads (Generic_Keys): Add a + Reference_Control_Type to generic package, to keep additional + information for Reference_Types that manipulate keys. Add Adjust and + Finalize procedures for this type. + (Delete_Node): New procedure called when finalizing a + Reference_Control_Type, to remove a node whose element has been + improperly updated through a Reference. + (Insert): Detect tampering. + (Reference_Preserving_Key): Build proper Reference_Control_Type, + and update Busy and Lock bits to detect tampering. + +2014-07-30 Bob Duff <duff@adacore.com> + + * exp_intr.ads: Minor comment fix. + 2014-07-30 Gary Dismukes <dismukes@adacore.com> * exp_prag.adb, a-tags.ads: Minor typo fixes. |