summaryrefslogtreecommitdiff
path: root/gcc/ada/debug.adb
diff options
context:
space:
mode:
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2015-10-23 12:40:50 +0000
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2015-10-23 12:40:50 +0000
commit8af40d44734ec199add1c7cf58a8b4f6c7daa057 (patch)
treea452c80d9e404fbb92084ad2d5151b3dd861fd1a /gcc/ada/debug.adb
parentd09d8733585c184235fa47bdd5e607e2c40eeb21 (diff)
downloadgcc-8af40d44734ec199add1c7cf58a8b4f6c7daa057.tar.gz
2015-10-23 Hristian Kirtchev <kirtchev@adacore.com>
* debug.adb: Switch -gnatd.5 is no longer in use, remove the associated documentation. * exp_dbug.adb (Get_External_Name): Do not add a special prefix for ignored Ghost entities or when switch -gnatd.5 is enabled. * exp_dbug.ads Remove the documentation concerning the encoding of ignored Ghost entities. 2015-10-23 Bob Duff <duff@adacore.com> * a-exextr.adb (Notify_Exception): For Unhandled_Raise_In_Main, mimic the output from Ada.Exceptions.Last_Chance_Handler; don't print "Exception raised". * s-stalib.ads, s-exctra.ads, s-exctra.adb: Add Unhandled_Raise_In_Main to types Exception_Trace_Kind/Trace_Kind. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@229246 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/debug.adb')
-rw-r--r--gcc/ada/debug.adb8
1 files changed, 1 insertions, 7 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb
index 68cca0c43c1..29872b630a0 100644
--- a/gcc/ada/debug.adb
+++ b/gcc/ada/debug.adb
@@ -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 Generate Ghost external sumbols regardless of Ghost policy
+ -- d.5
-- d.6
-- d.7
-- d.8
@@ -762,12 +762,6 @@ package body Debug is
-- d.3 Output debugging information from Exp_Unst, including the name of
-- any unreachable subprograms that get deleted.
- -- d.5 Generate specialized external symbols for Ghost entities where the
- -- name of the entity is prefixed by "_ghost_" regardless of whether
- -- the Ghost policy is Check or Ignore. WARNING: This switch may cause
- -- linking issues related to Ghost entities declared with Ghost policy
- -- Check.
-
------------------------------------------
-- Documentation for Binder Debug Flags --
------------------------------------------