diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-07-10 15:18:49 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-07-10 15:18:49 +0200 |
| commit | 811c6a85c4e29f55dc408dcf6f5dff08c5a4f999 (patch) | |
| tree | 948a181b8cd975d79aee30a361d83c8d435069c5 /gcc/ada/exp_ch7.adb | |
| parent | 2be0bff8f1836abfa08d9b52c8372f7b03468777 (diff) | |
| download | gcc-811c6a85c4e29f55dc408dcf6f5dff08c5a4f999.zip gcc-811c6a85c4e29f55dc408dcf6f5dff08c5a4f999.tar.gz gcc-811c6a85c4e29f55dc408dcf6f5dff08c5a4f999.tar.bz2 | |
[multiple changes]
2009-07-10 Thomas Quinot <quinot@adacore.com>
* exp_ch7.adb: Update comments.
2009-07-10 Arnaud Charlet <charlet@adacore.com>
* exp_ch13.adb (Expand_N_Record_Representation_Clause): Ignore mod
clause if -gnatI is set instead of crashing.
2009-07-10 Ed Schonberg <schonberg@adacore.com>
* sem_ch11.adb (Same_Expression): Null is always equal to itself.
Additional work to remove redundant successive raise statements, in
this case access checks.
2009-07-10 Vincent Celier <celier@adacore.com>
* make.adb (Compile): Always create a deep copy of the mapping file
argument (-gnatem=...) as it may be deallocate/reallocate by
Normalize_Arguments.
2009-07-10 Javier Miranda <miranda@adacore.com>
* einfo.adb (Directly_Designated_Type): Add assertion.
* sem_res.adb (Check_Fully_Declared_Prefix): Add missing check on
access types before using attribute Directly_Designated_Type.
2009-07-10 Emmanuel Briot <briot@adacore.com>
* prj.ads: Minor typo fix
2009-07-10 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Add_Extra_Formal): Protected operations do no need
special treatment.
* exp_ch6.adb (Expand_Protected_Subprogram_Call): If rewritten
subprogram is a function call, resolve properly, to ensure that extra
actuals are added as needed.
From-SVN: r149474
Diffstat (limited to 'gcc/ada/exp_ch7.adb')
| -rw-r--r-- | gcc/ada/exp_ch7.adb | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/ada/exp_ch7.adb b/gcc/ada/exp_ch7.adb index 44da95f..bd0d371 100644 --- a/gcc/ada/exp_ch7.adb +++ b/gcc/ada/exp_ch7.adb @@ -444,8 +444,9 @@ package body Exp_Ch7 is -- If the type is declared in a package declaration and designates a -- Taft amendment type that requires finalization, place declaration - -- of finaliztion list in the body, because no client of the package - -- can create objects of the type and thus make use of this list. + -- of finalization list in the body, because no client of the package + -- can create objects of the type and thus make use of this list. This + -- ensures the tree for the spec is identical whenever it is compiled. if Has_Completion_In_Body (Directly_Designated_Type (Typ)) and then In_Package_Body (Current_Scope) |