+2017-01-13 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * sem_aggr.adb, sem_ch3.adb, inline.adb, sem_util.adb, exp_ch4.adb,
+ exp_aggr.adb: Minor reformatting.
+
2017-01-13 Gary Dismukes <dismukes@adacore.com>
* inline.adb: Minor reformatting and typo fix.
-- Otherwise construct the loop, starting with the loop index L_J
if Is_Iterated_Component then
- L_J := Make_Defining_Identifier (Loc,
- Chars => (Chars (Defining_Identifier (Parent (Expr)))));
+ L_J :=
+ Make_Defining_Identifier (Loc,
+ Chars => (Chars (Defining_Identifier (Parent (Expr)))));
else
L_J := Make_Temporary (Loc, 'J', L);
else
pragma Assert
(Expv = -1 or Expv = -2 or Expv = -3 or Expv = -4);
+
Xnode :=
Make_Op_Divide (Loc,
Left_Opnd =>
then
pragma Assert (not (Is_By_Reference_Type (Etype (A))));
pragma Assert (not (Is_Limited_Type (Etype (A))));
+
Append_To (Decls,
Make_Object_Declaration (Loc,
Defining_Identifier => Make_Temporary (Loc, 'C'),
begin
return No (Expressions (Aggr))
and then
- Nkind (First (Choice_List (First (Component_Associations (Aggr)))))
- = N_Others_Choice;
+ Nkind (First (Choice_List (First (Component_Associations (Aggr))))) =
+ N_Others_Choice;
end Is_Others_Aggregate;
----------------------------
Expr : Node_Id;
Discard : Node_Id;
- -- Iterated_Component_Present : Boolean := False;
-
Aggr_Low : Node_Id := Empty;
Aggr_High : Node_Id := Empty;
-- The actual low and high bounds of this sub-aggregate
while Present (Assoc) loop
if Nkind (Assoc) = N_Iterated_Component_Association then
Resolve_Iterated_Component_Association (Assoc, Index_Typ);
- -- Iterated_Component_Present := True;
goto Next_Assoc;
end if;
-- If the subtype has a static predicate, replace the
-- original choice with the list of individual values
- -- covered by the predicate.
- -- Do not perform this transformation if we need to
- -- preserve the source for ASIS use.
+ -- covered by the predicate. Do not perform this
+ -- transformation if we need to preserve the source
+ -- for ASIS use.
-- This should be deferred to expansion time ???
if Present (Static_Discrete_Predicate (E))
and then Present (Component_Associations (E))
and then Present (Choice_List (First (Component_Associations (E))))
and then
- Nkind (First (Choice_List (First (Component_Associations (E)))))
- = N_Others_Choice
+ Nkind (First (Choice_List (First (Component_Associations (E))))) =
+ N_Others_Choice
then
null;
N_Slice)
and then Prefix (Context) = Obj_Ref
and then Is_OK_Volatile_Context
- (Context => Parent (Context),
- Obj_Ref => Context)
+ (Context => Parent (Context),
+ Obj_Ref => Context)
then
return True;
-- occurring in a non-interfering context.
elsif Nkind_In (Context, N_Type_Conversion,
- N_Unchecked_Type_Conversion)
+ N_Unchecked_Type_Conversion)
and then Expression (Context) = Obj_Ref
and then Is_OK_Volatile_Context
- (Context => Parent (Context),
- Obj_Ref => Context)
+ (Context => Parent (Context),
+ Obj_Ref => Context)
then
return True;