diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-01-26 13:49:56 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-01-26 13:49:56 +0000 |
| commit | a34480d83b68142f300347d89d233f971438cf5d (patch) | |
| tree | 1b33af4080c74c8a3723bc10f6095775be68c37a /gcc/ada/scos.ads | |
| parent | dbf923fe73ba5bc0a88ad1b4be42709a71460d19 (diff) | |
| download | gcc-a34480d83b68142f300347d89d233f971438cf5d.tar.gz | |
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*
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@156247 138bc75d-0d04-0410-961f-82ee72b054a4
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 6cc8742f3ab..19804e4567b 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 |