From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1914) id 6886338582A2; Tue, 5 Jul 2022 08:29:12 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 6886338582A2 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-1472] [Ada] Add RM reference to check for functions without a return statement X-Act-Checkin: gcc X-Git-Author: Piotr Trojanek X-Git-Refname: refs/heads/master X-Git-Oldrev: 5b560170323869f7d8406da6c985b0d21b2f7ef3 X-Git-Newrev: 70bb3298c2b4eaec19490ada47dbc3d7307002af Message-Id: <20220705082912.6886338582A2@sourceware.org> Date: Tue, 5 Jul 2022 08:29:12 +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:12 -0000 https://gcc.gnu.org/g:70bb3298c2b4eaec19490ada47dbc3d7307002af commit r13-1472-g70bb3298c2b4eaec19490ada47dbc3d7307002af Author: Piotr Trojanek Date: Thu Jun 2 15:16:44 2022 +0200 [Ada] Add RM reference to check for functions without a return statement Add comment to explain why we have an error and not just a warning. gcc/ada/ * sem_ch6.adb (Check_Missing_Return): Add reference to an RM rule. Diff: --- gcc/ada/sem_ch6.adb | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 5a4ba7a9290..05db793a155 100644 --- a/gcc/ada/sem_ch6.adb +++ b/gcc/ada/sem_ch6.adb @@ -3568,6 +3568,10 @@ package body Sem_Ch6 is Id := Body_Id; end if; + -- A function body shall contain at least one return statement + -- that applies to the function body, unless the function contains + -- code_statements; RM 6.5(5). + if Return_Present (Id) then Check_Returns (HSS, 'F', Missing_Ret);