diff options
| author | Joffrey Huguet <huguet@adacore.com> | 2021-09-10 15:10:33 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-10-05 08:20:01 +0000 |
| commit | 04175813f920e8cb8ca146fb88a74edb33636b88 (patch) | |
| tree | efaf828ee6828eb564bb2b18fead4b6d5fae3649 /gcc | |
| parent | 640bda34f0886fd30396981780557096b4c4d6ed (diff) | |
| download | gcc-04175813f920e8cb8ca146fb88a74edb33636b88.zip gcc-04175813f920e8cb8ca146fb88a74edb33636b88.tar.gz gcc-04175813f920e8cb8ca146fb88a74edb33636b88.tar.bz2 | |
[Ada] Add Default_Initial_Condition to type Unbounded_String
gcc/ada/
* libgnat/a-strunb.ads, libgnat/a-strunb__shared.ads: Add
Default_Initial_Condition to Unbounded_String.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/libgnat/a-strunb.ads | 3 | ||||
| -rw-r--r-- | gcc/ada/libgnat/a-strunb__shared.ads | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/gcc/ada/libgnat/a-strunb.ads b/gcc/ada/libgnat/a-strunb.ads index 77d8a59..b3050fd 100644 --- a/gcc/ada/libgnat/a-strunb.ads +++ b/gcc/ada/libgnat/a-strunb.ads @@ -58,7 +58,8 @@ package Ada.Strings.Unbounded with is pragma Preelaborate; - type Unbounded_String is private; + type Unbounded_String is private with + Default_Initial_Condition => Length (Unbounded_String) = 0; pragma Preelaborable_Initialization (Unbounded_String); Null_Unbounded_String : constant Unbounded_String; diff --git a/gcc/ada/libgnat/a-strunb__shared.ads b/gcc/ada/libgnat/a-strunb__shared.ads index 2091bde..2cf6780 100644 --- a/gcc/ada/libgnat/a-strunb__shared.ads +++ b/gcc/ada/libgnat/a-strunb__shared.ads @@ -85,7 +85,8 @@ package Ada.Strings.Unbounded with is pragma Preelaborate; - type Unbounded_String is private; + type Unbounded_String is private with + Default_Initial_Condition => Length (Unbounded_String) = 0; pragma Preelaborable_Initialization (Unbounded_String); Null_Unbounded_String : constant Unbounded_String; |