r235240 - in /trunk/gcc/ada: ChangeLog a-calend...

[charlet@gcc.gnu.org]

Author: charlet
Date: Wed Apr 20 09:04:48 2016
New Revision: 235240

URL: https://gcc.gnu.org/viewcvs?rev=235240&root=gcc&view=rev
Log:
2016-04-20  Gary Dismukes  <dismukes@adacore.com>

	* par_sco.adb, sem_util.adb, sem_ch13.adb: Minor typo corrections and
	reformatting.

2016-04-20  Ed Schonberg  <schonberg@adacore.com>

	* sem_prag.adb (Analyze_Pragma, case Default_Storage_Pool):
	If the pragma comes from an aspect specification, verify that
	the aspect applies to an entity with a declarative part.
	* exp_ch5.adb: Code cleanup.

2016-04-20  Ed Schonberg  <schonberg@adacore.com>

	* sem_res.adb (Resolve_If_Expression): If first expression is
	universal, resolve subsequent ones with the corresponding class
	type (Any_Integer or Any_Real).

2016-04-20  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch5.adb (Analyze_Iterator_Specification): If expansion is
	disabled, complete the analysis of the iterator name to ensure
	that reference for entities within are properly generated.

2016-04-20  Arnaud Charlet  <charlet@adacore.com>

	* a-dispat.ads (Yield): add Global contract.
	* a-calend.ads, a-reatim.ads: Added Initializes => Clock_Time.
	* a-taside.adb: Added Initializes => Tasking_State.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/a-calend.ads
    trunk/gcc/ada/a-dispat.ads
    trunk/gcc/ada/a-reatim.ads
    trunk/gcc/ada/a-taside.ads
    trunk/gcc/ada/exp_ch5.adb
    trunk/gcc/ada/par_sco.adb
    trunk/gcc/ada/sem_ch13.adb
    trunk/gcc/ada/sem_ch5.adb
    trunk/gcc/ada/sem_prag.adb
    trunk/gcc/ada/sem_res.adb
    trunk/gcc/ada/sem_util.adb