diff options
Diffstat (limited to 'gcc/ada/libgnat/s-stoele.ads')
| -rw-r--r-- | gcc/ada/libgnat/s-stoele.ads | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/libgnat/s-stoele.ads b/gcc/ada/libgnat/s-stoele.ads index 7de150d..d5d7042 100644 --- a/gcc/ada/libgnat/s-stoele.ads +++ b/gcc/ada/libgnat/s-stoele.ads @@ -37,7 +37,9 @@ -- extra declarations that can be introduced into System using Extend_System. -- It is a good idea to avoid use clauses for this package. -package System.Storage_Elements is +package System.Storage_Elements with + Always_Terminates +is pragma Pure; -- Note that we take advantage of the implementation permission to make -- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada 2005, @@ -46,8 +48,6 @@ package System.Storage_Elements is 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; subtype Storage_Count is Storage_Offset range 0 .. Storage_Offset'Last; |