sem_util.adb (New_Copy_Tree): Code cleanup: removal of the internal map (ie.
authorJavier Miranda <miranda@adacore.com>
Mon, 23 Jan 2017 13:34:31 +0000 (13:34 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 23 Jan 2017 13:34:31 +0000 (14:34 +0100)
commitb4fad9fa0e762c8e79c8d93fedcb3c929a29f4ee
tree009925b6d917321a7009e702bcf3b6c9a0c6ee73
parentd268147dea8efee7a66e409e7cba492ab4679f29
sem_util.adb (New_Copy_Tree): Code cleanup: removal of the internal map (ie.

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.

From-SVN: r244810
gcc/ada/ChangeLog
gcc/ada/frontend.adb
gcc/ada/sem_ch10.adb
gcc/ada/sem_ch9.adb
gcc/ada/sem_util.adb