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

[charlet@gcc.gnu.org]

Author: charlet
Date: Wed Jun 22 10:35:28 2016
New Revision: 237691

URL: https://gcc.gnu.org/viewcvs?rev=237691&root=gcc&view=rev
Log:
2016-06-22  Hristian Kirtchev  <kirtchev@adacore.com>

	* lib-xref-spark_specific.adb, checks.adb, sem_ch13.adb: Minor
	reformatting.
	* exp_ch7.adb: Minor typo fix.
	* lib.ads (Get_Top_Level_Code_Unit): Add comment.

2016-06-22  Bob Duff  <duff@adacore.com>

	* s-tassta.adb (Task_Wrapper): Fix handling of Fall_Back_Handler
	wrt independent tasks.

2016-06-22  Ed Schonberg  <schonberg@adacore.com>

	* sem_dim.adb (Analyze_Dimension): Propagate dimension for
	explicit_dereference nodes when they do not come from source,
	to handle correctly dimensional analysis on iterators over
	containers whose elements have declared dimensions.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/checks.adb
    trunk/gcc/ada/exp_ch7.adb
    trunk/gcc/ada/lib-xref-spark_specific.adb
    trunk/gcc/ada/lib.ads
    trunk/gcc/ada/s-tassta.adb
    trunk/gcc/ada/sem_ch13.adb
    trunk/gcc/ada/sem_dim.adb