diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-12-07 15:32:40 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-04-28 05:37:57 -0400 |
| commit | 7458323aa60cc9a42bed8d029059e5ebd33bafb9 (patch) | |
| tree | 862a39f0d8476a05a4fd19d3e8dfd3d464535e07 | |
| parent | cbd743fe0942e91eaa5e788ad21ac660f686a0de (diff) | |
| download | gcc-7458323aa60cc9a42bed8d029059e5ebd33bafb9.zip gcc-7458323aa60cc9a42bed8d029059e5ebd33bafb9.tar.gz gcc-7458323aa60cc9a42bed8d029059e5ebd33bafb9.tar.bz2 | |
[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.
| -rw-r--r-- | gcc/ada/exp_ch9.adb | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/exp_ch9.adb b/gcc/ada/exp_ch9.adb index b055b27..32bf11c 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; |