From a1954e97e7e41395c48e6913b5902b466bac83b6 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Tue, 6 Jan 2015 10:51:49 +0100 Subject: [PATCH] [multiple changes] 2015-01-06 Ed Schonberg * sem_ch8.adb: Code clean up. 2015-01-06 Tristan Gingold * targparm.ads: Remove obsolete comment. From-SVN: r219240 --- gcc/ada/ChangeLog | 8 ++++++++ gcc/ada/sem_ch8.adb | 5 +++-- gcc/ada/targparm.ads | 2 -- 3 files changed, 11 insertions(+), 4 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index c6159e6b501..1950ea8abeb 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,11 @@ +2015-01-06 Ed Schonberg + + * sem_ch8.adb: Code clean up. + +2015-01-06 Tristan Gingold + + * targparm.ads: Remove obsolete comment. + 2015-01-06 Olivier Hainque * gcc-interface/decl.c (gnat_to_gnu_entity, case E_Variable): When diff --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb index 84c5ae553df..9218e8ae804 100644 --- a/gcc/ada/sem_ch8.adb +++ b/gcc/ada/sem_ch8.adb @@ -3454,11 +3454,12 @@ package body Sem_Ch8 is -- In GNATprove mode, the renamings of actual subprograms are replaced -- with wrapper functions that make it easier to propagate axioms to the - -- points of call within an instance. + -- points of call within an instance. Wrappers are generated if formal + -- subprogram is subject to axiomatization. if Is_Actual and then GNATprove_Mode - and then Present (Containing_Package_With_Ext_Axioms (Old_S)) + and then Present (Containing_Package_With_Ext_Axioms (Formal_Spec)) and then not Inside_A_Generic then if Ekind (Old_S) = E_Function then diff --git a/gcc/ada/targparm.ads b/gcc/ada/targparm.ads index b7d40c67498..efb6e028b2d 100644 --- a/gcc/ada/targparm.ads +++ b/gcc/ada/targparm.ads @@ -349,8 +349,6 @@ package Targparm is -- The calls to __gnat_initialize and __gnat_finalize are omitted -- -- All finalization and initialization (controlled types) is omitted - -- - -- The routine __gnat_handler_installed is not imported Preallocated_Stacks_On_Target : Boolean := False; -- If this flag is True, then the expander preallocates all task stacks -- 2.30.2