r177382 - in /trunk/gcc/ada: ChangeLog exp_prag...

[charlet@gcc.gnu.org]

Author: charlet
Date: Thu Aug  4 13:26:25 2011
New Revision: 177382

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=177382
Log:
2011-08-04  Sergey Rybin  <rybin@adacore.com>

	* gnat_ugn.texi: Update doc on gnatcheck.

2011-08-04  Yannick Moy  <moy@adacore.com>

	* lib-xref-alfa.adb (Add_ALFA_Xrefs): correct definition of ranges of
	xrefs in a scope.

2011-08-04  Yannick Moy  <moy@adacore.com>

	* exp_prag.adb (Expand_Pragma_Check): in ALFA mode, return without
	performing expansion.
	* sem_ch6.adb (Analyze_Subprogram_Body_Helper,
	Analyze_Generic_Subprogram_Body): protect call to Process_PCCs so that
	it is not called in ALFA mode.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/exp_prag.adb
    trunk/gcc/ada/gnat_ugn.texi
    trunk/gcc/ada/lib-xref-alfa.adb
    trunk/gcc/ada/sem_ch6.adb