diff options
| author | Thomas Quinot <quinot@adacore.com> | 2019-11-07 11:31:10 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-02 04:58:16 -0400 |
| commit | b0f920c96ac463c9d9195df2f40185535a5b8ec3 (patch) | |
| tree | ec821cfb2843eaa93bf807f9a0a8b0cb69c8cf1a | |
| parent | d7f696a040a0fd85ea58399836a77f903d6bf039 (diff) | |
| download | gcc-b0f920c96ac463c9d9195df2f40185535a5b8ec3.zip gcc-b0f920c96ac463c9d9195df2f40185535a5b8ec3.tar.gz gcc-b0f920c96ac463c9d9195df2f40185535a5b8ec3.tar.bz2 | |
[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.
| -rw-r--r-- | gcc/ada/par_sco.adb | 2 | ||||
| -rw-r--r-- | gcc/ada/scos.ads | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/par_sco.adb b/gcc/ada/par_sco.adb index 0fe248c..177c87f 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 9f56297..1174fb7 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). |