From: Piotr Trojanek <trojanek@adacore.com>
Date: Wed, 14 Aug 2019 09:44:21 +0000 (+0000)
Subject: [Ada] Minor refactoring in Einfo
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bc1f44ef8f87228591b7ecd74dac324812c0ff47;p=gcc.git

[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
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 4d999a4fb84..937ceccdd82 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 4e5681d23e0..0438c8e967d 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;