From 757d44b946bf023f0ef0dbf9eb49a743c8d482e3 Mon Sep 17 00:00:00 2001 From: charlet Date: Wed, 19 Feb 2014 11:02:48 +0000 Subject: 2014-02-19 Robert Dewar * exp_attr.adb (Expand_Min_Max_Attribute): Use Insert_Declaration (Expand_Min_Max_Attribute): Use Matching_Standard_Type. * exp_ch4.adb (Expand_N_Expression_With_Actions): Remove special handling for the case of Modify_Tree_For_C, this approach did not work. * exp_util.adb (Matching_Standard_Type): New function (Side_Effect_Free): New top level functions (from Remove_Side_Effects). * exp_util.ads (Side_Effect_Free): New top level functions (moved from body). * sinfo.ads: Minor comment updates. 2014-02-19 Ed Schonberg * exp_ch6.adb (Expand_Simple_Function_Return): If return type is unconstrained and uses the secondary stack, mark the enclosing function accordingly, to ensure that the value is not prematurely removed. 2014-02-19 Hristian Kirtchev * par.adb Alphabetize the routines in Par.Sync. (Resync_Past_Malformed_Aspect): New routine. * par-ch13.adb (Get_Aspect_Specifications): Alphabetize local variables. Code and comment reformatting. Detect missing parentheses on aspects [Refined_]Global and [Refined_]Depends with a non-null definition. * par-sync.adb: Alphabetize all routines in this separate unit. (Resync_Past_Malformed_Aspect): New routine. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@207890 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/sinfo.ads | 12 ++++-------- 1 file changed, 4 insertions(+), 8 deletions(-) (limited to 'gcc/ada/sinfo.ads') diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index cb8b0ee6a4d..af476c0da82 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -649,9 +649,8 @@ package Sinfo is -- Mod for signed integer types is expanded into equivalent expressions -- using Rem (which is % in C) and other C-available operators. - -- The Actions list of an Expression_With_Actions node has any object - -- declarations removed, so that it is composed only of expressions - -- (so that DO X,... Y IN Z can be represented as (X, .. Y, Z) in C). + -- The Actions list of an Expression_With_Actions node does not contain + -- any declarations,(so that DO X, .. Y IN Z becomes (X, .. Y, Z) in C). ------------------------------------ -- Description of Semantic Fields -- @@ -7426,11 +7425,8 @@ package Sinfo is -- not a proper expression), and in the long term all cases of this -- idiom should instead use a new node kind N_Compound_Statement. - -- Note: In Modify_Tree_For_C, we eliminate declarations from the list - -- of actions, inserting them at the outer level. If we move an object - -- declaration with an initialization expression in this manner, then - -- the action is replaced by an appropriate assignment, otherwise it is - -- removed from the list of actions. + -- Note: In Modify_Tree_For_C, we never generate any declarations in + -- the action list, which can contain only non-declarative statements. -------------------- -- Free Statement -- -- cgit v1.2.1