diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-11 11:38:07 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-11 11:38:07 +0200 |
| commit | 6b670dcfa7ac055e5ac802aecf3c75dfa8857fbc (patch) | |
| tree | f87a356da552224f45279cec853f82e6f77deec6 /gcc/ada/debug.adb | |
| parent | ac7d724dc0ecc1ea34daae88f41f9b3870cfbc0f (diff) | |
| download | gcc-6b670dcfa7ac055e5ac802aecf3c75dfa8857fbc.tar.gz | |
[multiple changes]
2013-04-11 Johannes Kanig <kanig@adacore.com>
* debug.adb: Remove comment for -gnatd.G.
2013-04-11 Thomas Quinot <quinot@adacore.com>
* exp_ch4.adb (Expand_Record_Equality.Suitable_Element):
Remove recursive routine, replace with...
(Expand_Record_Equality.Element_To_Compare): New subroutine,
implement iterative search for next element to compare.
Add explanatory comment in the tagged case.
From-SVN: r197747
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 bcb6ee3322c..f6f69cb4b2a 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2012, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2013, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -124,7 +124,7 @@ package body Debug is -- d.D Strict Alfa mode -- d.E Force Alfa mode for gnat2why -- d.F Alfa mode - -- d.G Precondition only mode for gnat2why + -- d.G -- d.H Standard package only mode for gnat2why -- d.I SCIL generation mode -- d.J Disable parallel SCIL generation mode |