r229246 - in /trunk/gcc/ada: ChangeLog a-exextr...

[charlet@gcc.gnu.org]

Author: charlet
Date: Fri Oct 23 12:40:50 2015
New Revision: 229246

URL: https://gcc.gnu.org/viewcvs?rev=229246&root=gcc&view=rev
Log:
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.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/a-exextr.adb
    trunk/gcc/ada/debug.adb
    trunk/gcc/ada/exp_dbug.adb
    trunk/gcc/ada/exp_dbug.ads
    trunk/gcc/ada/s-exctra.adb
    trunk/gcc/ada/s-exctra.ads
    trunk/gcc/ada/s-stalib.ads