diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-02-19 11:02:48 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-02-19 11:02:48 +0000 |
| commit | 757d44b946bf023f0ef0dbf9eb49a743c8d482e3 (patch) | |
| tree | c5da7428ceb37eac13e1c97e08e78fc4ac813549 /gcc/ada/sinfo.ads | |
| parent | 2ba655a7cdb7a68acb4377e360a6e8fb88caee50 (diff) | |
| download | gcc-757d44b946bf023f0ef0dbf9eb49a743c8d482e3.tar.gz | |
2014-02-19 Robert Dewar <dewar@adacore.com>
* 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 <schonberg@adacore.com>
* 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 <kirtchev@adacore.com>
* 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
Diffstat (limited to 'gcc/ada/sinfo.ads')
| -rw-r--r-- | gcc/ada/sinfo.ads | 12 |
1 files changed, 4 insertions, 8 deletions
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 -- |