r244810 - in /trunk/gcc/ada: ChangeLog frontend...

[charlet@gcc.gnu.org]

Author: charlet
Date: Mon Jan 23 13:34:31 2017
New Revision: 244810

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

	* sem_util.adb (New_Copy_Tree): Code cleanup:
	removal of the internal map (ie. variable Actual_Map, its
	associated local variables, and all the code handling it).
	* sem_ch9.adb (Analyze_Task_Type_Declaration): in GNATprove mode
	force loading of the System package when processing a task type.
	(Analyze_Protected_Type_Declaration): in GNATprove mode force
	loading of the System package when processing a protected type.
	* sem_ch10.adb (Analyze_Compilation_Unit): in GNATprove mode
	force loading of the System package when processing compilation
	unit with a main-like subprogram.
	* frontend.adb (Frontend): remove forced loading of the System
	package.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/frontend.adb
    trunk/gcc/ada/sem_ch10.adb
    trunk/gcc/ada/sem_ch9.adb
    trunk/gcc/ada/sem_util.adb