From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1914) id 36E693814FCA; Mon, 30 May 2022 08:31:59 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 36E693814FCA 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 r13-850] [Ada] Remove contract duplication in formal doubly linked lists X-Act-Checkin: gcc X-Git-Author: Julien Bortolussi X-Git-Refname: refs/heads/master X-Git-Oldrev: 576b7778915c1e2da8d50c8f24c5c9b5282eac5f X-Git-Newrev: 8244b8034201bfb0609eaa33fe3a4a2518dfdb3d Message-Id: <20220530083159.36E693814FCA@sourceware.org> Date: Mon, 30 May 2022 08:31:59 +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: Mon, 30 May 2022 08:31:59 -0000 https://gcc.gnu.org/g:8244b8034201bfb0609eaa33fe3a4a2518dfdb3d commit r13-850-g8244b8034201bfb0609eaa33fe3a4a2518dfdb3d Author: Julien Bortolussi Date: Mon Apr 25 10:53:15 2022 +0200 [Ada] Remove contract duplication in formal doubly linked lists Remove a minor duplication in Post of a function of formal doubly linked lists. gcc/ada/ * libgnat/a-cfdlli.ads (Insert): Remove the duplication. Diff: --- gcc/ada/libgnat/a-cfdlli.ads | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) diff --git a/gcc/ada/libgnat/a-cfdlli.ads b/gcc/ada/libgnat/a-cfdlli.ads index 521f4bfcab5..ff7d2d81aca 100644 --- a/gcc/ada/libgnat/a-cfdlli.ads +++ b/gcc/ada/libgnat/a-cfdlli.ads @@ -543,15 +543,7 @@ is Lst => Length (Container), Item => New_Item)) - -- Container contains Count times New_Item at the end - - and M.Constant_Range - (Container => Model (Container), - Fst => Length (Container)'Old + 1, - Lst => Length (Container), - Item => New_Item) - - -- A Count cursors have been inserted at the end of Container + -- Count cursors have been inserted at the end of Container and P_Positions_Truncated (Positions (Container)'Old,