ada: Rely on default parameter when making component definition nodes

When calling Make_Component_Definition we can rely on the default value of
parameter Aliased_Present being False. This makes code cleaner and consistent
with relying on the default value of other parameters of this routine, e.g.
Null_Exclusion_Present.

Code cleanup; semantics is unaffected.

gcc/ada/ChangeLog:

	* exp_ch3.adb, exp_ch9.adb, exp_dist.adb, exp_imgv.adb, exp_util.adb,
	sem_dist.adb: Remove explicit actual parameter Aliased_Present equal
	False; tune comments and whitespace.

diff --git a/gcc/ada/exp_ch3.adb b/gcc/ada/exp_ch3.adb
index a68b4f12ca63362f1343831d925bab4a0434dd54..b69da39da36e260a28a23638ed408fd7f5d0170f 100644 (file)
--- a/gcc/ada/exp_ch3.adb
+++ b/gcc/ada/exp_ch3.adb
@@ -5687,7 +5687,6 @@ package body Exp_Ch3 is
 
                  Component_Definition =>
                    Make_Component_Definition (Loc,
-                     Aliased_Present => False,
                      Subtype_Indication => New_Occurrence_Of (Typ, Loc))),
 
              Expression =>
@@ -9318,7 +9317,6 @@ package body Exp_Ch3 is
           Defining_Identifier => Parent_N,
           Component_Definition =>
             Make_Component_Definition (Loc,
-              Aliased_Present => False,
               Subtype_Indication => New_Occurrence_Of (Par_Subtype, Loc)));
 
       if Null_Present (Rec_Ext_Part) then
@@ -9376,7 +9374,6 @@ package body Exp_Ch3 is
           Defining_Identifier => First_Tag_Component (T),
           Component_Definition =>
             Make_Component_Definition (Sloc_N,
-              Aliased_Present => False,
               Subtype_Indication => New_Occurrence_Of (RTE (RE_Tag), Sloc_N)));
 
       if Null_Present (Comp_List)

diff --git a/gcc/ada/exp_ch9.adb b/gcc/ada/exp_ch9.adb
index df51856f9c906e3cc320993d46745d69280a919a..2e49a4a68bc00d7bdc7bba5fc9eddd2735ec4204 100644 (file)
--- a/gcc/ada/exp_ch9.adb
+++ b/gcc/ada/exp_ch9.adb
@@ -1628,8 +1628,6 @@ package body Exp_Ch9 is
                   Make_Defining_Identifier (Loc, Chars (Formal)),
                 Component_Definition =>
                   Make_Component_Definition (Loc,
-                    Aliased_Present =>
-                      False,
                     Subtype_Indication =>
                       New_Occurrence_Of (Comp_Nam, Loc))));
 
@@ -4808,7 +4806,7 @@ package body Exp_Ch9 is
           Identifier => New_Occurrence_Of (Blkent, Loc),
           Declarations => New_List (
 
-            --  _Chain : Activation_Chain;
+            --  _Chain : aliased Activation_Chain;
 
             Make_Object_Declaration (Loc,
               Defining_Identifier => Chain,
@@ -4968,7 +4966,6 @@ package body Exp_Ch9 is
 
                     Component_Definition =>
                       Make_Component_Definition (Loc,
-                        Aliased_Present    => False,
                         Subtype_Indication =>
                           New_Occurrence_Of (Standard_Character, Loc))));
             end;
@@ -4984,7 +4981,6 @@ package body Exp_Ch9 is
 
                 Component_Definition =>
                   Make_Component_Definition (Loc,
-                    Aliased_Present    => False,
                     Subtype_Indication =>
                       Make_Subtype_Indication (Loc,
                         Subtype_Mark =>
@@ -5764,7 +5760,6 @@ package body Exp_Ch9 is
           Defining_Identifier  => Make_Temporary (Loc, 'P'),
           Component_Definition =>
             Make_Component_Definition (Loc,
-              Aliased_Present    => False,
               Subtype_Indication =>
                 New_Occurrence_Of (RTE (RE_Address), Loc))),
 
@@ -5772,7 +5767,6 @@ package body Exp_Ch9 is
           Defining_Identifier  => Make_Temporary (Loc, 'S'),
           Component_Definition =>
             Make_Component_Definition (Loc,
-              Aliased_Present    => False,
               Subtype_Indication => New_Occurrence_Of (D_T2, Loc))));
 
       Decl2 :=
@@ -8153,7 +8147,6 @@ package body Exp_Ch9 is
                 Defining_Identifier => Component,
                 Component_Definition =>
                   Make_Component_Definition (Loc,
-                    Aliased_Present    => False,
                     Subtype_Indication => New_Occurrence_Of (Ctype, Loc))));
 
             Next_Formal_With_Extras (Formal);
@@ -9078,14 +9071,12 @@ package body Exp_Ch9 is
                if Present (Subtype_Indication (Old_Comp)) then
                   New_Comp :=
                     Make_Component_Definition (Sloc (Oent),
-                      Aliased_Present    => False,
                       Subtype_Indication =>
                         New_Copy_Tree
                           (Subtype_Indication (Old_Comp), Discr_Map));
                else
                   New_Comp :=
                     Make_Component_Definition (Sloc (Oent),
-                      Aliased_Present   => False,
                       Access_Definition =>
                         New_Copy_Tree
                           (Access_Definition (Old_Comp), Discr_Map));
@@ -9252,7 +9243,7 @@ package body Exp_Ch9 is
          end;
 
          --  Put the _Object component after the private component so that it
-         --  be finalized early as required by 9.4 (20)
+         --  be finalized early as required by 9.4(20).
 
          Append_To (Cdecls, Object_Comp);
       end if;
@@ -11824,9 +11815,9 @@ package body Exp_Ch9 is
           Defining_Identifier =>
             Make_Defining_Identifier (Sloc (Tasktyp),
               Chars => New_External_Name (Tasknm, 'E')),
-          Aliased_Present      => True,
-          Object_Definition    => New_Occurrence_Of (Standard_Boolean, Loc),
-          Expression           => New_Occurrence_Of (Standard_False, Loc));
+          Aliased_Present     => True,
+          Object_Definition   => New_Occurrence_Of (Standard_Boolean, Loc),
+          Expression          => New_Occurrence_Of (Standard_False, Loc));
 
       Insert_After (N, Elab_Decl);
 
@@ -11880,7 +11871,6 @@ package body Exp_Ch9 is
             Make_Defining_Identifier (Loc, Name_uTask_Id),
           Component_Definition =>
             Make_Component_Definition (Loc,
-              Aliased_Present    => False,
               Subtype_Indication => New_Occurrence_Of (RTE (RO_ST_Task_Id),
                                     Loc))));
 
@@ -12076,7 +12066,6 @@ package body Exp_Ch9 is
                Make_Defining_Identifier (Loc, Name_uPriority),
              Component_Definition =>
                Make_Component_Definition (Loc,
-                 Aliased_Present    => False,
                  Subtype_Indication =>
                    New_Occurrence_Of (Standard_Integer, Loc))));
       end if;
@@ -12086,12 +12075,11 @@ package body Exp_Ch9 is
       if Present (Taskdef) and then Has_Storage_Size_Pragma (Taskdef) then
          Append_To (Cdecls,
            Make_Component_Declaration (Loc,
-             Defining_Identifier =>
+             Defining_Identifier  =>
                Make_Defining_Identifier (Loc, Name_uSize),
 
              Component_Definition =>
                Make_Component_Definition (Loc,
-                 Aliased_Present    => False,
                  Subtype_Indication =>
                    New_Occurrence_Of (RTE (RE_Size_Type), Loc)),
 
@@ -12116,7 +12104,6 @@ package body Exp_Ch9 is
 
              Component_Definition =>
                Make_Component_Definition (Loc,
-                 Aliased_Present    => False,
                  Subtype_Indication =>
                    New_Occurrence_Of (RTE (RE_Size_Type), Loc))));
       end if;
@@ -12131,7 +12118,6 @@ package body Exp_Ch9 is
 
              Component_Definition =>
                Make_Component_Definition (Loc,
-                 Aliased_Present    => False,
                  Subtype_Indication =>
                    New_Occurrence_Of (RTE (RE_Task_Info_Type), Loc)),
 
@@ -12152,7 +12138,6 @@ package body Exp_Ch9 is
 
              Component_Definition =>
                Make_Component_Definition (Loc,
-                 Aliased_Present    => False,
                  Subtype_Indication =>
                    New_Occurrence_Of (RTE (RE_CPU_Range), Loc))));
       end if;
@@ -12174,7 +12159,6 @@ package body Exp_Ch9 is
 
              Component_Definition =>
                Make_Component_Definition (Loc,
-                 Aliased_Present    => False,
                  Subtype_Indication =>
                    New_Occurrence_Of (RTE (RE_Time_Span), Loc)),
 
@@ -12203,7 +12187,6 @@ package body Exp_Ch9 is
 
              Component_Definition =>
                Make_Component_Definition (Loc,
-                 Aliased_Present    => False,
                  Subtype_Indication =>
                    New_Occurrence_Of
                      (RTE (RE_Dispatching_Domain_Access), Loc))));

diff --git a/gcc/ada/exp_dist.adb b/gcc/ada/exp_dist.adb
index e8f9b68baf350df6dbb5ea519b2807591155d898..e825837e5808a0dd6baa7f62e4bee8c935f8bc8c 100644 (file)
--- a/gcc/ada/exp_dist.adb
+++ b/gcc/ada/exp_dist.adb
@@ -2825,7 +2825,6 @@ package body Exp_Dist is
       Append_To (Decls,
         Make_Object_Declaration (Loc,
           Defining_Identifier => NVList,
-          Aliased_Present     => False,
           Object_Definition   =>
               New_Occurrence_Of (RTE (RE_NVList_Ref), Loc)));
 
@@ -7251,7 +7250,6 @@ package body Exp_Dist is
          Append_To (Decls,
            Make_Object_Declaration (Loc,
              Defining_Identifier => Result,
-             Aliased_Present     => False,
              Object_Definition   =>
                New_Occurrence_Of (RTE (RE_NamedValue), Loc),
              Expression =>
@@ -7378,7 +7376,6 @@ package body Exp_Dist is
                   Append_To (Decls,
                     Make_Object_Declaration (Loc,
                       Defining_Identifier => Any,
-                      Aliased_Present     => False,
                       Object_Definition   =>
                         New_Occurrence_Of (RTE (RE_Any), Loc),
                       Expression          => Expr));
@@ -7449,7 +7446,6 @@ package body Exp_Dist is
                   Append_To (Decls,
                     Make_Object_Declaration (Loc,
                       Defining_Identifier => Extra_Any_Parameter,
-                      Aliased_Present     => False,
                       Object_Definition   =>
                         New_Occurrence_Of (RTE (RE_Any), Loc),
                       Expression          =>

diff --git a/gcc/ada/exp_imgv.adb b/gcc/ada/exp_imgv.adb
index 1a79fadabb8a16e699614bdbf70924a9c2c87ed3..ad81712f75d5e372c9b2b82935feaa86dbcd8754 100644 (file)
--- a/gcc/ada/exp_imgv.adb
+++ b/gcc/ada/exp_imgv.adb
@@ -157,7 +157,6 @@ package body Exp_Imgv is
                      High_Bound => Make_Integer_Literal (Loc, UB))),
                  Component_Definition =>
                    Make_Component_Definition (Loc,
-                     Aliased_Present    => False,
                      Subtype_Indication => New_Occurrence_Of (Ctyp, Loc))),
              Expression          => Make_Aggregate (Loc, Expressions => V)));
       end Append_Table_To;

diff --git a/gcc/ada/exp_util.adb b/gcc/ada/exp_util.adb
index b9a9b5ff953336732d271f8c7bace7e0c6e45e45..a9424b95880b1d024f1781654549a728df2b493c 100644 (file)
--- a/gcc/ada/exp_util.adb
+++ b/gcc/ada/exp_util.adb
@@ -10304,7 +10304,6 @@ package body Exp_Util is
                Make_Defining_Identifier (Loc, Name_uParent),
              Component_Definition =>
                Make_Component_Definition (Loc,
-                 Aliased_Present    => False,
                  Subtype_Indication => New_Occurrence_Of (Constr_Root, Loc))));
 
          Set_Reverse_Storage_Order
@@ -10319,7 +10318,6 @@ package body Exp_Util is
                Make_Defining_Identifier (Loc, Name_uTag),
              Component_Definition =>
                Make_Component_Definition (Loc,
-                 Aliased_Present    => False,
                  Subtype_Indication =>
                    New_Occurrence_Of (RTE (RE_Tag), Loc))));
 
@@ -10331,7 +10329,6 @@ package body Exp_Util is
           Defining_Identifier  => Make_Temporary (Loc, 'C'),
           Component_Definition =>
             Make_Component_Definition (Loc,
-              Aliased_Present    => False,
               Subtype_Indication => New_Occurrence_Of (Str_Type, Loc))));
 
       Append_To (List_Def,

diff --git a/gcc/ada/sem_dist.adb b/gcc/ada/sem_dist.adb
index fa5fa628d65d188547e8085f941919fe43f2f305..33882bb8db4161b5efc692db0f60dc979c27cebc 100644 (file)
--- a/gcc/ada/sem_dist.adb
+++ b/gcc/ada/sem_dist.adb
@@ -649,8 +649,7 @@ package body Sem_Dist is
                       Make_Defining_Identifier (Loc, Name_Ras),
                     Component_Definition =>
                       Make_Component_Definition (Loc,
-                        Aliased_Present     => False,
-                        Subtype_Indication  =>
+                        Subtype_Indication =>
                           New_Occurrence_Of (RACW_Type, Loc)))))));
 
       Set_Equivalent_Type (User_Type, Fat_Type);