From: Thomas Quinot <quinot@adacore.com>
Date: Thu, 7 Nov 2019 10:31:10 +0000 (+0100)
Subject: [Ada] Statement SCO code for degenerate subprograms
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b0f920c96ac463c9d9195df2f40185535a5b8ec3;p=gcc.git

[Ada] Statement SCO code for degenerate subprograms

2020-06-02  Thomas Quinot  <quinot@adacore.com>

gcc/ada/

	* par_sco.adb (Traverse_Degenerate_Subprogram): Set statement
	code to 'X'.
	* scos.ads: Update comment documenting SCO data.
---

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).