r193215 - in /trunk/gcc/ada: ChangeLog exp_ch9....

[charlet@gcc.gnu.org]

Author: charlet
Date: Tue Nov  6 09:49:23 2012
New Revision: 193215

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=193215
Log:
2012-11-06  Robert Dewar  <dewar@adacore.com>

	* exp_prag.adb, impunit.adb, exp_ch9.adb, par-ch4.adb,
	s-tarest.adb: Minor reformatting.

2012-11-06  Tristan Gingold  <gingold@adacore.com>

	* s-tposen.ads: Minor comment update.

2012-11-06  Arnaud Charlet  <charlet@adacore.com>

	* sysdep.c: Rename sig* wrappers to use unique names.

2012-11-06  Yannick Moy  <moy@adacore.com>

	* exp_dbug.adb (Qualify_Entity_Name): Mark entity as having a qualified
	name after being treated, in formal verification mode.

2012-11-06  Fedor Rybin  <frybin@adacore.com>

	* gnat_ugn.texi: Updating gnattest section to reflect changes
	in default behaviour of the tool.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/exp_ch9.adb
    trunk/gcc/ada/exp_dbug.adb
    trunk/gcc/ada/exp_prag.adb
    trunk/gcc/ada/gnat_ugn.texi
    trunk/gcc/ada/impunit.adb
    trunk/gcc/ada/par-ch4.adb
    trunk/gcc/ada/s-tarest.adb
    trunk/gcc/ada/s-tposen.ads
    trunk/gcc/ada/sysdep.c