diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-01-06 10:51:49 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-01-06 10:51:49 +0100 |
| commit | a1954e97e7e41395c48e6913b5902b466bac83b6 (patch) | |
| tree | 3eab0c15981fd73cb0504bc94072b50b34622bb7 /gcc/ada/sem_ch8.adb | |
| parent | f72a845b320bd21a92d237c4dc0ee6d7d142e910 (diff) | |
| download | gcc-a1954e97e7e41395c48e6913b5902b466bac83b6.zip gcc-a1954e97e7e41395c48e6913b5902b466bac83b6.tar.gz gcc-a1954e97e7e41395c48e6913b5902b466bac83b6.tar.bz2 | |
[multiple changes]
2015-01-06 Ed Schonberg <schonberg@adacore.com>
* sem_ch8.adb: Code clean up.
2015-01-06 Tristan Gingold <gingold@adacore.com>
* targparm.ads: Remove obsolete comment.
From-SVN: r219240
Diffstat (limited to 'gcc/ada/sem_ch8.adb')
| -rw-r--r-- | gcc/ada/sem_ch8.adb | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb index 84c5ae5..9218e8a 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 |