r244701 - in /trunk/gcc/ada: ChangeLog Makefile...

[charlet@gcc.gnu.org]

Author: charlet
Date: Fri Jan 20 10:42:43 2017
New Revision: 244701

URL: https://gcc.gnu.org/viewcvs?rev=244701&root=gcc&view=rev
Log:
2017-01-20  Javier Miranda  <miranda@adacore.com>

	* sem_ch3.adb (Access_Type_Declaration): Protect access to the
	Entity attribute.
	* sem_ch10.adb (Install_Siblings): Skip processing malformed trees.
	* sem_cat.adb (Validate_Categoriztion_Dependency): Skip processing
	malformed trees.

2017-01-20  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch13.adb (Analyze_Aspect_Specification, case
	Dynamic_Predicate): If the entity E is a subtype that inherits
	a static predicate for its parent P,, the inherited and the
	new predicate combine in the generated predicate function,
	and E only has a dynamic predicate.

2017-01-20  Tristan Gingold  <gingold@adacore.com>

	* s-boustr.ads, s-boustr.adb: New package.
	* Makefile.rtl: Add s-boustr.

2017-01-20  Hristian Kirtchev  <kirtchev@adacore.com>

	* inline.adb (Process_Formals): Qualify the
	expression of a return statement when it yields a universal type.

2017-01-20  Hristian Kirtchev  <kirtchev@adacore.com>

	* freeze.adb (Freeze_All): Freeze the default
	expressions of all eligible formal parameters that appear in
	entries, entry families, and protected subprograms.


Added:
    trunk/gcc/ada/s-boustr.adb
    trunk/gcc/ada/s-boustr.ads
Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/Makefile.rtl
    trunk/gcc/ada/freeze.adb
    trunk/gcc/ada/inline.adb
    trunk/gcc/ada/sem_cat.adb
    trunk/gcc/ada/sem_ch10.adb
    trunk/gcc/ada/sem_ch13.adb
    trunk/gcc/ada/sem_ch3.adb