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

[Ada] Use Is_Incomplete_Type instead of a low-level Ekind test 

2020-06-05  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

	* exp_ch3.adb, sem_ch8.adb, sem_util.adb: Use Is_Incomplete_Type
	to make the code easier to read.
This commit is contained in:
Piotr Trojanek 2020-01-16 18:56:38 +01:00 committed by Pierre-Marie de Rodat
parent 50554999f2
commit 2db2527a8d
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gcc/ada/exp_ch3.adb
View File

@ -5524,7 +5524,7 @@ package body Exp_Ch3 is
-- limited-with'ed package, we need to use the nonlimited view in
-- case it has tasks.
if Ekind (Desig_Typ) in Incomplete_Kind
if Is_Incomplete_Type (Desig_Typ)
and then Present (Non_Limited_View (Desig_Typ))
then
Desig_Typ := Non_Limited_View (Desig_Typ);

2
gcc/ada/sem_ch8.adb
View File

@ -8021,7 +8021,7 @@ package body Sem_Ch8 is
-- limited-with clauses
if From_Limited_With (T_Name)
and then Ekind (T_Name) in Incomplete_Kind
and then Is_Incomplete_Type (T_Name)
and then Present (Non_Limited_View (T_Name))
and then Is_Interface (Non_Limited_View (T_Name))
then

2
gcc/ada/sem_util.adb
View File

@ -13126,7 +13126,7 @@ package body Sem_Util is
Ent : Entity_Id := First_Entity (Limited_View (Scope (Typ)));
begin
while Present (Ent) loop
if Ekind (Ent) in Incomplete_Kind
if Is_Incomplete_Type (Ent)
and then Non_Limited_View (Ent) = Typ
then
return Ent;