2008-08-04 Robert Dewar <dewar@adacore.com>

	* exp_ch5.adb:
	(Expand_Simple_Function_Return): Check No_Secondary_Stack restriction
	at point of return.

From-SVN: r138651

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 5e55185..93c2392 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,28 @@
+2008-08-04  Robert Dewar  <dewar@adacore.com>
+
+       * exp_ch4.adb (Expand_N_In): Suppress range warnings in instances
+
+2008-08-04  Ed Schonberg  <schonberg@adacore.com>
+
+       * sem_ch3.adb:
+       (Replace_Anonymous_Access_To_Protected_Subprogram): Handle properly an
+       anonymous access to protected subprogram that is the return type of the
+       specification of a subprogram body.
+
+       * sem_ch6.adb:
+       (Analyze_Subprogram_Body): if the return type is an anonymous access to
+       subprogram, freeze it now to prevent access anomalies in the back-end.
+
+       * exp_ch9.adb: Minor code cleanup.
+       Make sure that new declarations are inserted into the tree before
+       analysis (from code reading).
+
+2008-08-04  Robert Dewar  <dewar@adacore.com>
+
+       * exp_ch5.adb:
+       (Expand_Simple_Function_Return): Check No_Secondary_Stack restriction
+       at point of return.
+
 2008-08-04  Thomas Quinot  <quinot@adacore.com>
 
        * sem_type.adb, sem_ch4.adb, sprint.adb, exp_ch3.adb: Minor reformatting

diff --git a/gcc/ada/exp_ch5.adb b/gcc/ada/exp_ch5.adb
index 729c126..2215912 100644 (file)
--- a/gcc/ada/exp_ch5.adb
+++ b/gcc/ada/exp_ch5.adb
@@ -3906,6 +3906,7 @@ package body Exp_Ch5 is
          --  secondary stack.
 
          else
+            Check_Restriction (No_Secondary_Stack, N);
             Set_Storage_Pool (N, RTE (RE_SS_Pool));
 
             --  If we are generating code for the VM do not use