From: Piotr Trojanek <trojanek@adacore.com>
Date: Mon, 7 Dec 2020 14:32:40 +0000 (+0100)
Subject: [Ada] Cleanups related to entry barrier conditions
X-Git-Tag: basepoints/gcc-13~8126
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=7458323aa60cc9a42bed8d029059e5ebd33bafb9;p=thirdparty%2Fgcc.git

[Ada] Cleanups related to entry barrier conditions

gcc/ada/

	* exp_ch9.adb (Build_Barrier_Function): Refine type of a
	protected type entity.
	(Is_Pure_Barrier): Fix style.
---

diff --git a/gcc/ada/exp_ch9.adb b/gcc/ada/exp_ch9.adb
index b055b278da0c..32bf11c26699 100644
--- a/gcc/ada/exp_ch9.adb
+++ b/gcc/ada/exp_ch9.adb
@@ -120,7 +120,7 @@ package body Exp_Ch9 is
    function Build_Barrier_Function
      (N   : Node_Id;
       Ent : Entity_Id;
-      Pid : Node_Id) return Node_Id;
+      Pid : Entity_Id) return Node_Id;
    --  Build the function body returning the value of the barrier expression
    --  for the specified entry body.
 
@@ -1052,7 +1052,7 @@ package body Exp_Ch9 is
    function Build_Barrier_Function
      (N   : Node_Id;
       Ent : Entity_Id;
-      Pid : Node_Id) return Node_Id
+      Pid : Entity_Id) return Node_Id
    is
       Ent_Formals : constant Node_Id    := Entry_Body_Formal_Part (N);
       Cond        : constant Node_Id    := Condition (Ent_Formals);
@@ -6322,8 +6322,8 @@ package body Exp_Ch9 is
                end if;
 
             when N_Short_Circuit
-              | N_If_Expression
-              | N_Case_Expression
+               | N_If_Expression
+               | N_Case_Expression
             =>
                return OK;