diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-06-14 15:46:36 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-06-14 15:46:36 +0200 |
commit | 51bf9bdffff02529ce6331fda689e0d2fde3100f (patch) | |
tree | a0283a841af37f2fc802a622bdd4010911b38019 /gcc/ada/debug.adb | |
parent | ae24748803fb1d0de3fd2f3c2f0f8363dc14417f (diff) | |
download | gcc-51bf9bdffff02529ce6331fda689e0d2fde3100f.zip gcc-51bf9bdffff02529ce6331fda689e0d2fde3100f.tar.gz gcc-51bf9bdffff02529ce6331fda689e0d2fde3100f.tar.bz2 |
[multiple changes]
2010-06-14 Robert Dewar <dewar@adacore.com>
* opt.ads (Check_Policy_List): Add some clarifying comments
* sem_prag.adb (Analyze_Pragma, case Check): Set Pragma_Enabled flag
on rewritten Assert pragma.
2010-06-14 Gary Dismukes <dismukes@adacore.com>
* sem_ch6.adb (Check_Overriding_Indicator): Add a special check for
controlled operations, so that they will be treated as overriding even
if the overridden subprogram is marked Is_Hidden, as long as the
overridden subprogram's parent subprogram is not hidden.
2010-06-14 Robert Dewar <dewar@adacore.com>
* debug.adb: Entry for gnatw.d no longer specific for while loops
* einfo.adb (First_Exit_Statement): New attribute for E_Loop
* einfo.ads (First_Exit_Statement): New attribute for E_Loop
* sem_ch5.adb (Analyze_Loop_Statement): Check_Infinite_Loop_Warning has
new calling sequence to include test for EXIT WHEN.
(Analyze_Exit_Statement): Chain EXIT statement into exit statement chain
* sem_warn.ads, sem_warn.adb (Check_Infinite_Loop_Warning): Now handles
EXIT WHEN case.
* sinfo.adb (Next_Exit_Statement): New attribute of N_Exit_Statement
node.
* sinfo.ads (N_Pragma): Correct comment on Sloc field (points to
PRAGMA, not to pragma identifier).
(Next_Exit_Statement): New attribute of N_Exit_Statement node
2010-06-14 Robert Dewar <dewar@adacore.com>
* sem_res.adb (Resolve_Short_Circuit): Fix sloc of "assertion/check
would fail" msg.
2010-06-14 Robert Dewar <dewar@adacore.com>
* par-ch2.adb (Scan_Pragma_Argument_Association): Clarify message for
missing pragma argument identifier.
2010-06-14 Robert Dewar <dewar@adacore.com>
* atree.ads, atree.adb (Ekind_In): New functions
2010-06-14 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb (Expand_N_Op_Expon): Optimize 2**N in stand alone context
2010-06-14 Robert Dewar <dewar@adacore.com>
* usage.adb (Usage): Redo documentation of -gnatwa.
From-SVN: r160743
Diffstat (limited to 'gcc/ada/debug.adb')
-rw-r--r-- | gcc/ada/debug.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index ca207b2..8f08dcc 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -113,7 +113,7 @@ package body Debug is -- d.t Disable static allocation of library level dispatch tables -- d.u -- d.v Enable OK_To_Reorder_Components in variant records - -- d.w Do not check for infinite while loops + -- d.w Do not check for infinite loops -- d.x No exception handlers -- d.y -- d.z @@ -548,7 +548,7 @@ package body Debug is -- d.v Forces the flag OK_To_Reorder_Components to be set in all record -- base types that have at least one discriminant (v = variant). - -- d.w This flag turns off the scanning of while loops to detect possible + -- d.w This flag turns off the scanning of loops to detect possible -- infinite loops. -- d.x No exception handlers in generated code. This causes exception |