+2014-05-21 Robert Dewar <dewar@adacore.com>
+
+ * sinfo.ads, sem_ch12.adb, sem_warn.adb: Minor reformatting.
+
2014-05-21 Robert Dewar <dewar@adacore.com>
* sem_elab.adb: Minor reformatting.
-- appear uninitialized. This is suspicious, unless the actual is a
-- fully initialized type.
+ -----------------------------
+ -- Check_Initialized_Types --
+ -----------------------------
+
procedure Check_Initialized_Types is
Decl : Node_Id;
Formal : Entity_Id;
and then Needs_Initialized_Actual (Decl))
or else (Nkind (Decl) = N_Formal_Type_Declaration
- and then
- Nkind (Formal_Type_Definition (Decl)) =
- N_Formal_Private_Type_Definition
- and then Needs_Initialized_Actual
- (Formal_Type_Definition (Decl)))
+ and then Nkind (Formal_Type_Definition (Decl)) =
+ N_Formal_Private_Type_Definition
+ and then Needs_Initialized_Actual
+ (Formal_Type_Definition (Decl)))
then
Formal := Defining_Identifier (Decl);
Actual := First_Entity (Act_Decl_Id);
and then Warn_On_No_Value_Assigned
then
Error_Msg_NE
- ("from its use in generic unit, actual for&"
- & " should be fully initialized type?",
- Actual, Formal);
+ ("from its use in generic unit, actual for& should "
+ & "be fully initialized type??", Actual, Formal);
exit;
end if;
Next (Decl);
end loop;
end Check_Initialized_Types;
+
+ -- Start of processing for Instantiate_Package_Body
+
begin
Gen_Body_Id := Corresponding_Body (Gen_Decl);
end if;
if Res then
- Error_Msg_N ("?!variable& of a generic type is "
- & "potentially uninitialized", Ent);
+ Error_Msg_N ("?!variable& of a generic type is potentially "
+ & "uninitialized", Ent);
Error_Msg_NE ("\?instantiations must provide fully initialized "
- & "type for&", Ent, T);
+ & "type for&", Ent, T);
end if;
return Res;
(1 => True, -- Expressions (List1)
2 => False, -- unused
3 => True, -- Prefix (Node3)
- 4 => False, -- Generalized_Indexing (Node4-Sem)
+ 4 => False, -- Generalized_Indexing (Node4-Sem)
5 => False), -- Etype (Node5-Sem)
N_Slice =>