diff options
Diffstat (limited to 'gcc/ada')
-rw-r--r-- | gcc/ada/doc/gnat_rm/standard_and_implementation_defined_restrictions.rst | 4 | ||||
-rw-r--r-- | gcc/ada/exp_aggr.adb | 41 | ||||
-rw-r--r-- | gcc/ada/gnat_rm.texi | 6 |
3 files changed, 29 insertions, 22 deletions
diff --git a/gcc/ada/doc/gnat_rm/standard_and_implementation_defined_restrictions.rst b/gcc/ada/doc/gnat_rm/standard_and_implementation_defined_restrictions.rst index cf4657b..0e9162a 100644 --- a/gcc/ada/doc/gnat_rm/standard_and_implementation_defined_restrictions.rst +++ b/gcc/ada/doc/gnat_rm/standard_and_implementation_defined_restrictions.rst @@ -163,8 +163,8 @@ No_Default_Initialization .. index:: No_Default_Initialization [GNAT] This restriction prohibits any instance of default initialization -of variables. The binder implements a consistency rule which prevents -any unit compiled without the restriction from with'ing a unit with the +of variables or components. The binder implements a consistency check that +prevents any unit without the restriction from with'ing a unit with the restriction (this allows the generation of initialization procedures to be skipped, since you can be sure that no call is ever generated to an initialization procedure in a unit with the restriction active). If used diff --git a/gcc/ada/exp_aggr.adb b/gcc/ada/exp_aggr.adb index 01ad1dc..df22871 100644 --- a/gcc/ada/exp_aggr.adb +++ b/gcc/ada/exp_aggr.adb @@ -1486,14 +1486,16 @@ package body Exp_Aggr is -- object creation that will invoke it otherwise. else - if Present (Base_Init_Proc (Base_Type (Ctype))) - or else Has_Task (Base_Type (Ctype)) - then - Append_List_To (Stmts, - Build_Initialization_Call (N, - Id_Ref => Indexed_Comp, - Typ => Ctype, - With_Default_Init => True)); + if Present (Base_Init_Proc (Ctype)) then + Check_Restriction (No_Default_Initialization, N); + + if not Restriction_Active (No_Default_Initialization) then + Append_List_To (Stmts, + Build_Initialization_Call (N, + Id_Ref => Indexed_Comp, + Typ => Ctype, + With_Default_Init => True)); + end if; -- If the component type has invariants, add an invariant -- check after the component is default-initialized. It will @@ -3185,6 +3187,8 @@ package body Exp_Aggr is elsif Box_Present (Comp) and then Has_Non_Null_Base_Init_Proc (Etype (Selector)) then + Check_Restriction (No_Default_Initialization, N); + if Ekind (Selector) /= E_Discriminant then Generate_Finalization_Actions; end if; @@ -3216,15 +3220,18 @@ package body Exp_Aggr is end if; end; - Append_List_To (L, - Build_Initialization_Call (N, - Id_Ref => Make_Selected_Component (Loc, - Prefix => New_Copy_Tree (Target), - Selector_Name => - New_Occurrence_Of (Selector, Loc)), - Typ => Etype (Selector), - Enclos_Type => Typ, - With_Default_Init => True)); + if not Restriction_Active (No_Default_Initialization) then + Append_List_To (L, + Build_Initialization_Call (N, + Id_Ref => Make_Selected_Component (Loc, + Prefix => + New_Copy_Tree (Target), + Selector_Name => + New_Occurrence_Of (Selector, Loc)), + Typ => Etype (Selector), + Enclos_Type => Typ, + With_Default_Init => True)); + end if; -- Prepare for component assignment diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index dc57216..4feef7e 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -19,7 +19,7 @@ @copying @quotation -GNAT Reference Manual , Jun 24, 2024 +GNAT Reference Manual , Jun 27, 2024 AdaCore @@ -12594,8 +12594,8 @@ coextensions. See 3.10.2. @geindex No_Default_Initialization [GNAT] This restriction prohibits any instance of default initialization -of variables. The binder implements a consistency rule which prevents -any unit compiled without the restriction from with’ing a unit with the +of variables or components. The binder implements a consistency check that +prevents any unit without the restriction from with’ing a unit with the restriction (this allows the generation of initialization procedures to be skipped, since you can be sure that no call is ever generated to an initialization procedure in a unit with the restriction active). If used |