diff options
| author | Robert Dewar <dewar@adacore.com> | 2010-01-26 10:55:29 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-01-26 11:55:29 +0100 |
| commit | ec80da28b6bb82771044cf4c1120d24d30902873 (patch) | |
| tree | 59379fcad2fca9a4afe77d876a200d2f8c352fae /gcc/ada/scos.ads | |
| parent | 9dbf1c3e7f70bf9ecdf8a61340c9f76ff04251d3 (diff) | |
| download | gcc-ec80da28b6bb82771044cf4c1120d24d30902873.zip gcc-ec80da28b6bb82771044cf4c1120d24d30902873.tar.gz gcc-ec80da28b6bb82771044cf4c1120d24d30902873.tar.bz2 | |
get_scos.adb (Get_SCOs): Implement new form of CS entries (multiple entries per line...
2010-01-26 Robert Dewar <dewar@adacore.com>
* get_scos.adb (Get_SCOs): Implement new form of CS entries (multiple
entries per line, one for each statement in the sequence).
* par_sco.adb (Traverse_Declarations_Or_Statements): Increase array
size from 100 to 10_000 for SC_Array to avoid any real possibility of
overflow. Output decisions in for loops.
Exclude labels from CS lines.
* scos.ads: Clarify that label is not included in the entry point
From-SVN: r156243
Diffstat (limited to 'gcc/ada/scos.ads')
| -rw-r--r-- | gcc/ada/scos.ads | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/scos.ads b/gcc/ada/scos.ads index e9c1d15..b8dd08d 100644 --- a/gcc/ada/scos.ads +++ b/gcc/ada/scos.ads @@ -127,7 +127,8 @@ package SCOs is -- body or block statement that has a non-empty declarative part -- the first statement after a compound statement -- the first statement after an EXIT, RAISE or GOTO statement - -- any statement with a label + -- any statement with a label (the label itself is not part of the + -- entry point that is recorded). -- Each entry point must appear as the first entry on a CS line. -- The idea is that if any simple statement on a CS line is known to have |