r188609 - in /trunk/gcc/ada: ChangeLog a-cbhama...

[charlet at gcc dot gnu dot org]

Author: charlet
Date: Thu Jun 14 10:49:59 2012
New Revision: 188609

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=188609
Log:
2012-06-14  Robert Dewar  <dewar@adacore.com>

	* exp_ch7.adb, exp_util.adb, sem_aux.ads, exp_ch9.adb,
	sem_ch10.adb, freeze.adb, sem_util.adb, exp_ch4.adb,
	s-taprop-dummy.adb: Minor reformatting.

2012-06-14  Vincent Pucci  <pucci@adacore.com>

	* exp_attr.adb (Expand_N_Attribute_Reference): Lock_Free
	attribute case added.
	* par-prag.adb (Prag): Lock_Free pragma case added.
	* sem_attr.adb (Analyze_Attribute_Reference): Lock_Free attribute
	case added.
	* sem_ch13.adb (Analyze_Aspect_Specifications): Record_Rep_Item
	call added for Aspect_Lock_Free.
	* sem_ch9.adb (Allows_Lock_Free_Implementation): New Lock_Free
	error messages for subprogram bodies.
	(Lock_Free_Disabled): New routine.
	(Analyze_Protected_Body): Call to Lock_Free_Disabled added.
	* sem_prag.adb (Analyze_Pragma): Lock_Free pragma case added.
	* snames.adb-tmpl (Get_Pragma_Id): Name_Lock_Free case added.
	(Is_Pragma_Name): Name_Lock_Free case added.
	* snames.ads-tmpl: Attribute_Lock_Free and Pragma_Lock_Free added.

2012-06-14  Ed Schonberg  <schonberg@adacore.com>

	* a-coorma.adb, a-cborma.adb, a-cbhama.adb, a-ciorma.adb: Add missing
	aliased keyword.

2012-06-14  Bob Duff  <duff@adacore.com>

	* lib.ads, lib.adb, sem.adb (Write_Unit_Info): Move this
	procedure from Sem body to Lib spec, so it can be used for
	debugging elsewhere.

2012-06-14  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch6.adb (Check_Conformance): Add Ada 2012 check on mode
	conformance: "aliased" must apply to both or neither formal
	parameters.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/a-cbhama.adb
    trunk/gcc/ada/a-cborma.adb
    trunk/gcc/ada/a-ciorma.adb
    trunk/gcc/ada/a-coorma.adb
    trunk/gcc/ada/exp_attr.adb
    trunk/gcc/ada/exp_ch4.adb
    trunk/gcc/ada/exp_ch7.adb
    trunk/gcc/ada/exp_ch9.adb
    trunk/gcc/ada/exp_util.adb
    trunk/gcc/ada/freeze.adb
    trunk/gcc/ada/lib.adb
    trunk/gcc/ada/lib.ads
    trunk/gcc/ada/par-prag.adb
    trunk/gcc/ada/s-taprop-dummy.adb
    trunk/gcc/ada/sem.adb
    trunk/gcc/ada/sem_attr.adb
    trunk/gcc/ada/sem_aux.ads
    trunk/gcc/ada/sem_ch10.adb
    trunk/gcc/ada/sem_ch13.adb
    trunk/gcc/ada/sem_ch6.adb
    trunk/gcc/ada/sem_ch9.adb
    trunk/gcc/ada/sem_prag.adb
    trunk/gcc/ada/sem_util.adb
    trunk/gcc/ada/snames.adb-tmpl
    trunk/gcc/ada/snames.ads-tmpl