From: charlet Date: Thu, 9 Jul 2009 10:17:40 +0000 (+0000) Subject: 2009-07-09 Ed Schonberg X-Git-Tag: upstream/4.9.2~34973 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=d602561b19efbfce6293b23992566d5b7fc23c6f;p=platform%2Fupstream%2Flinaro-gcc.git 2009-07-09 Ed Schonberg * freeze.adb (Freeze_Expression): If the expression is the name of a function in a call, and the function has not been frozen yet, create extra formals for it to ensure that the proper actuals are created when expanding the call. 2009-07-09 Emmanuel Briot * prj-pp.adb (Print): Fix handling of source index when set on a declaration node. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149408 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 78006e5..296c04d 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,17 @@ 2009-07-09 Ed Schonberg + * freeze.adb (Freeze_Expression): If the expression is the name of a + function in a call, and the function has not been frozen yet, create + extra formals for it to ensure that the proper actuals are created + when expanding the call. + +2009-07-09 Emmanuel Briot + + * prj-pp.adb (Print): Fix handling of source index when set on a + declaration node. + +2009-07-09 Ed Schonberg + * einfo.ads, einfo.adb: New attribute Related_Expression, used to link a temporary to the source expression whose value it captures. diff --git a/gcc/ada/freeze.adb b/gcc/ada/freeze.adb index 5a7d0ef..fffb33f 100644 --- a/gcc/ada/freeze.adb +++ b/gcc/ada/freeze.adb @@ -4012,6 +4012,12 @@ package body Freeze is -- designated type is a private type without full view, the expression -- cannot contain an allocator, so the type is not frozen. + -- For a function, we freeze the entity when the subprogram declaration + -- is frozen, but a function call may appear in an initialization proc. + -- before the declaration is frozen. We need to generate the extra + -- formals, if any, to ensure that the expansion of the call includes + -- the proper actuals. + Desig_Typ := Empty; case Nkind (N) is @@ -4033,6 +4039,14 @@ package body Freeze is Desig_Typ := Designated_Type (Etype (Prefix (N))); end if; + when N_Identifier => + if Present (Nam) + and then Ekind (Nam) = E_Function + and then Nkind (Parent (N)) = N_Function_Call + then + Create_Extra_Formals (Nam); + end if; + when others => null; end case; diff --git a/gcc/ada/prj-pp.adb b/gcc/ada/prj-pp.adb index 5ddafbc..cc88f8e 100644 --- a/gcc/ada/prj-pp.adb +++ b/gcc/ada/prj-pp.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2001-2008, Free Software Foundation, Inc. -- +-- Copyright (C) 2001-2009, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -517,7 +517,7 @@ package body Prj.PP is Output_String (String_Value_Of (Node, In_Tree)); if Source_Index_Of (Node, In_Tree) /= 0 then - Write_String (" at "); + Write_String (" at"); Write_String (Source_Index_Of (Node, In_Tree)'Img); end if; @@ -532,12 +532,6 @@ package body Prj.PP is Write_String (" ("); Output_String (Associative_Array_Index_Of (Node, In_Tree)); - - if Source_Index_Of (Node, In_Tree) /= 0 then - Write_String (" at "); - Write_String (Source_Index_Of (Node, In_Tree)'Img); - end if; - Write_String (")"); end if; @@ -580,6 +574,11 @@ package body Prj.PP is Output_Attribute_Name (Name_Of (Node, In_Tree)); end if; + if Source_Index_Of (Node, In_Tree) /= 0 then + Write_String (" at"); + Write_String (Source_Index_Of (Node, In_Tree)'Img); + end if; + Write_String (";"); Write_End_Of_Line_Comment (Node); Print (First_Comment_After (Node, In_Tree), Indent);