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/tree-streamer-in.c | |
| 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/tree-streamer-in.c')
0 files changed, 0 insertions, 0 deletions