diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-13 11:33:37 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-13 11:33:37 +0100 |
| commit | ef74daead6d1668980566524b3a49dcc8f51295c (patch) | |
| tree | 16e64aeaef0f64c0a97694cfa8298fdfe76681cd /gcc/ada/sem_ch13.adb | |
| parent | da9683f4dbc85066c290798a14d1158f804f92a2 (diff) | |
| download | gcc-ef74daead6d1668980566524b3a49dcc8f51295c.zip gcc-ef74daead6d1668980566524b3a49dcc8f51295c.tar.gz gcc-ef74daead6d1668980566524b3a49dcc8f51295c.tar.bz2 | |
[multiple changes]
2017-01-13 Gary Dismukes <dismukes@adacore.com>
* sem_ch13.adb: Minor reformatting and typo fix.
2017-01-13 Ed Schonberg <schonberg@adacore.com>
* par-ch4.adb (P_Aggregate_Or_Parent_Expr): An
Iterated_Component_Association is a named association in an
array aggregate.
* sem_aggr.adb (Resolve_Iterated_Component_Association): New
procedure, subsidiary of Resolve_Array_Aggregate, to analyze
and resolve the discrete choices and the expression of the
new construct.
* sinfo.adb, sinfo.ads: In analogy with N_Component_Association,
Loop_Actions and Box_Present are attributes of
N_Iterated_Component_Association nodes. Box_Present is always
False in this case.
* sprint.adb (Sprint_Node): An Iterated_Component_Association
has a Discrete_Choices list, as specified in the RM. A
Component_Association for aggregate uses instead a Choices list.
We have to live with this small inconsistency because the new
construct also has a defining identifier, and there is no way
to merge the two node structures.
From-SVN: r244410
Diffstat (limited to 'gcc/ada/sem_ch13.adb')
| -rw-r--r-- | gcc/ada/sem_ch13.adb | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index 142ac8e..ba47f92 100644 --- a/gcc/ada/sem_ch13.adb +++ b/gcc/ada/sem_ch13.adb @@ -8963,12 +8963,12 @@ package body Sem_Ch13 is -- Expression to be analyzed at end of declarations Freeze_Expr : constant Node_Id := Expression (ASN); - -- Expression from call to Check_Aspect_At_Freeze_Point. We use + -- Expression from call to Check_Aspect_At_Freeze_Point. T : constant Entity_Id := Etype (Original_Node (Freeze_Expr)); - -- Type required for preanalyze call. We use the originsl - -- expression to get the proper type, to prevent cascaded errors - -- when the expression is constant-folded. + -- Type required for preanalyze call. We use the original expression to + -- get the proper type, to prevent cascaded errors when the expression + -- is constant-folded. Err : Boolean; -- Set False if error |