r235107 - in /trunk/gcc/ada: ChangeLog exp_util...

[charlet@gcc.gnu.org]

Author: charlet
Date: Mon Apr 18 09:52:22 2016
New Revision: 235107

URL: https://gcc.gnu.org/viewcvs?rev=235107&root=gcc&view=rev
Log:
2016-04-18  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch6.adb (Analyze_Expression_Function): Set Inlined flag
	on the entity of a subprogram declaration that is completed by
	an expression function.

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

	* sem_util.adb (Is_Current_Instance): A entity given by a subtype
	declaration can appear in an aspect specification for a dynamic
	predicate, and a pragma for aspect Predicate_Failure.
	* exp_util.adb (Replace_Subtype_References): Replace current
	occurrences of the subtype to which a dynamic predicate applies,
	byt the expression that triggers a predicate check. Needed to
	implement new aspect Predicate_Failure.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/exp_util.adb
    trunk/gcc/ada/sem_ch6.adb
    trunk/gcc/ada/sem_util.adb