From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2066) id 14582388C011; Wed, 10 Jun 2020 03:25:24 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 14582388C011 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1591759524; bh=AV0P0Me8G/9Zvhpbc7+ukdvmtVURP5vsk5Pexdypi6M=; h=From:To:Subject:Date:From; b=bayFZJWPlPLy1ug114m//zdWsmCzBYWSJlpPINgB6WYQizO0P0Do4GBAFPBUrwq4R a/u5SsuZ1YPJZ8HTcO7yJef2xGFfeErqFubcUB2YN9XWBUY7+zRjz6FDX8TTBNOWHI rJCTfGLKUroQWUEz2+TYGiqUHJW7d4gsFdiAMhFY= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Jiu Fu Guo To: gcc-cvs@gcc.gnu.org Subject: [gcc(refs/users/guojiufu/heads/personal-branch)] [Ada] Statement SCO code for degenerate subprograms X-Act-Checkin: gcc X-Git-Author: Thomas Quinot X-Git-Refname: refs/users/guojiufu/heads/personal-branch X-Git-Oldrev: d7f696a040a0fd85ea58399836a77f903d6bf039 X-Git-Newrev: b0f920c96ac463c9d9195df2f40185535a5b8ec3 Message-Id: <20200610032524.14582388C011@sourceware.org> Date: Wed, 10 Jun 2020 03:25: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: Wed, 10 Jun 2020 03:25:24 -0000 https://gcc.gnu.org/g:b0f920c96ac463c9d9195df2f40185535a5b8ec3 commit b0f920c96ac463c9d9195df2f40185535a5b8ec3 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).