From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2100) id 892173983056; Sat, 22 Aug 2020 21:50:24 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 892173983056 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1598133024; bh=ckaCksXT/n0JuPEpnD/aqmsV2QkusmtjLrkJnF6R0+8=; h=From:To:Subject:Date:From; b=mpLRyWMqqnPw6KF/3YfhDN1O7HBSXQS5VXqrWOxn3IC8lCGvZQ6g00N6WEHZGYjSu F3epeXl4CEv25UErCNYFPzZoKawv53C9pfGSw5EgUwOYiaXIq7EgDNkB4xVA2XYfQG P/sOFSv2wIFvlilbFgXGEAnM/uQme3YZd1YMydsg= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Giuliano Belinassi To: gcc-cvs@gcc.gnu.org Subject: [gcc/devel/autopar_devel] [Ada] Statement SCO code for degenerate subprograms X-Act-Checkin: gcc X-Git-Author: Thomas Quinot X-Git-Refname: refs/heads/devel/autopar_devel X-Git-Oldrev: 853aefaf80da5a7c4818736802cd1e6e3fd5be4a X-Git-Newrev: b12153503fd86b4902b0301f87297ba96737545b Message-Id: <20200822215024.892173983056@sourceware.org> Date: Sat, 22 Aug 2020 21:50:24 +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: Sat, 22 Aug 2020 21:50:24 -0000 https://gcc.gnu.org/g:b12153503fd86b4902b0301f87297ba96737545b commit b12153503fd86b4902b0301f87297ba96737545b Author: Thomas Quinot Date: Thu Nov 7 11:31:10 2019 +0100 [Ada] Statement SCO code for degenerate subprograms 2020-06-02 Thomas Quinot gcc/ada/ * par_sco.adb (Traverse_Degenerate_Subprogram): Set statement code to 'X'. * scos.ads: Update comment documenting SCO data. Diff: --- gcc/ada/par_sco.adb | 2 +- gcc/ada/scos.ads | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/gcc/ada/par_sco.adb b/gcc/ada/par_sco.adb index 0fe248cb4df..177c87ff29a 100644 --- a/gcc/ada/par_sco.adb +++ b/gcc/ada/par_sco.adb @@ -1747,7 +1747,7 @@ package body Par_SCO is -- chain. Current_Dominant := No_Dominant; - Extend_Statement_Sequence (N, Typ => ' '); + Extend_Statement_Sequence (N, Typ => 'X'); -- For the case of an expression-function, collect decisions -- embedded in the expression now. diff --git a/gcc/ada/scos.ads b/gcc/ada/scos.ads index 9f5629768a6..1174fb7a63d 100644 --- a/gcc/ada/scos.ads +++ b/gcc/ada/scos.ads @@ -162,6 +162,8 @@ package SCOs is -- R extended RETURN statement -- S SELECT statement -- W WHILE loop statement (from WHILE to end of condition) + -- X body of a degenerate subprogram (null procedure or + -- expression function) -- Note: for I and W, condition above is in the RM syntax sense (this -- condition is a decision in SCO terminology).