r192940 - in /trunk/gcc/ada: ChangeLog exp_alfa...

[charlet@gcc.gnu.org]

Author: charlet
Date: Mon Oct 29 11:42:17 2012
New Revision: 192940

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=192940
Log:
2012-10-29  Thomas Quinot  <quinot@adacore.com>

	* xoscons.adb: Minor reformatting.

2012-10-29  Yannick Moy  <moy@adacore.com>

	* exp_alfa.adb (Expand_Alfa): Backtrack change that removed
	qualification of names in formal verification mode. Instead,
	the qualification should be modified.
	* exp_dbug.adb (Qualify_Entity_Name): Modify qualification in formal
	verification mode, so that only a suffix is added to distinguish
	homonyms from the same scope.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/exp_alfa.adb
    trunk/gcc/ada/exp_dbug.adb
    trunk/gcc/ada/xoscons.adb