Commit 3f833dc2 by Gary Dismukes Committed by Pierre-Marie de Rodat

[Ada] Minor reformatting

2019-07-10  Gary Dismukes  <dismukes@adacore.com>

gcc/ada/

	* exp_util.adb: Reformatting and a typo fix.

From-SVN: r273325
parent e9427de1
2019-07-10 Gary Dismukes <dismukes@adacore.com>
* exp_util.adb: Reformatting and a typo fix.
2019-07-10 Yannick Moy <moy@adacore.com> 2019-07-10 Yannick Moy <moy@adacore.com>
* exp_util.adb (Remove_Side_Effects): Prefer renamings for * exp_util.adb (Remove_Side_Effects): Prefer renamings for
......
...@@ -343,7 +343,7 @@ package body Exp_Util is ...@@ -343,7 +343,7 @@ package body Exp_Util is
return; return;
end if; end if;
-- Case of zero/non-zero semantics or non-standard enumeration -- Case of zero/nonzero semantics or nonstandard enumeration
-- representation. In each case, we rewrite the node as: -- representation. In each case, we rewrite the node as:
-- ityp!(N) /= False'Enum_Rep -- ityp!(N) /= False'Enum_Rep
...@@ -5618,7 +5618,7 @@ package body Exp_Util is ...@@ -5618,7 +5618,7 @@ package body Exp_Util is
-- We can retrieve primitive operations by name if it is an internal -- We can retrieve primitive operations by name if it is an internal
-- name. For equality we must check that both of its operands have -- name. For equality we must check that both of its operands have
-- the same type, to avoid confusion with user-defined equalities -- the same type, to avoid confusion with user-defined equalities
-- than may have a non-symmetric signature. -- than may have a asymmetric signature.
exit when Chars (Op) = Name exit when Chars (Op) = Name
and then and then
...@@ -6822,8 +6822,8 @@ package body Exp_Util is ...@@ -6822,8 +6822,8 @@ package body Exp_Util is
N := Assoc_Node; N := Assoc_Node;
P := Parent (Assoc_Node); P := Parent (Assoc_Node);
-- Non-subexpression case. Note that N is initially Empty in this case -- Nonsubexpression case. Note that N is initially Empty in this case
-- (N is only guaranteed Non-Empty in the subexpr case). -- (N is only guaranteed non-Empty in the subexpr case).
else else
N := Empty; N := Empty;
...@@ -8345,7 +8345,7 @@ package body Exp_Util is ...@@ -8345,7 +8345,7 @@ package body Exp_Util is
S : Nat; S : Nat;
begin begin
-- If component reference is for an array with non-static bounds, -- If component reference is for an array with nonstatic bounds,
-- then it is always aligned: we can only process unaligned arrays -- then it is always aligned: we can only process unaligned arrays
-- with static bounds (more precisely compile time known bounds). -- with static bounds (more precisely compile time known bounds).
...@@ -9067,7 +9067,7 @@ package body Exp_Util is ...@@ -9067,7 +9067,7 @@ package body Exp_Util is
then then
Constr_Root := Root_Typ; Constr_Root := Root_Typ;
-- At this point in the expansion, non-limited view of the type -- At this point in the expansion, nonlimited view of the type
-- must be available, otherwise the error will be reported later. -- must be available, otherwise the error will be reported later.
if From_Limited_With (Constr_Root) if From_Limited_With (Constr_Root)
...@@ -9840,7 +9840,7 @@ package body Exp_Util is ...@@ -9840,7 +9840,7 @@ package body Exp_Util is
-- in the derivation chain starting from parent type Par_Typ leading to -- in the derivation chain starting from parent type Par_Typ leading to
-- derived type Deriv_Typ. The returned value is one of the following: -- derived type Deriv_Typ. The returned value is one of the following:
-- --
-- * An entity which is either a discriminant or a non-discriminant -- * An entity which is either a discriminant or a nondiscriminant
-- name, and renames/constraints Discr. -- name, and renames/constraints Discr.
-- --
-- * An expression which constraints Discr -- * An expression which constraints Discr
...@@ -11336,8 +11336,8 @@ package body Exp_Util is ...@@ -11336,8 +11336,8 @@ package body Exp_Util is
-- In GNATprove mode, we prefer to use renamings for intermediate -- In GNATprove mode, we prefer to use renamings for intermediate
-- variables to definition of constants, due to the implicit move -- variables to definition of constants, due to the implicit move
-- operation that such a constant definition causes as part of the -- operation that such a constant definition causes as part of the
-- support in GNATprove for ownership pointers. Hence we generate -- support in GNATprove for ownership pointers. Hence, we generate
-- a renaming for a reference to an object of a non-scalar type. -- a renaming for a reference to an object of a nonscalar type.
if Renaming_Req if Renaming_Req
or else (GNATprove_Mode or else (GNATprove_Mode
...@@ -11465,7 +11465,7 @@ package body Exp_Util is ...@@ -11465,7 +11465,7 @@ package body Exp_Util is
-- For expressions that denote names, we can use a renaming scheme. -- For expressions that denote names, we can use a renaming scheme.
-- This is needed for correctness in the case of a volatile object of -- This is needed for correctness in the case of a volatile object of
-- a non-volatile type because the Make_Reference call of the "default" -- a nonvolatile type because the Make_Reference call of the "default"
-- approach would generate an illegal access value (an access value -- approach would generate an illegal access value (an access value
-- cannot designate such an object - see Analyze_Reference). -- cannot designate such an object - see Analyze_Reference).
...@@ -11487,7 +11487,7 @@ package body Exp_Util is ...@@ -11487,7 +11487,7 @@ package body Exp_Util is
Name => Relocate_Node (Exp))); Name => Relocate_Node (Exp)));
-- If this is a packed reference, or a selected component with -- If this is a packed reference, or a selected component with
-- a non-standard representation, a reference to the temporary -- a nonstandard representation, a reference to the temporary
-- will be replaced by a copy of the original expression (see -- will be replaced by a copy of the original expression (see
-- Exp_Ch2.Expand_Renaming). Otherwise the temporary must be -- Exp_Ch2.Expand_Renaming). Otherwise the temporary must be
-- elaborated by gigi, and is of course not to be replaced in-line -- elaborated by gigi, and is of course not to be replaced in-line
...@@ -12097,7 +12097,7 @@ package body Exp_Util is ...@@ -12097,7 +12097,7 @@ package body Exp_Util is
and then Nkind_In (N, N_Package_Body, and then Nkind_In (N, N_Package_Body,
N_Package_Specification); N_Package_Specification);
-- N is at the library level if the top-most context is a package and -- N is at the library level if the top-most context is a package and
-- the path taken to reach N does not inlcude non-package constructs. -- the path taken to reach N does not include nonpackage constructs.
begin begin
case Nkind (N) is case Nkind (N) is
...@@ -12784,7 +12784,7 @@ package body Exp_Util is ...@@ -12784,7 +12784,7 @@ package body Exp_Util is
-- Mark the assignment statement as elaboration code. This allows -- Mark the assignment statement as elaboration code. This allows
-- the early call region mechanism (see Sem_Elab) to properly -- the early call region mechanism (see Sem_Elab) to properly
-- ignore such assignments even though they are non-preelaborable -- ignore such assignments even though they are nonpreelaborable
-- code. -- code.
Set_Is_Elaboration_Code (Asn); Set_Is_Elaboration_Code (Asn);
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment