This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r213276 - in /trunk/gcc/ada: ChangeLog Makefile...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Wed, 30 Jul 2014 14:12:37 -0000
- Subject: r213276 - in /trunk/gcc/ada: ChangeLog Makefile...
Author: charlet
Date: Wed Jul 30 14:12:37 2014
New Revision: 213276
URL: https://gcc.gnu.org/viewcvs?rev=213276&root=gcc&view=rev
Log:
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.
Added:
trunk/gcc/ada/s-exctra.adb
trunk/gcc/ada/s-exctra.ads
trunk/gcc/ada/s-trasym.adb
trunk/gcc/ada/s-trasym.ads
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/Makefile.rtl
trunk/gcc/ada/a-cohase.adb
trunk/gcc/ada/a-cohase.ads
trunk/gcc/ada/exp_intr.ads
trunk/gcc/ada/g-exctra.adb
trunk/gcc/ada/g-exctra.ads
trunk/gcc/ada/g-trasym.adb
trunk/gcc/ada/g-trasym.ads
trunk/gcc/ada/inline.adb