diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-29 12:20:48 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-29 12:20:48 +0200 |
| commit | 92db5dee00b7dfdba5f8a66c67e5ce64843b5897 (patch) | |
| tree | 21a115072de0d1c3445d45d632a0dc0b6e84e9f7 /gcc/ada/sem_ch8.adb | |
| parent | 1378bf105ea73f1d4fab574dc8ed6d1479433296 (diff) | |
| download | gcc-92db5dee00b7dfdba5f8a66c67e5ce64843b5897.zip gcc-92db5dee00b7dfdba5f8a66c67e5ce64843b5897.tar.gz gcc-92db5dee00b7dfdba5f8a66c67e5ce64843b5897.tar.bz2 | |
[multiple changes]
2011-08-29 Tristan Gingold <gingold@adacore.com>
* a-exexpr-gcc.adb (Unwind_Action) Rewrite as an integer with constants.
(GNAT_GCC_Exception): Remove N_Cleanups_To_Trigger component.
(Adjust_N_CLeanups_For): Remove.
(CleanupUnwind_Handler): Call Unhandled_Exception_Terminate when end of
stack is reached.
(Propgate_Exception): Adjust.
* raise-gcc.c: Add a few static/const.
(Adjust_N_Cleanups_For): Remove declaration.
(PERSONALITY_FUNCTION): Remove code dealing with N_Cleanups_To_Trigger.
2011-08-29 Ed Schonberg <schonberg@adacore.com>
* sem_ch8.adb: Use type of function return when rewriting as object
declaration.
From-SVN: r178188
Diffstat (limited to 'gcc/ada/sem_ch8.adb')
| -rw-r--r-- | gcc/ada/sem_ch8.adb | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb index 8a14462..0b9ab13 100644 --- a/gcc/ada/sem_ch8.adb +++ b/gcc/ada/sem_ch8.adb @@ -814,7 +814,7 @@ package body Sem_Ch8 is if Nkind (Nam) = N_Function_Call and then Is_Immutably_Limited_Type (Etype (Nam)) - and then not Is_Constrained (T) + and then not Is_Constrained (Etype (Nam)) and then Comes_From_Source (N) then Set_Etype (Id, T); @@ -823,7 +823,7 @@ package body Sem_Ch8 is Make_Object_Declaration (Loc, Defining_Identifier => Id, Constant_Present => True, - Object_Definition => New_Occurrence_Of (T, Loc), + Object_Definition => New_Occurrence_Of (Etype (Nam), Loc), Expression => Relocate_Node (Nam))); return; end if; @@ -851,9 +851,9 @@ package body Sem_Ch8 is -- Ada 2005 AI05-105: if the declaration has an anonymous access -- type, the renamed object must also have an anonymous type, and - -- this is a name resolution rule. This was implicit in the last - -- part of the first sentence in 8.5.1.(3/2), and is made explicit - -- by this recent AI. + -- this is a name resolution rule. This was implicit in the last part + -- of the first sentence in 8.5.1(3/2), and is made explicit by this + -- recent AI. if not Is_Overloaded (Nam) then if Ekind (Etype (Nam)) /= Ekind (T) then @@ -994,7 +994,7 @@ package body Sem_Ch8 is T2 := Etype (Nam); - -- (Ada 2005: AI-326): Handle wrong use of incomplete type + -- Ada 2005 (AI-326): Handle wrong use of incomplete type if Nkind (Nam) = N_Explicit_Dereference and then Ekind (Etype (T2)) = E_Incomplete_Type |