OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] Minor refactoring in Einfo

Browse Source 
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
This commit is contained in:
Piotr Trojanek 2019-08-14 09:44:21 +00:00 committed by Pierre-Marie de Rodat
parent f78fac4b77
commit bc1f44ef8f
2 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ada/ChangeLog
View File

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

2
gcc/ada/einfo.adb
View File

@ -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;