aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/exp_dbug.adb
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@gcc.gnu.org>2015-10-23 14:40:50 +0200
committerArnaud Charlet <charlet@gcc.gnu.org>2015-10-23 14:40:50 +0200
commitbf8f12c2a6b7c557031b431909fc831a6f6d7763 (patch)
treea452c80d9e404fbb92084ad2d5151b3dd861fd1a /gcc/ada/exp_dbug.adb
parentaf29617a50b430ad3e9f2842fe31335d4488d1d3 (diff)
downloadgcc-bf8f12c2a6b7c557031b431909fc831a6f6d7763.zip
gcc-bf8f12c2a6b7c557031b431909fc831a6f6d7763.tar.gz
gcc-bf8f12c2a6b7c557031b431909fc831a6f6d7763.tar.bz2
[multiple changes]
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. From-SVN: r229246
Diffstat (limited to 'gcc/ada/exp_dbug.adb')
-rw-r--r--gcc/ada/exp_dbug.adb12
1 files changed, 0 insertions, 12 deletions
diff --git a/gcc/ada/exp_dbug.adb b/gcc/ada/exp_dbug.adb
index 37f3920..2c1d518 100644
--- a/gcc/ada/exp_dbug.adb
+++ b/gcc/ada/exp_dbug.adb
@@ -776,18 +776,6 @@ package body Exp_Dbug is
E := Defining_Identifier (Entity);
end if;
- -- Add a special prefix to distinguish ignored Ghost entities. These
- -- entities should not leak in the "living" space and they should be
- -- removed by the compiler in a post-processing pass. The prefix is
- -- also added to any kind of Ghost entity when switch -gnatd.5 is
- -- enabled.
-
- if Is_Ignored_Ghost_Entity (E)
- or else (Debug_Flag_Dot_5 and Is_Ghost_Entity (E))
- then
- Add_Str_To_Name_Buffer ("___ghost_");
- end if;
-
-- Case of interface name being used
if Ekind_In (E, E_Constant,