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

Minor reformatting. 

From-SVN: r244131
This commit is contained in:
Arnaud Charlet 2017-01-06 12:02:11 +01:00
parent 07b3e137a2
commit 6413509bd4
1 changed files with 18 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
gcc/ada/exp_util.adb
View File

@ -2020,7 +2020,6 @@ package body Exp_Util is
-----------------------------------
function Corresponding_Runtime_Package (Typ : Entity_Id) return RTU_Id is
function Has_One_Entry_And_No_Queue (T : Entity_Id) return Boolean;
-- Return True if protected type T has one entry and the maximum queue
-- length is one.
@ -2030,37 +2029,43 @@ package body Exp_Util is
--------------------------------
function Has_One_Entry_And_No_Queue (T : Entity_Id) return Boolean is
Item : Entity_Id;
Is_First : Boolean := True;
Ent : Entity_Id;
begin
Ent := First_Entity (T);
while Present (Ent) loop
if Is_Entry (Ent) then
if not Is_First then
-- More than one entry
begin
Item := First_Entity (T);
while Present (Item) loop
if Is_Entry (Item) then
-- The protected type has more than one entry
if not Is_First then
return False;
end if;
if not Restriction_Active (No_Entry_Queue)
and then Get_Max_Queue_Length (Ent) /= Uint_1
then
-- Max queue length is not 1
-- The queue length is not one
if not Restriction_Active (No_Entry_Queue)
and then Get_Max_Queue_Length (Item) /= Uint_1
then
return False;
end if;
Is_First := False;
end if;
Ent := Next_Entity (Ent);
Next_Entity (Item);
end loop;
return True;
end Has_One_Entry_And_No_Queue;
-- Local variables
Pkg_Id : RTU_Id := RTU_Null;
-- Start of processing for Corresponding_Runtime_Package
begin
pragma Assert (Is_Concurrent_Type (Typ));