Commit d3289ba2 by Robert Dewar Committed by Arnaud Charlet

sinfo.ads, [...]: Minor reformatting.

2014-05-21  Robert Dewar  <dewar@adacore.com>

	* sinfo.ads, sem_ch12.adb, sem_warn.adb: Minor reformatting.

From-SVN: r210706
parent c8a3028c
2014-05-21 Robert Dewar <dewar@adacore.com> 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. * sem_elab.adb: Minor reformatting.
* s-taprop.ads: Minor comment fix. * s-taprop.ads: Minor comment fix.
* sem_ch8.adb (Analyze_Subprogram_Renaming): Remove call to * sem_ch8.adb (Analyze_Subprogram_Renaming): Remove call to
......
...@@ -9946,6 +9946,10 @@ package body Sem_Ch12 is ...@@ -9946,6 +9946,10 @@ package body Sem_Ch12 is
-- appear uninitialized. This is suspicious, unless the actual is a -- appear uninitialized. This is suspicious, unless the actual is a
-- fully initialized type. -- fully initialized type.
-----------------------------
-- Check_Initialized_Types --
-----------------------------
procedure Check_Initialized_Types is procedure Check_Initialized_Types is
Decl : Node_Id; Decl : Node_Id;
Formal : Entity_Id; Formal : Entity_Id;
...@@ -9958,8 +9962,7 @@ package body Sem_Ch12 is ...@@ -9958,8 +9962,7 @@ package body Sem_Ch12 is
and then Needs_Initialized_Actual (Decl)) and then Needs_Initialized_Actual (Decl))
or else (Nkind (Decl) = N_Formal_Type_Declaration or else (Nkind (Decl) = N_Formal_Type_Declaration
and then and then Nkind (Formal_Type_Definition (Decl)) =
Nkind (Formal_Type_Definition (Decl)) =
N_Formal_Private_Type_Definition N_Formal_Private_Type_Definition
and then Needs_Initialized_Actual and then Needs_Initialized_Actual
(Formal_Type_Definition (Decl))) (Formal_Type_Definition (Decl)))
...@@ -9980,9 +9983,8 @@ package body Sem_Ch12 is ...@@ -9980,9 +9983,8 @@ package body Sem_Ch12 is
and then Warn_On_No_Value_Assigned and then Warn_On_No_Value_Assigned
then then
Error_Msg_NE Error_Msg_NE
("from its use in generic unit, actual for&" ("from its use in generic unit, actual for& should "
& " should be fully initialized type?", & "be fully initialized type??", Actual, Formal);
Actual, Formal);
exit; exit;
end if; end if;
...@@ -9993,6 +9995,9 @@ package body Sem_Ch12 is ...@@ -9993,6 +9995,9 @@ package body Sem_Ch12 is
Next (Decl); Next (Decl);
end loop; end loop;
end Check_Initialized_Types; end Check_Initialized_Types;
-- Start of processing for Instantiate_Package_Body
begin begin
Gen_Body_Id := Corresponding_Body (Gen_Decl); Gen_Body_Id := Corresponding_Body (Gen_Decl);
......
...@@ -852,8 +852,8 @@ package body Sem_Warn is ...@@ -852,8 +852,8 @@ package body Sem_Warn is
end if; end if;
if Res then if Res then
Error_Msg_N ("?!variable& of a generic type is " Error_Msg_N ("?!variable& of a generic type is potentially "
& "potentially uninitialized", Ent); & "uninitialized", Ent);
Error_Msg_NE ("\?instantiations must provide fully initialized " Error_Msg_NE ("\?instantiations must provide fully initialized "
& "type for&", Ent, T); & "type for&", Ent, T);
end if; end if;
......
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