This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[Ada] Suppress Initialize_Scalars for Persistent_BSS
- From: Pierre-Marie de Rodat <derodat at adacore dot com>
- To: gcc-patches at gcc dot gnu dot org
- Cc: Bob Duff <duff at adacore dot com>
- Date: Tue, 20 Aug 2019 05:51:27 -0400
- Subject: [Ada] Suppress Initialize_Scalars for Persistent_BSS
If a variable has pragma Persistent_BSS, the compiler now automatically
suppresses implicit initializations caused by Initialize_Scalars and
Normalize_Scalars. Variables with Persistent_BSS cannot be initialized,
and previously a pragma Suppress_Initialization was required before the
pragma Persistent_BSS.
Tested on x86_64-pc-linux-gnu, committed on trunk
2019-08-20 Bob Duff <duff@adacore.com>
gcc/ada/
* sem_prag.adb (Persistent_BSS): If an initialization is present
because of Initialize_Scalars or Normalize_Scalars, generate an
implicit pragma Suppress_Initialization to remove that, because
initialization is not allowed for these variables. Other
initializations remain illegal.
--- gcc/ada/sem_prag.adb
+++ gcc/ada/sem_prag.adb
@@ -21092,8 +21092,24 @@ package body Sem_Prag is
Decl := Parent (Ent);
if Present (Expression (Decl)) then
- Error_Pragma_Arg
- ("object for pragma% cannot have initialization", Arg1);
+ -- Variables in Persistent_BSS cannot be initialized, so
+ -- turn off any initialization that might be caused by
+ -- pragmas Initialize_Scalars or Normalize_Scalars.
+
+ if Kill_Range_Check (Expression (Decl)) then
+ Prag :=
+ Make_Pragma (Loc,
+ Name_Suppress_Initialization,
+ Pragma_Argument_Associations => New_List (
+ Make_Pragma_Argument_Association (Loc,
+ Expression => New_Occurrence_Of (Ent, Loc))));
+ Insert_Before (N, Prag);
+ Analyze (Prag);
+
+ else
+ Error_Pragma_Arg
+ ("object for pragma% cannot have initialization", Arg1);
+ end if;
end if;
if not Is_Potentially_Persistent_Type (Etype (Ent)) then
@@ -21104,7 +21120,7 @@ package body Sem_Prag is
Prag :=
Make_Linker_Section_Pragma
- (Ent, Sloc (N), ".persistent.bss");
+ (Ent, Loc, ".persistent.bss");
Insert_After (N, Prag);
Analyze (Prag);