OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] Remove use of debug flag -gnatdF for GNATprove

Browse Source 
gcc/ada/

	* debug.adb: Update comments to free usage of -gnatdF.
This commit is contained in:
Yannick Moy 2020-05-26 10:15:18 +02:00 committed by Pierre-Marie de Rodat
parent a9d72b1bcf
commit c24633fbbb
1 changed files with 1 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
gcc/ada/debug.adb
View File

@ -69,7 +69,7 @@ package body Debug is
-- dC Output debugging information on check suppression
-- dD Delete elaboration checks in inner level routines
-- dE Apply elaboration checks to predefined units
-- dF Perform the new SPARK checking rules for pointer aliasing
-- dF
-- dG Generate all warnings including those normally suppressed
-- dH Hold (kill) call to gigi
-- dI Inhibit internal name numbering in gnatG listing
@ -602,12 +602,6 @@ package body Debug is
-- dE Apply compile time elaboration checking for with relations between
-- predefined units. Normally no checks are made.
-- dF Disable the new SPARK checking rules for pointer aliasing. This is
-- only activated as part of GNATprove mode and on SPARK code. Now
-- that pointer support is part of the official SPARK language, this
-- switch allows reverting to the previous version of GNATprove
-- rejecting pointers.
-- dG Generate all warnings. Normally Errout suppresses warnings on
-- units that are not part of the main extended source, and also
-- suppresses warnings on instantiations in the main extended