+2018-04-04 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * exp_ch3.adb: Minor reformatting.
+ * exp_ch6.adb: Likewise.
+ * freeze.adb: Likewise.
+ * inline.adb: Likewise.
+ * sem_util.adb: Likewise.
+
2018-04-04 Yannick Moy <moy@adacore.com>
* inline.adb (Expand_Inlined_Call.Process_Formals): Use a type
and then not Has_Init_Expression (N)
then
Set_No_Initialization (N, False);
- Set_Expression
- (N, New_Copy_Tree
- (Get_Simple_Init_Val (Typ, N, Esize (Def_Id)),
- New_Sloc => Sloc (Obj_Def)));
+ Set_Expression (N,
+ New_Copy_Tree
+ (Source => Get_Simple_Init_Val (Typ, N, Esize (Def_Id)),
+ New_Sloc => Sloc (Obj_Def)));
+
Analyze_And_Resolve (Expression (N), Typ);
end if;
begin
while Present (N)
- and then Nkind_In (N, N_Pragma, N_Attribute_Reference)
+ and then Nkind_In (N, N_Attribute_Reference, N_Pragma)
loop
Analyze (N);
D := N;
if Present (Init)
and then (Nkind (Init) /= N_Function_Call
- or else not Is_Expanded_Build_In_Place_Call (Init))
+ or else not Is_Expanded_Build_In_Place_Call (Init))
then
-
-- Capture initialization value at point of declaration, and make
-- explicit assignment legal, because object may be a constant.
-- type, because those must be resolved to a specific type.
if Nkind_In (Expression (N), N_Aggregate,
- N_Null,
N_Character_Literal,
+ N_Null,
N_String_Literal)
or else Yields_Universal_Type (Expression (N))
then
begin
-- Discriminant_Constraint
- if Is_Type (Id)
- and then Has_Discriminants (Base_Type (Id))
- then
+ if Is_Type (Id) and then Has_Discriminants (Base_Type (Id)) then
Set_Discriminant_Constraint (Id, Elist_Id (
Copy_Field_With_Replacement
(Field => Union_Id (Discriminant_Constraint (Id)),
-- Discriminant_Constraint
- if Is_Type (Id)
- and then Has_Discriminants (Base_Type (Id))
- then
+ if Is_Type (Id) and then Has_Discriminants (Base_Type (Id)) then
Visit_Field
(Field => Union_Id (Discriminant_Constraint (Id)),
Semantic => True);