r184341 - in /trunk/gcc/ada: ChangeLog a-cdlili...

[charlet@gcc.gnu.org]

Author: charlet
Date: Fri Feb 17 14:15:46 2012
New Revision: 184341

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=184341
Log:
2012-02-17  Yannick Moy  <moy@adacore.com>

	* gnat_rm.texi: Minor shuffling.

2012-02-17  Ed Schonberg  <schonberg@adacore.com>

	* aspects.adb: Expression functions can carry pre/postconditions.
	* par-ch6.adb (P_Subprogram): look for optional pre/postconditions
	in an expression function.
	* sem_prag (Check_Precondition_Postcondition): legal on expression
	functions.

2012-02-17  Vincent Pucci  <pucci@adacore.com>

	* a-cdlili.adb, a-cidlli.adb, a-cihama.adb, a-cimutr.adb,
	* a-ciorma.adb, a-cohama.adb, a-coinve.adb, a-comutr.adb,
	* a-convec.adb, a-coorma.adb (Adjust): New routine.
	(Constant_Reference): Increment Busy and Lock counters.
	(Reference): Increase Busy and Lock counters.
	(Finalize): New routine.
	* a-cihase.adb, a-ciorse.adb, a-cohase.adb, a-coorse.adb:
	(Adjust): New routine.	(Constant_Reference): Increment Busy
	and Lock counters.
	(Finalize): New routine.
	* a-cdlili.ads, a-cidlli.ads, a-cihama.ads, a-cihase.ads,
	* a-cimutr.ads, a-ciorma.ads, a-ciorse.ads, a-cohama.ads,
	* a-cohase.ads, a-coinve.ads, a-comutr.ads, a-convec.ads,
	* a-coorma.ads, a-coorse: Controlled component added to the
	reference types.

2012-02-17  Robert Dewar  <dewar@adacore.com>

	* restrict.adb (Check_Restriction): Add special handling for
	No_Obsolescent_Features.

2012-02-17  Hristian Kirtchev  <kirtchev@adacore.com>

	* exp_util.adb (Find_Finalize_Address): When dealing with an
	internally built full view for a type with unknown discriminants,
	use the original record type.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/a-cdlili.adb
    trunk/gcc/ada/a-cdlili.ads
    trunk/gcc/ada/a-cidlli.adb
    trunk/gcc/ada/a-cidlli.ads
    trunk/gcc/ada/a-cihama.adb
    trunk/gcc/ada/a-cihama.ads
    trunk/gcc/ada/a-cihase.adb
    trunk/gcc/ada/a-cihase.ads
    trunk/gcc/ada/a-cimutr.adb
    trunk/gcc/ada/a-cimutr.ads
    trunk/gcc/ada/a-ciorma.adb
    trunk/gcc/ada/a-ciorma.ads
    trunk/gcc/ada/a-ciorse.adb
    trunk/gcc/ada/a-ciorse.ads
    trunk/gcc/ada/a-cohama.adb
    trunk/gcc/ada/a-cohama.ads
    trunk/gcc/ada/a-cohase.adb
    trunk/gcc/ada/a-cohase.ads
    trunk/gcc/ada/a-coinve.adb
    trunk/gcc/ada/a-coinve.ads
    trunk/gcc/ada/a-comutr.adb
    trunk/gcc/ada/a-comutr.ads
    trunk/gcc/ada/a-convec.adb
    trunk/gcc/ada/a-convec.ads
    trunk/gcc/ada/a-coorma.adb
    trunk/gcc/ada/a-coorma.ads
    trunk/gcc/ada/a-coorse.adb
    trunk/gcc/ada/a-coorse.ads
    trunk/gcc/ada/aspects.adb
    trunk/gcc/ada/exp_util.adb
    trunk/gcc/ada/gnat_rm.texi
    trunk/gcc/ada/par-ch6.adb
    trunk/gcc/ada/restrict.adb
    trunk/gcc/ada/sem_prag.adb