projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 294e16b) | patch
[Ada] GNATprove: remove support for external axiomatizations
authorJohannes Kanig <kanig@adacore.com>
Mon, 17 Aug 2020 00:41:10 +0000 (09:41 +0900)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 23 Oct 2020 08:24:55 +0000 (04:24 -0400)
commit955886d1a2c75d16b41df1c97d04387bd7436dab
treee1523580cbe7a1b38d6de0e54dec69b7b6c34ffftree
parent294e16b4e7ef586619b92bf0f109448e7de31c6ecommit | diff
[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.
gcc/ada/einfo.ads diff | blob | history
gcc/ada/exp_util.adb diff | blob | history
gcc/ada/exp_util.ads diff | blob | history
gcc/ada/sem_ch8.adb diff | blob | history