r213170 - in /trunk/gcc/ada: ChangeLog checks.a...

[charlet@gcc.gnu.org]

Author: charlet
Date: Tue Jul 29 13:22:51 2014
New Revision: 213170

URL: https://gcc.gnu.org/viewcvs?rev=213170&root=gcc&view=rev
Log:
2014-07-29  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch4.adb (Complete_Object_Operation): If the type of the
	candidate subprogram is a limited view, use non-limited view
	when available.

2014-07-29  Robert Dewar  <dewar@adacore.com>

	* sem_ch13.adb: Minor change in RM reference.
	* sem_mech.ads: Minor reformatting.
	* einfo.ads: Minor comment fix.
	* types.ads: Minor correction to range given for Mechanism_Type.
	* exp_ch6.adb (Add_Invariant_And_Predicate_Checks): Do not
	check predicate on way out for OUT or IN OUT parameters.
	* par-ch3.adb (P_Constraint_Opt): Handle missing RANGE keyword
	better (P_Range_Constraint): Corresponding fix.
	* checks.ads: Minor comment clarification.

2014-07-29  Gary Dismukes  <dismukes@adacore.com>

	* sem_ch8.adb (Analyze_Object_Renaming): Set the Is_Volatile
	and Treat_As_Volatile flags based on whether the renamed object
	is a volatile object.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/checks.ads
    trunk/gcc/ada/einfo.ads
    trunk/gcc/ada/exp_ch6.adb
    trunk/gcc/ada/par-ch3.adb
    trunk/gcc/ada/sem_ch13.adb
    trunk/gcc/ada/sem_ch4.adb
    trunk/gcc/ada/sem_ch8.adb
    trunk/gcc/ada/sem_mech.ads
    trunk/gcc/ada/types.ads