[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 7 Nov 2011 16:20:14 +0000 (17:20 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 7 Nov 2011 16:20:14 +0000 (17:20 +0100)
commitcc570be69335a3d3c36c14eabc99bf0049e7f9be
tree6788b159094d3e15bb388510e484debf113ebeb7
parentda80a6464e2f41f4e139fcd182fdaa00a024851e
[multiple changes]

2011-11-07  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_alfa.adb: Remove with and use clause for
Exp_Ch8. Add with and use clause for Exp_Util.
Remove local constant Disable_Processing_Of_Renamings.
(Expand_Alfa_N_Object_Renaming_Declaration): The expansion of
object renamings has been reenabled.
(Expand_Possible_Renaming):
The expansion of identifier and expanded names has been
reenabled. Perform the substitutions only for entities that
denote an object.
* exp_ch8.ads, exp_ch8.adb (Evaluate_Name): Moved to Exp_Util.
* exp_util.adb (Evaluate_Name): Moved from Exp_Ch8.
(Remove_Side_Effects): Alphabetize local variables. Add a guard
to avoid the infinite expansion of an expression in Alfa mode. Add
processing for function calls in Alfa mode.
* exp_util.ads (Evaliate_Name): Moved from Exp_Ch8.

2011-11-07  Ed Schonberg  <schonberg@adacore.com>

* freeze.adb (Freeze_Entity): If the entity is an access to
subprogram whose designated type is itself a subprogram type,
its own return type must be decorated with size information.

From-SVN: r181091
gcc/ada/ChangeLog
gcc/ada/exp_alfa.adb
gcc/ada/exp_ch8.adb
gcc/ada/exp_ch8.ads
gcc/ada/exp_util.adb
gcc/ada/exp_util.ads
gcc/ada/freeze.adb