diff options
| author | Robert Dewar <dewar@adacore.com> | 2010-01-26 10:30:04 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-01-26 11:30:04 +0100 |
| commit | 9dbf1c3e7f70bf9ecdf8a61340c9f76ff04251d3 (patch) | |
| tree | 963edbdd97ee79d244b828be3c7396e9fe24f6ed /gcc/ada/scos.ads | |
| parent | 7ef50d41f3c2f5d1c4e28e4e296536aca9486888 (diff) | |
| download | gcc-9dbf1c3e7f70bf9ecdf8a61340c9f76ff04251d3.zip gcc-9dbf1c3e7f70bf9ecdf8a61340c9f76ff04251d3.tar.gz gcc-9dbf1c3e7f70bf9ecdf8a61340c9f76ff04251d3.tar.bz2 | |
par_sco.adb (Traverse_Declarations_Or_Statments): Implement new format of statement sequence SCO entries (one location/statement).
2010-01-26 Robert Dewar <dewar@adacore.com>
* par_sco.adb (Traverse_Declarations_Or_Statments): Implement new
format of statement sequence SCO entries (one location/statement).
* put_scos.adb (Put_SCOs): Implement new format of CS lines
* scos.ads: Update comments.
* sem_eval.adb: Minor reformatting.
From-SVN: r156242
Diffstat (limited to 'gcc/ada/scos.ads')
| -rw-r--r-- | gcc/ada/scos.ads | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/gcc/ada/scos.ads b/gcc/ada/scos.ads index b1a61b2..e9c1d15 100644 --- a/gcc/ada/scos.ads +++ b/gcc/ada/scos.ads @@ -48,10 +48,6 @@ package SCOs is -- Put_SCO reads the internal tables and generates text lines in the ALI -- format. - -- ??? The specification below for the SCO ALI format and the internal - -- data structures have been modified, but the implementation has not been - -- updated yet to reflect these specification changes. - -------------------- -- SCO ALI Format -- -------------------- @@ -150,8 +146,10 @@ package SCOs is -- o object declaration -- r renaming declaration -- i generic instantiation - -- C CASE statement - -- F FOR loop statement + -- C CASE statement (includes only the expression) + -- F FOR/WHILE loop statement (includes only the iteration scheme) + -- I IF statement (includes only the condition [in the RM sense, which + -- is a decision in the SCO sense]) -- P PRAGMA -- R extended RETURN statement @@ -279,9 +277,9 @@ package SCOs is -- Statements -- C1 = 'S' for entry point, 's' otherwise - -- C2 = 't', 's', 'o', 'r', 'i', 'C', 'F', 'P', 'R', ' ' + -- C2 = 't', 's', 'o', 'r', 'i', 'C', 'F', 'I', 'P', 'R', ' ' -- (type/subtype/object/renaming/instantiation/ - -- CASE/FOR/PRAGMA/RETURN/other) + -- CASE/FOR or WHILE/IF/PRAGMA/RETURN/other) -- From = starting source location -- To = ending source location -- Last = False for all but the last entry, True for last entry @@ -316,7 +314,7 @@ package SCOs is -- Note: the sequence starting with a decision, and continuing with -- operators and elements up to and including the first one labeled with - -- Last=True, indicate the sequence to be output for a complex decision + -- Last = True, indicate the sequence to be output for a complex decision -- on a single CD decision line. ---------------- |