From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1914) id 4B6A7385BAC0; Tue, 5 Jul 2022 08:29:07 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 4B6A7385BAC0 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-1471] [Ada] Remove comment about a long gone formal verification mode X-Act-Checkin: gcc X-Git-Author: Piotr Trojanek X-Git-Refname: refs/heads/master X-Git-Oldrev: fee24d5cae0661a8e165b752b4d890a3fd02205c X-Git-Newrev: 5b560170323869f7d8406da6c985b0d21b2f7ef3 Message-Id: <20220705082907.4B6A7385BAC0@sourceware.org> Date: Tue, 5 Jul 2022 08:29:07 +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 Jul 2022 08:29:07 -0000 https://gcc.gnu.org/g:5b560170323869f7d8406da6c985b0d21b2f7ef3 commit r13-1471-g5b560170323869f7d8406da6c985b0d21b2f7ef3 Author: Piotr Trojanek Date: Thu Jun 2 15:10:46 2022 +0200 [Ada] Remove comment about a long gone formal verification mode Remove outdated a comment about the very first SPARK experiments in GNAT. gcc/ada/ * sem_ch6.adb (Check_Missing_Return): Remove outdated comment. Diff: --- gcc/ada/sem_ch6.adb | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 848c2349200..5a4ba7a9290 100644 --- a/gcc/ada/sem_ch6.adb +++ b/gcc/ada/sem_ch6.adb @@ -2987,9 +2987,7 @@ package body Sem_Ch6 is procedure Check_Missing_Return; -- Checks for a function with a no return statements, and also performs - -- the warning checks implemented by Check_Returns. In formal mode, also - -- verify that a function ends with a RETURN and that a procedure does - -- not contain any RETURN. + -- the warning checks implemented by Check_Returns. function Disambiguate_Spec return Entity_Id; -- When a primitive is declared between the private view and the full