aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/exp_util.ads
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/ada/exp_util.ads')
-rw-r--r--gcc/ada/exp_util.ads17
1 files changed, 9 insertions, 8 deletions
diff --git a/gcc/ada/exp_util.ads b/gcc/ada/exp_util.ads
index 5f35d4eff1d..5e57147b720 100644
--- a/gcc/ada/exp_util.ads
+++ b/gcc/ada/exp_util.ads
@@ -205,6 +205,7 @@ package Exp_Util is
-- index values. For composite types, the result includes two declarations:
-- one for a generated function that computes the image without using
-- concatenation, and one for the variable that holds the result.
+ --
-- If In_Init_Proc is true, the call is part of the initialization of
-- a component of a composite type, and the enclosing initialization
-- procedure must be flagged as using the secondary stack. If In_Init_Proc
@@ -382,7 +383,7 @@ package Exp_Util is
Name_Req : Boolean := False);
-- Force the evaluation of the expression right away. Similar behavior
-- to Remove_Side_Effects when Variable_Ref is set to TRUE. That is to
- -- say, it removes the side-effects and capture the values of the
+ -- say, it removes the side-effects and captures the values of the
-- variables. Remove_Side_Effects guarantees that multiple evaluations
-- of the same expression won't generate multiple side effects, whereas
-- Force_Evaluation further guarantees that all evaluations will yield
@@ -476,7 +477,7 @@ package Exp_Util is
-- Node N is an object reference. This function returns True if it is
-- possible that the object may not be aligned according to the normal
-- default alignment requirement for its type (e.g. if it appears in a
- -- packed record, or as part of a component that has a component clause.
+ -- packed record, or as part of a component that has a component clause.)
function Is_Renamed_Object (N : Node_Id) return Boolean;
-- Returns True if the node N is a renamed object. An expression is
@@ -564,12 +565,12 @@ package Exp_Util is
-- returned only if the replacement is safe.
function Possible_Bit_Aligned_Component (N : Node_Id) return Boolean;
- -- This function is used in processing the assignment of a record or
- -- indexed component. The argument N is either the left hand or right
- -- hand side of an assignment, and this function determines if there
- -- is a record component reference where the record may be bit aligned
- -- in a manner that causes trouble for the back end (see description
- -- of Exp_Util.Component_May_Be_Bit_Aligned for further details).
+ -- This function is used during processing the assignment of a record or
+ -- indexed component. The argument N is either the left hand or right hand
+ -- side of an assignment, and this function determines if there is a record
+ -- component reference where the record may be bit aligned in a manner that
+ -- causes trouble for the back end (see Component_May_Be_Bit_Aligned for
+ -- further details).
procedure Remove_Side_Effects
(Exp : Node_Id;