diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-11-07 17:20:14 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-11-07 17:20:14 +0100 |
| commit | cc570be69335a3d3c36c14eabc99bf0049e7f9be (patch) | |
| tree | 6788b159094d3e15bb388510e484debf113ebeb7 /gcc/ada/exp_util.ads | |
| parent | da80a6464e2f41f4e139fcd182fdaa00a024851e (diff) | |
| download | gcc-cc570be69335a3d3c36c14eabc99bf0049e7f9be.zip gcc-cc570be69335a3d3c36c14eabc99bf0049e7f9be.tar.gz gcc-cc570be69335a3d3c36c14eabc99bf0049e7f9be.tar.bz2 | |
[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
Diffstat (limited to 'gcc/ada/exp_util.ads')
| -rw-r--r-- | gcc/ada/exp_util.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/exp_util.ads b/gcc/ada/exp_util.ads index 94512b6..f293b8f 100644 --- a/gcc/ada/exp_util.ads +++ b/gcc/ada/exp_util.ads @@ -351,6 +351,10 @@ package Exp_Util is -- which represent entry [family member] names. These strings are created -- by the compiler and used by GDB. + procedure Evaluate_Name (Nam : Node_Id); + -- Remove the all side effects from a name which appears as part of an + -- object renaming declaration. + procedure Evolve_And_Then (Cond : in out Node_Id; Cond1 : Node_Id); -- Rewrites Cond with the expression: Cond and then Cond1. If Cond is -- Empty, then simply returns Cond1 (this allows the use of Empty to |