diff options
| author | Claire Dross <dross@adacore.com> | 2018-05-28 08:55:22 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-05-28 08:55:22 +0000 |
| commit | cc821e65107ed263200b8ee6650f0704311757c9 (patch) | |
| tree | a3b6be08e21ad2f86a871fb31fa40522371ab122 /gcc/tree-vect-generic.c | |
| parent | 0c386027b7d086f4d8e0b7f5a3778db1d08e6a29 (diff) | |
| download | gcc-cc821e65107ed263200b8ee6650f0704311757c9.zip gcc-cc821e65107ed263200b8ee6650f0704311757c9.tar.gz gcc-cc821e65107ed263200b8ee6650f0704311757c9.tar.bz2 | |
[Ada] Allow for GNATprove specific versions of routines from Sem_Disp
2018-05-28 Claire Dross <dross@adacore.com>
gcc/ada/
* sem_disp.ads, sem_disp.adb (Inheritance_Utilities): Package for
generic inheritance utilities.
(Generic_Inherited_Subprograms): Generic version of
Inherited_Subprograms, generic in Find_Dispatching_Type function.
(Generic_Is_Overriding_Subprogram): Generic version of
Is_Overriding_Subprogram, generic in Find_Dispatching_Type function.
(Inherited_Subprograms): Instance of Generic_Inherited_Subprograms with
Sem_Disp.Find_Dispatching_Type.
(Is_Overriding_Subprogram): Instance of
Generic_Is_Overriding_Subprogram with Sem_Disp.Find_Dispatching_Type.
(Inheritance_Utilities_Inst): Instance of Inheritance_Utilities
with Sem_Disp.Find_Dispatching_Type.
From-SVN: r260835
Diffstat (limited to 'gcc/tree-vect-generic.c')
0 files changed, 0 insertions, 0 deletions