r235192 - in /trunk/gcc/ada: ChangeLog sem_disp...

[charlet@gcc.gnu.org]

Author: charlet
Date: Tue Apr 19 12:22:12 2016
New Revision: 235192

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

	* sem_res.adb (Resolve_Entry_Call): If the entry has
	preconditions it is rewritten by means of a wrapper that
	incorporates the original call. Before rewriting generate a
	reference to the entry being called to prevent spurious warnings
	and provide correct cross-reference information.

2016-04-19  Hristian Kirtchev  <kirtchev@adacore.com>

	* sem_disp.adb (Check_Dispatching_Context): Code cleanup. Add
	local constant Scop. Ignore any internally generated loops when
	performing the check concerning an abstract subprogram call
	without a controlling argument.
	* sem_util.ads, sem_util.adb (Current_Scope_No_Loops): New routine.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_disp.adb
    trunk/gcc/ada/sem_res.adb
    trunk/gcc/ada/sem_util.adb
    trunk/gcc/ada/sem_util.ads