From bd6200734528e9cdce861bd3bdf82831e26306e0 Mon Sep 17 00:00:00 2001 From: charlet Date: Tue, 26 Jan 2010 10:55:29 +0000 Subject: 2010-01-26 Robert Dewar * 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 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@156243 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/scos.ads | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'gcc/ada/scos.ads') diff --git a/gcc/ada/scos.ads b/gcc/ada/scos.ads index e9c1d159215..b8dd08d0350 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 -- cgit v1.2.1