aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorPiotr Trojanek <trojanek@adacore.com>2019-08-14 09:44:21 +0000
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>2019-08-14 09:44:21 +0000
commitbc1f44ef8f87228591b7ecd74dac324812c0ff47 (patch)
tree622088a6e20b44a9ba0d69834f47b9bed10c22a3 /gcc
parentf78fac4b774ff66847379434fadb5cf04b5d9db1 (diff)
downloadgcc-bc1f44ef8f87228591b7ecd74dac324812c0ff47.zip
gcc-bc1f44ef8f87228591b7ecd74dac324812c0ff47.tar.gz
gcc-bc1f44ef8f87228591b7ecd74dac324812c0ff47.tar.bz2
[Ada] Minor refactoring in Einfo
2019-08-14 Piotr Trojanek <trojanek@adacore.com> gcc/ada/ * einfo.adb (Is_Generic_Actual_Subprogram): Replace repeated calls to Ekind with Ekind_In. From-SVN: r274445
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ada/ChangeLog5
-rw-r--r--gcc/ada/einfo.adb2
2 files changed, 6 insertions, 1 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 4d999a4..937cecc 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2019-08-14 Piotr Trojanek <trojanek@adacore.com>
+
+ * einfo.adb (Is_Generic_Actual_Subprogram): Replace repeated
+ calls to Ekind with Ekind_In.
+
2019-08-13 Richard Sandiford <richard.sandiford@arm.com>
PR middle-end/91421
diff --git a/gcc/ada/einfo.adb b/gcc/ada/einfo.adb
index 4e5681d..0438c8e 100644
--- a/gcc/ada/einfo.adb
+++ b/gcc/ada/einfo.adb
@@ -2314,7 +2314,7 @@ package body Einfo is
function Is_Generic_Actual_Subprogram (Id : E) return B is
begin
- pragma Assert (Ekind (Id) = E_Function or else Ekind (Id) = E_Procedure);
+ pragma Assert (Ekind_In (Id, E_Function, E_Procedure));
return Flag274 (Id);
end Is_Generic_Actual_Subprogram;