diff options
Diffstat (limited to 'gcc/ada/sem_ch6.adb')
| -rw-r--r-- | gcc/ada/sem_ch6.adb | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 266b6fef4a1..a6d70e5b597 100644 --- a/gcc/ada/sem_ch6.adb +++ b/gcc/ada/sem_ch6.adb @@ -3460,7 +3460,7 @@ package body Sem_Ch6 is -- Start of processing for Analyze_Subprogram_Body_Helper begin - -- A [generic] subprogram body "freezes" the contract of the nearest + -- A [generic] subprogram 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 subprogram body: @@ -3473,17 +3473,17 @@ package body Sem_Ch6 is -- with Refined_Depends => (Input => Constit) ... -- This ensures that any annotations referenced by the contract of the - -- [generic] subprogram body are available. This form of "freezing" is + -- [generic] subprogram body are available. This form of freezing is -- decoupled from the usual Freeze_xxx mechanism because it must also -- work in the context of generics where normal freezing is disabled. - -- Only bodies coming from source should cause this type of "freezing". + -- Only bodies coming from source should cause this type of freezing. -- Expression functions that act as bodies and complete an initial -- declaration must be included in this category, hence the use of -- Original_Node. if Comes_From_Source (Original_Node (N)) then - Analyze_Previous_Contracts (N); + Freeze_Previous_Contracts (N); end if; -- Generic subprograms are handled separately. They always have a @@ -4358,7 +4358,7 @@ package body Sem_Ch6 is end if; end if; - -- A subprogram body "freezes" its own contract. Analyze the contract + -- A subprogram body freezes its own contract. Analyze the contract -- after the declarations of the body have been processed as pragmas -- are now chained on the contract of the subprogram body. |