diff options
| -rw-r--r-- | gcc/ada/exp_ch7.ads | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/gcc/ada/exp_ch7.ads b/gcc/ada/exp_ch7.ads index 213b4ee..b6c3ff2 100644 --- a/gcc/ada/exp_ch7.ads +++ b/gcc/ada/exp_ch7.ads @@ -57,13 +57,6 @@ package Exp_Ch7 is function Controller_Component (Typ : Entity_Id) return Entity_Id; -- Returns the entity of the component whose name is 'Name_uController' - function Needs_Finalization (T : Entity_Id) return Boolean; - -- True if T potentially needs finalization actions. True if T is - -- controlled, or has subcomponents. Also True if T is a class-wide type, - -- because some type extension might add controlled subcomponents, except - -- that if pragma Restrictions (No_Finalization) applies, this is False for - -- class-wide types. - function CW_Or_Has_Controlled_Part (T : Entity_Id) return Boolean; -- True if T is a class-wide type, or if it has controlled parts ("part" -- means T or any of its subcomponents). This is the same as @@ -71,6 +64,11 @@ package Exp_Ch7 is -- applies, in which case we know that class-wide objects do not contain -- controlled parts. + procedure Expand_Ctrl_Function_Call (N : Node_Id); + -- Expand a call to a function returning a controlled value. That is to + -- say attach the result of the call to the current finalization list, + -- which is the one of the transient scope created for such constructs. + function Find_Final_List (E : Entity_Id; Ref : Node_Id := Empty) return Node_Id; @@ -163,15 +161,17 @@ package Exp_Ch7 is -- object but not when finalizing the target of an assignment, it is not -- necessary either on scope exit. - procedure Expand_Ctrl_Function_Call (N : Node_Id); - -- Expand a call to a function returning a controlled value. That is to - -- say attach the result of the call to the current finalization list, - -- which is the one of the transient scope created for such constructs. - function Make_Handler_For_Ctrl_Operation (Loc : Source_Ptr) return Node_Id; -- Generate an implicit exception handler with an 'others' choice, -- converting any occurrence to a raise of Program_Error. + function Needs_Finalization (T : Entity_Id) return Boolean; + -- True if T potentially needs finalization actions. True if T is + -- controlled, or has subcomponents. Also True if T is a class-wide type, + -- because some type extension might add controlled subcomponents, except + -- that if pragma Restrictions (No_Finalization) applies, this is False for + -- class-wide types. + -------------------------------------------- -- Task and Protected Object finalization -- -------------------------------------------- |