[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 0fe248cb4df1df0dcf7fa4c6c56e9b58fbfdadfe..177c87ff29abc3cac9535c44a6480bbde58556c7 100644 (file)
--- 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 9f5629768a6107136a3a9ff6dcd3cf950d7b80c0..1174fb7a63d8acdd7c35d40c7d7f9aeea290a06c 100644 (file)
--- 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).