]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Add No_Elaboration_Code_All pragma to System.Storage_Elements
authorDaniel King <dmking@adacore.com>
Tue, 18 Apr 2023 08:18:36 +0000 (09:18 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 13 Jun 2023 07:31:43 +0000 (09:31 +0200)
Allows System.Storage_Elements to be used in units that
have the No_Elaboration_Code_All restriction.

gcc/ada/

* libgnat/s-stoele.ads: Add No_Elaboration_Code_All pragma.

gcc/ada/libgnat/s-stoele.ads

index 3262d0329c349bb48e6940d2e6e7941be91c06f6..7de150dab59cc7949cd05a71039001c4a3b90d30 100644 (file)
@@ -43,6 +43,9 @@ package System.Storage_Elements is
    --  this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005,
    --  this is Pure in any case (AI-362).
 
+   pragma No_Elaboration_Code_All;
+   --  Allow the use of that restriction in units that WITH this unit
+
    pragma Annotate (GNATprove, Always_Return, Storage_Elements);
 
    type Storage_Offset is range -Memory_Size / 2 .. Memory_Size / 2 - 1;