From b0f920c96ac463c9d9195df2f40185535a5b8ec3 Mon Sep 17 00:00:00 2001 From: Thomas Quinot Date: Thu, 7 Nov 2019 11:31:10 +0100 Subject: [PATCH] [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. --- 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). -- 2.30.2