diff options
| author | Javier Miranda <miranda@adacore.com> | 2017-01-23 13:34:31 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-23 14:34:31 +0100 |
| commit | b4fad9fa0e762c8e79c8d93fedcb3c929a29f4ee (patch) | |
| tree | 009925b6d917321a7009e702bcf3b6c9a0c6ee73 /gcc/tree-ssa-loop-split.c | |
| parent | d268147dea8efee7a66e409e7cba492ab4679f29 (diff) | |
| download | gcc-b4fad9fa0e762c8e79c8d93fedcb3c929a29f4ee.zip gcc-b4fad9fa0e762c8e79c8d93fedcb3c929a29f4ee.tar.gz gcc-b4fad9fa0e762c8e79c8d93fedcb3c929a29f4ee.tar.bz2 | |
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
Diffstat (limited to 'gcc/tree-ssa-loop-split.c')
0 files changed, 0 insertions, 0 deletions