debug.adb: Introduce debug flag -gnatd.5.

2015-10-26  Arnaud Charlet  <charlet@adacore.com>

	* debug.adb: Introduce debug flag -gnatd.5.

From-SVN: r229349
This commit is contained in:
Arnaud Charlet 2015-10-26 12:00:55 +00:00 committed by Arnaud Charlet
parent 3fee081aa9
commit b30fc1f9d6
2 changed files with 9 additions and 1 deletions

View File

@ -1,3 +1,7 @@
2015-10-26 Arnaud Charlet <charlet@adacore.com>
* debug.adb: Introduce debug flag -gnatd.5.
2015-10-26 Pascal Obry <obry@adacore.com>
* s-os_lib.ads, s-os_lib.adb (Kill): New routine. This routine

View File

@ -159,7 +159,7 @@ package body Debug is
-- d.2 Allow statements in declarative part
-- d.3 Output debugging information from Exp_Unst
-- d.4
-- d.5
-- d.5 Do not generate imported subprogram definitions in C code
-- d.6
-- d.7
-- d.8
@ -762,6 +762,10 @@ package body Debug is
-- d.3 Output debugging information from Exp_Unst, including the name of
-- any unreachable subprograms that get deleted.
-- d.5 By default a subprogram imported generates a subprogram profile.
-- This debug flag disables this generation when generating C code,
-- assuming a proper #include will be used instead.
------------------------------------------
-- Documentation for Binder Debug Flags --
------------------------------------------