r194207 - in /trunk/gcc/ada: ChangeLog aspects....

[charlet@gcc.gnu.org]

Author: charlet
Date: Wed Dec  5 11:06:35 2012
New Revision: 194207

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

	* urealp.ads: Minor rewording.

2012-12-05  Yannick Moy  <moy@adacore.com>

	* aspects.ads (No_Duplicates_Allowed): Forbid use of duplicate
	Contract_Cases aspects.
	* sem_prag.adb (Analyze_Pragma/Pragma_Contract_Case): Rename
	POST_CASE into CONTRACT_CASE in both grammar and code, to be
	consistent with current language definition.  Issue a more precise
	error message when the pragma duplicates another pragma or aspect.

2012-12-05  Hristian Kirtchev  <kirtchev@adacore.com>

	* exp_attr.adb (Expand_N_Attribute_Reference): Add processing
	for attribute Update.
	(Expand_Update_Attribute): New routine.
	* par-ch4.adb (P_Name): The sole expression of attribute Update
	is an aggregate, parse it accordingly.
	* sem_attr.adb (Analyze_Attribute): Verify the legality of
	attribute Update.
	(Eval_Attribute): Attribute Update does not
	need evaluation because it is never static.
	* snames.ads-tmpl: Add Name_Update to the list of special names
	recognized by the compiler. Add an Attribute_Id for Update.

2012-12-05  Ed Schonberg  <schonberg@adacore.com>

	* exp_util.adb (Remove_Side_Effects): For purposes of removing
	side effects, qualified expressions do not receive a special
	treatment, even though in Ada 2012 they are defined  as object
	references.

2012-12-05  Thomas Quinot  <quinot@adacore.com>

	* par-ch3.adb: Minor reformatting.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/aspects.ads
    trunk/gcc/ada/exp_attr.adb
    trunk/gcc/ada/exp_util.adb
    trunk/gcc/ada/par-ch3.adb
    trunk/gcc/ada/par-ch4.adb
    trunk/gcc/ada/sem_attr.adb
    trunk/gcc/ada/sem_prag.adb
    trunk/gcc/ada/snames.ads-tmpl
    trunk/gcc/ada/urealp.ads