r178222 - in /trunk/gcc/ada: ChangeLog Makefile...

[charlet@gcc.gnu.org]

Author: charlet
Date: Mon Aug 29 13:21:45 2011
New Revision: 178222

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=178222
Log:
2011-08-29  Yannick Moy  <moy@adacore.com>

	* exp_ch13.adb (Expand_N_Freeze_Entity): Do nothing in Alfa mode.
	* exp_ch9.adb: Do not expand tasking constructs in Alfa mode.
	* gnat1drv.adb (Adjust_Global_Switches): Suppress the expansion of
	tagged types and dispatching calls in Alfa mode.

2011-08-29  Javier Miranda  <miranda@adacore.com>

	* sem_ch3.adb (Process_Discriminants): Add missing check to ensure that
	we do not report an error on an Empty node.

2011-08-29  Geert Bosch  <bosch@adacore.com>

	* Makefile.rtl (GNATRTL_NONTASKING_OBJECTS): Add a-nllrar.o,
	a-nlrear.o and a-nurear.o.

2011-08-29  Robert Dewar  <dewar@adacore.com>

	* freeze.adb: Minor code reorganization.
	Minor reformatting.
	* sem_util.adb, errout.adb, exp_ch11.adb, a-ngrear.adb, s-gearop.adb,
	sem_ch6.adb: Minor reformatting

2011-08-29  Tristan Gingold  <gingold@adacore.com>

	* s-except.ads, s-except.adb: Provide dummy body.

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

	* sem_warn.adb (Within_Postcondition): Take into account the case of
	an Ensures component in a Test_Case.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/Makefile.rtl
    trunk/gcc/ada/a-ngrear.adb
    trunk/gcc/ada/errout.adb
    trunk/gcc/ada/exp_ch11.adb
    trunk/gcc/ada/exp_ch13.adb
    trunk/gcc/ada/exp_ch7.adb
    trunk/gcc/ada/exp_ch9.adb
    trunk/gcc/ada/freeze.adb
    trunk/gcc/ada/gnat1drv.adb
    trunk/gcc/ada/lib-xref.ads
    trunk/gcc/ada/prj-conf.adb
    trunk/gcc/ada/s-except.adb
    trunk/gcc/ada/s-except.ads
    trunk/gcc/ada/s-gearop.adb
    trunk/gcc/ada/sem_ch3.adb
    trunk/gcc/ada/sem_ch6.adb
    trunk/gcc/ada/sem_util.adb
    trunk/gcc/ada/sem_warn.adb