diff options
| author | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-11-16 15:49:46 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-11-16 15:49:46 +0000 |
| commit | c82387ccc48a6659b3d4cd206cab30f87894ca0e (patch) | |
| tree | 4c23603da6756bcc8521f9bbefe8bb86d5e8cafe /gcc/ada/debug.adb | |
| parent | a3f9da7084c378dddf7194e3a74208755c8796bd (diff) | |
| download | gcc-c82387ccc48a6659b3d4cd206cab30f87894ca0e.zip gcc-c82387ccc48a6659b3d4cd206cab30f87894ca0e.tar.gz gcc-c82387ccc48a6659b3d4cd206cab30f87894ca0e.tar.bz2 | |
[multiple changes]
2017-11-16 Joel Brobecker <brobecker@adacore.com>
* doc/gnat_ugn/gnat_utility_programs.rst: Document the switches
available in gnatsymbolize.
2017-11-16 Steve Baird <baird@adacore.com>
* debug.adb: Update comment to indicate gnat2scil's use of the -gnatd.7
switch.
From-SVN: r254826
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index 442ce08..75e9591 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -161,7 +161,7 @@ package body Debug is -- d.4 Do not delete generated C file in case of errors -- d.5 Do not generate imported subprogram definitions in C code -- d.6 Do not avoid declaring unreferenced types in C code - -- d.7 + -- d.7 Disable unsound heuristics in gnat2scil (for CP as SPARK prover) -- d.8 -- d.9 Disable build-in-place for nonlimited types |