From: Robert Dewar <dewar@adacore.com>
Date: Wed, 28 May 2008 13:48:45 +0000 (+0200)
Subject: Resync.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=00ea95170b661191fffee460554c33f075bcc733;p=gcc.git

Resync.

From-SVN: r136091
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index ca221233dd4..d1828f59be0 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,36 @@
+2008-05-28  Robert Dewar  <dewar@adacore.com>
+
+	* restrict.ads:
+	Add missing restrictions, and properly label all GNAT defined ones
+	
+	* rtsfind.ads:
+	Add entry for Ada_Real_Time.Timing_Events.Timing_Event
+	Add entry for Ada.Task_Termination.Set_Specific_Handler
+	Add entry for Ada.Task_Termination.Specific_Handler
+	
+	* s-rident.ads:
+	Add missing restrictions and properly mark all gnat defined ones
+	
+	* sem_ch3.adb:
+	(Analyze_Object_Declaration): Check No_Local_Timing_Events restriction
+	
+	* sem_res.adb:
+	(Resolve_Call): Check violation of No_Specific_Termination_Handlers
+
+	* gnat_rm.texi: Add missing restrictions, and properly label all
+	GNAT defined ones
+
+2008-05-28  Robert Dewar  <dewar@adacore.com>
+
+	* restrict.adb:
+	(Check_Restriction): violation of restriction No_Finalization is
+	treated as a serious error to stop expansion
+
+2008-05-28  Robert Dewar  <dewar@adacore.com>
+
+	* exp_util.adb: Minor reformatting
+	* exp_util.ads: Minor reformatting.
+
 2008-05-28  Arnaud Charlet  <charlet@adacore.com>
 
 	* Make-lang.in: Remove gprmake.