r237514 - in /trunk/gcc/ada: ChangeLog exp_aggr...

[charlet@gcc.gnu.org]

Author: charlet
Date: Thu Jun 16 10:23:06 2016
New Revision: 237514

URL: https://gcc.gnu.org/viewcvs?rev=237514&root=gcc&view=rev
Log:
2016-06-16  Justin Squirek  <squirek@adacore.com>

	* sem_ch3.adb (Analyze_Object_Declaration): Add a missing check
	for optimized aggregate arrays with qualified expressions.
	* exp_aggr.adb (Expand_Array_Aggregate): Fix block and
	conditional statement in charge of deciding whether to perform
	in-place expansion. Specifically, use Parent_Node to jump over
	the qualified expression to the object declaration node. Also,
	a check has been inserted to skip the optimization if SPARK 2005
	is being used in strict adherence to RM 4.3(5).

2016-06-16  Tristan Gingold  <gingold@adacore.com>

	* sem_prag.adb (Analyze_Pragma): Simplify code
	for Pragma_Priority.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/exp_aggr.adb
    trunk/gcc/ada/sem_ch3.adb
    trunk/gcc/ada/sem_prag.adb