diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2021-11-25 14:54:17 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-12-02 16:26:28 +0000 |
| commit | e4b5ab01946554dabfc68090ae114182c96caf13 (patch) | |
| tree | 825566e0e452d75819b661cea7f023d4ddb4dc8b /gcc/ada/contracts.adb | |
| parent | ec9c3bd5d2d6d91a9967bf153ebf1411e6bb10c0 (diff) | |
| download | gcc-e4b5ab01946554dabfc68090ae114182c96caf13.zip gcc-e4b5ab01946554dabfc68090ae114182c96caf13.tar.gz gcc-e4b5ab01946554dabfc68090ae114182c96caf13.tar.bz2 | |
[Ada] Cleanup insertion of single freezing actions
gcc/ada/
* exp_util.adb (Append_Freeze_Action): Tune whitespace to make
the code look similar to Append_Freeze_Actions, which takes a
List_Id.
* sem_ch6.adb (Analyze_Return_Type): Cleanup with
Append_Freeze_Action.
* exp_ch3.adb (Build_Access_Subprogram_Wrapper_Body): Likewise.
* sem_ch3.adb (Build_Access_Subprogram_Wrapper): Likewise.
* contracts.adb (Add_Indirect_Call_Wrapper): Remove extra call
to Ensure_Freeze_Node.
(Add_Call_Helper): Likewise.
* freeze.adb (Check_Inherited_Conditions): Likewise.
(Attribute_Renaming): Likewise.
* sem_ch8.adb: Likewise.
Diffstat (limited to 'gcc/ada/contracts.adb')
| -rw-r--r-- | gcc/ada/contracts.adb | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/gcc/ada/contracts.adb b/gcc/ada/contracts.adb index 2726486..98f469b 100644 --- a/gcc/ada/contracts.adb +++ b/gcc/ada/contracts.adb @@ -3761,7 +3761,6 @@ package body Contracts is ICW_Decl := Build_ICW_Decl; - Ensure_Freeze_Node (Tagged_Type); Append_Freeze_Action (Tagged_Type, ICW_Decl); Analyze (ICW_Decl); @@ -4034,7 +4033,6 @@ package body Contracts is -- Add the helper to the freezing actions of the tagged type - Ensure_Freeze_Node (Tagged_Type); Append_Freeze_Action (Tagged_Type, Helper_Decl); Analyze (Helper_Decl); |