From: Arnaud Charlet Date: Fri, 6 Jan 2017 11:02:11 +0000 (+0100) Subject: Minor reformatting. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6413509bd47c3d3c2c9160d5d13a5d4f40903456;p=gcc.git Minor reformatting. From-SVN: r244131 --- diff --git a/gcc/ada/exp_util.adb b/gcc/ada/exp_util.adb index 29d167b8b6c..c6e26d4d336 100644 --- a/gcc/ada/exp_util.adb +++ b/gcc/ada/exp_util.adb @@ -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 + 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; + -- The queue length is not one + if not Restriction_Active (No_Entry_Queue) - and then Get_Max_Queue_Length (Ent) /= Uint_1 + and then Get_Max_Queue_Length (Item) /= Uint_1 then - -- Max queue length is not 1 - 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));