diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-02 10:13:09 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-02 10:13:09 +0200 |
| commit | 5f49133f81390b80edb508542edaa91583c9628a (patch) | |
| tree | 716355f52bae28ce20b7e98724a88c6311ef33c5 /gcc/ada/sem_dim.ads | |
| parent | 4856cc2a7d10a3da76084704a51a37aae0e59cef (diff) | |
| download | gcc-5f49133f81390b80edb508542edaa91583c9628a.zip gcc-5f49133f81390b80edb508542edaa91583c9628a.tar.gz gcc-5f49133f81390b80edb508542edaa91583c9628a.tar.bz2 | |
[multiple changes]
2012-10-02 Vincent Pucci <pucci@adacore.com>
* sem_ch4.adb (Analyze_Indexed_Component_Form): Dimension
analysis for indexed components added.
* sem_ch6.adb (Analyze_Function_Call): Dimension propagation
for function calls added.
* sem_dim.adb (Analyze_Dimension): Call to
Analyze_Dimension_Has_Etype when N is a function call.
(Analyze_Dimension_Call): Don't propagate anymore the dimensions
for function calls since this is now treated separately in
Analyze_Dimension_Has_Etype.
(Analyze_Dimension_Has_Etype): For
attribute references, propagate the dimensions from the prefix.
* sem_dim.ads (Copy_Dimensions): Fix comment.
2012-10-02 Hristian Kirtchev <kirtchev@adacore.com>
* checks.ads, checks.adb (Apply_Parameter_Aliasing_Checks): New routine.
(Apply_Parameter_Aliasing_And_Validity_Checks): This routine
has been split into two.
(Apply_Parameter_Validity_Checks): New routine.
* exp_ch6.adb (Expand_Call): Add checks to verify that actuals
do not overlap. The checks are made on the caller side to overcome
issues of parameter passing mechanisms.
* freeze.adb (Freeze_Entity): Update call to
Apply_Parameter_Aliasing_And_Validity_Checks.
From-SVN: r191959
Diffstat (limited to 'gcc/ada/sem_dim.ads')
| -rw-r--r-- | gcc/ada/sem_dim.ads | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/ada/sem_dim.ads b/gcc/ada/sem_dim.ads index d069df9..7ce4e59 100644 --- a/gcc/ada/sem_dim.ads +++ b/gcc/ada/sem_dim.ads @@ -163,8 +163,9 @@ package Sem_Dim is -- literal default value in the list of formals Formals. procedure Copy_Dimensions (From, To : Node_Id); - -- Copy dimension vector of From to To - -- We should say what the requirements on From and To are here ??? + -- Copy dimension vector of node From to node To. Note that To must be a + -- node that is allowed to contain a dimension. (See OK_For_Dimension in + -- body of Sem_Dim). procedure Eval_Op_Expon_For_Dimensioned_Type (N : Node_Id; |