diff options
Diffstat (limited to 'gcc/ada/sem_ch9.adb')
| -rw-r--r-- | gcc/ada/sem_ch9.adb | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/gcc/ada/sem_ch9.adb b/gcc/ada/sem_ch9.adb index 199cd8a8c7a..766742297fa 100644 --- a/gcc/ada/sem_ch9.adb +++ b/gcc/ada/sem_ch9.adb @@ -1210,13 +1210,13 @@ package body Sem_Ch9 is Entry_Name : Entity_Id; begin - -- An entry body "freezes" the contract of the nearest enclosing package + -- An entry body freezes the contract of the nearest enclosing package -- body and all other contracts encountered in the same declarative part -- up to and excluding the entry body. This ensures that any annotations -- referenced by the contract of an entry or subprogram body declared -- within the current protected body are available. - Analyze_Previous_Contracts (N); + Freeze_Previous_Contracts (N); Tasking_Used := True; @@ -1794,14 +1794,14 @@ package body Sem_Ch9 is -- Start of processing for Analyze_Protected_Body begin - -- A protected body "freezes" the contract of the nearest enclosing + -- A protected body freezes the contract of the nearest enclosing -- package body and all other contracts encountered in the same - -- declarative part up to and excluding the protected body. This ensures - -- that any annotations referenced by the contract of an entry or - -- subprogram body declared within the current protected body are - -- available. + -- declarative part up to and excluding the protected body. This + -- ensures that any annotations referenced by the contract of an + -- entry or subprogram body declared within the current protected + -- body are available. - Analyze_Previous_Contracts (N); + Freeze_Previous_Contracts (N); Tasking_Used := True; Set_Ekind (Body_Id, E_Protected_Body); @@ -2287,7 +2287,7 @@ package body Sem_Ch9 is Target_Obj : Node_Id := Empty; Req_Scope : Entity_Id; Outer_Ent : Entity_Id; - Synch_Type : Entity_Id; + Synch_Type : Entity_Id := Empty; begin -- Preserve relevant elaboration-related attributes of the context which @@ -2900,13 +2900,13 @@ package body Sem_Ch9 is -- a single task, since Spec_Id is set to the task type). begin - -- A task body "freezes" the contract of the nearest enclosing package + -- A task body freezes the contract of the nearest enclosing package -- body and all other contracts encountered in the same declarative part -- up to and excluding the task body. This ensures that annotations -- referenced by the contract of an entry or subprogram body declared -- within the current protected body are available. - Analyze_Previous_Contracts (N); + Freeze_Previous_Contracts (N); Tasking_Used := True; Set_Scope (Body_Id, Current_Scope); @@ -3513,10 +3513,10 @@ package body Sem_Ch9 is -- declarations. Search for the private type declaration. declare - Full_T_Ifaces : Elist_Id; + Full_T_Ifaces : Elist_Id := No_Elist; Iface : Node_Id; Priv_T : Entity_Id; - Priv_T_Ifaces : Elist_Id; + Priv_T_Ifaces : Elist_Id := No_Elist; begin Priv_T := First_Entity (Scope (T)); |