From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1914) id 93D36385701C; Tue, 5 Oct 2021 08:23:05 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 93D36385701C MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Pierre-Marie de Rodat To: gcc-cvs@gcc.gnu.org Subject: [gcc r12-4156] [Ada] Add Default_Initial_Condition to type Unbounded_String X-Act-Checkin: gcc X-Git-Author: Joffrey Huguet X-Git-Refname: refs/heads/master X-Git-Oldrev: 640bda34f0886fd30396981780557096b4c4d6ed X-Git-Newrev: 04175813f920e8cb8ca146fb88a74edb33636b88 Message-Id: <20211005082305.93D36385701C@sourceware.org> Date: Tue, 5 Oct 2021 08:23:05 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 05 Oct 2021 08:23:05 -0000 https://gcc.gnu.org/g:04175813f920e8cb8ca146fb88a74edb33636b88 commit r12-4156-g04175813f920e8cb8ca146fb88a74edb33636b88 Author: Joffrey Huguet Date: Fri Sep 10 15:10:33 2021 +0200 [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. Diff: --- gcc/ada/libgnat/a-strunb.ads | 3 ++- 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 77d8a59ca48..b3050fdb5a3 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 2091bde01c8..2cf678002ba 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;