diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-01-26 14:49:56 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-01-26 14:49:56 +0100 |
| commit | 65564d08a267dbc7f56c069161b7cd44ffe84164 (patch) | |
| tree | 1b33af4080c74c8a3723bc10f6095775be68c37a /gcc/ada/scos.ads | |
| parent | 2b054f631a94b4af133e564f9995473aaabd4911 (diff) | |
| download | gcc-65564d08a267dbc7f56c069161b7cd44ffe84164.zip gcc-65564d08a267dbc7f56c069161b7cd44ffe84164.tar.gz gcc-65564d08a267dbc7f56c069161b7cd44ffe84164.tar.bz2 | |
[multiple changes]
2010-01-26 Robert Dewar <dewar@adacore.com>
* par_sco.adb (Traverse_Declarations_Or_Statements): Only generate
decisions for pragmas Assert, Check, Precondition, Postcondition if
-gnata set.
* scos.ads: Update comments.
* get_scos.adb, put_scos.adb: Minor fix to code reading statement SCOs.
Also remove obsolete code for CT (exit point) SCOs.
2010-01-26 Thomas Quinot <quinot@adacore.com>
* switch-c.adb: Fix handling of -gnatz*
From-SVN: r156247
Diffstat (limited to 'gcc/ada/scos.ads')
| -rw-r--r-- | gcc/ada/scos.ads | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/gcc/ada/scos.ads b/gcc/ada/scos.ads index 6cc8742..19804e4 100644 --- a/gcc/ada/scos.ads +++ b/gcc/ada/scos.ads @@ -281,10 +281,7 @@ package SCOs is -- Statements -- C1 = 'S' for entry point, 's' otherwise - -- C2 = 't', 's', 'o', 'r', 'i', - -- 'C', 'E', 'F', 'I', 'P', 'R', 'W', ' ' - -- (type/subtype/object/renaming/instantiation/ - -- CASE/EXIT/FOR/IF/PRAGMA/RETURN/WHILE/other) + -- C2 = statement type code to appear on CS line (or ' ' if none) -- From = starting source location -- To = ending source location -- Last = False for all but the last entry, True for last entry @@ -296,7 +293,7 @@ package SCOs is -- statements on a single CS line. -- Decision - -- C1 = 'I', 'E', 'P', 'W', 'X' (if/exit/pragma/while/expression) + -- C1 = decision type code -- C2 = ' ' -- From = location of IF/EXIT/PRAGMA/WHILE token, -- No_Source_Location for X |