diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2019-07-09 07:54:55 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-09 07:54:55 +0000 |
| commit | 727e4d37be92715947de468ebf26b4f1cddc2e66 (patch) | |
| tree | 508d1b39f400d56bdea3597001388e1caece47f6 /gcc | |
| parent | 0024315552cacb8cb38d913e1caa8506121654ef (diff) | |
| download | gcc-727e4d37be92715947de468ebf26b4f1cddc2e66.zip gcc-727e4d37be92715947de468ebf26b4f1cddc2e66.tar.gz gcc-727e4d37be92715947de468ebf26b4f1cddc2e66.tar.bz2 | |
[Ada] Exp_Util: minor refactoring
2019-07-09 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* exp_util.adb (Containing_Package_With_Ext_Axioms): Replace
low-level Ekind test with a high-level wrapper.
From-SVN: r273285
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/exp_util.adb | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 3832b31..b89bb8f 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2019-07-09 Piotr Trojanek <trojanek@adacore.com> + + * exp_util.adb (Containing_Package_With_Ext_Axioms): Replace + low-level Ekind test with a high-level wrapper. + 2019-07-09 Arnaud Charlet <charlet@adacore.com> * libgnat/s-memory.adb: Disable calls to Abort defer/undefer diff --git a/gcc/ada/exp_util.adb b/gcc/ada/exp_util.adb index 9769d68..f131080 100644 --- a/gcc/ada/exp_util.adb +++ b/gcc/ada/exp_util.adb @@ -4492,7 +4492,7 @@ package body Exp_Util is begin -- E is the package or generic package which is externally axiomatized - if Ekind_In (E, E_Generic_Package, E_Package) + if Is_Package_Or_Generic_Package (E) and then Has_Annotate_Pragma_For_External_Axiomatization (E) then return E; |