r207547 - in /trunk/gcc/ada: ChangeLog casing.a...

[charlet@gcc.gnu.org]

Author: charlet
Date: Thu Feb  6 10:23:17 2014
New Revision: 207547

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

	* casing.adb (Determine_Casing): Consider SPARK_Mode to be
	mixed case.

2014-02-06  Ed Schonberg  <schonberg@adacore.com>

	* exp_ch6.adb (Is_Build_In_Place_Function): Predicate is false
	when the function has a foreign convention, but not if only the
	limited return type has such a convention.

2014-02-06  Hristian Kirtchev  <kirtchev@adacore.com>

	* sem_ch3.adb (Handle_Late_Controlled_Primitive): Remove local
	variable Spec. Comment reformatting. Use Copy_Separate_Tree
	rather than New_Copy_Tree when building the corresponding
	subprogram declaration.

2014-02-06  Hristian Kirtchev  <kirtchev@adacore.com>

	* sem_prag.adb (Analyze_Global_Item): Remove
	the mode-related checks on abstract states with enabled external
	properties.
	(Property_Error): Removed.

2014-02-06  Javier Miranda  <miranda@adacore.com>

	* lib-xref.adb (Generate_Reference): When
	generating the reference to the first private entity take care
	of handling swapped entities.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/casing.adb
    trunk/gcc/ada/exp_ch6.adb
    trunk/gcc/ada/lib-xref.adb
    trunk/gcc/ada/sem_ch3.adb
    trunk/gcc/ada/sem_prag.adb