diff options
| author | Johannes Kanig <kanig@adacore.com> | 2020-08-17 09:41:10 +0900 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-23 04:24:55 -0400 |
| commit | 955886d1a2c75d16b41df1c97d04387bd7436dab (patch) | |
| tree | e1523580cbe7a1b38d6de0e54dec69b7b6c34fff /gcc/tree-inline.c | |
| parent | 294e16b4e7ef586619b92bf0f109448e7de31c6e (diff) | |
| download | gcc-955886d1a2c75d16b41df1c97d04387bd7436dab.zip gcc-955886d1a2c75d16b41df1c97d04387bd7436dab.tar.gz gcc-955886d1a2c75d16b41df1c97d04387bd7436dab.tar.bz2 | |
[Ada] GNATprove: remove support for external axiomatizations
gcc/ada/
* exp_util.adb, exp_util.ads
(Containing_Package_With_Ext_Axioms,
Has_Annotate_Pragma_For_External_Axiomatizations): Removed.
* sem_ch8.adb (Analyze_Subprogram_Renaming): Removed code
related to external axiomatizations.
* einfo.ads
(Is_Generic_Actual_Subprogram): Removed comment about external
axiomatization.
Diffstat (limited to 'gcc/tree-inline.c')
0 files changed, 0 insertions, 0 deletions