diff options
| author | Daniel King <dmking@adacore.com> | 2023-04-18 09:18:36 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-06-13 09:31:43 +0200 |
| commit | 416bb154d5c36f25dd6f54fb0d81bf6b0132ee20 (patch) | |
| tree | ccab1b4cb1e9944b2afda14e69555fb0c6119f28 /gcc | |
| parent | af10c962b79c17291250df314d2adb17f11e2355 (diff) | |
| download | gcc-416bb154d5c36f25dd6f54fb0d81bf6b0132ee20.zip gcc-416bb154d5c36f25dd6f54fb0d81bf6b0132ee20.tar.gz gcc-416bb154d5c36f25dd6f54fb0d81bf6b0132ee20.tar.bz2 | |
ada: Add No_Elaboration_Code_All pragma to System.Storage_Elements
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.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/libgnat/s-stoele.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/ada/libgnat/s-stoele.ads b/gcc/ada/libgnat/s-stoele.ads index 3262d03..7de150d 100644 --- a/gcc/ada/libgnat/s-stoele.ads +++ b/gcc/ada/libgnat/s-stoele.ads @@ -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; |