[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 4d999a4fb84469ac97f31476f9a37a54221f1530..937ceccdd822610f5986e30a8c066f5e83c67731 100644 (file)
--- 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 4e5681d23e0bbcc6e08a70589f457b02db0c5de6..0438c8e967d2d3b732430d9b36b06ddd3effb699 100644 (file)
--- 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;