[gcc(refs/users/guojiufu/heads/personal-branch)] [Ada] Statement SCO code for degenerate subprograms

[gcc(refs/users/guojiufu/heads/personal-branch)] [Ada] Statement SCO code for degenerate subprograms

[Jiu Fu Guo]

https://gcc.gnu.org/g:b0f920c96ac463c9d9195df2f40185535a5b8ec3

commit b0f920c96ac463c9d9195df2f40185535a5b8ec3
Author: Thomas Quinot <quinot@adacore.com>
Date:   Thu Nov 7 11:31:10 2019 +0100

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