diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-05-21 13:17:41 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-05-21 13:17:41 +0000 |
| commit | 94113d9e2c4de9debc3fce7b201fb8a49098d4d7 (patch) | |
| tree | 8518dcc114d93e7e6fc82307b2f1180d04985e23 /gcc/ada | |
| parent | 72b225ec21351d5b734753f8353264f5223ee06a (diff) | |
| download | gcc-94113d9e2c4de9debc3fce7b201fb8a49098d4d7.tar.gz | |
2014-05-21 Robert Dewar <dewar@adacore.com>
* sinfo.ads, sem_ch12.adb, sem_warn.adb: Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@210706 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/sem_ch12.adb | 21 | ||||
| -rw-r--r-- | gcc/ada/sem_warn.adb | 6 | ||||
| -rw-r--r-- | gcc/ada/sinfo.ads | 2 |
4 files changed, 21 insertions, 12 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index f09c608ef4a..6b1eaaee801 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,9 @@ 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. * s-taprop.ads: Minor comment fix. * sem_ch8.adb (Analyze_Subprogram_Renaming): Remove call to diff --git a/gcc/ada/sem_ch12.adb b/gcc/ada/sem_ch12.adb index 057f088cd70..2d7487667bc 100644 --- a/gcc/ada/sem_ch12.adb +++ b/gcc/ada/sem_ch12.adb @@ -9946,6 +9946,10 @@ package body Sem_Ch12 is -- 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; @@ -9958,11 +9962,10 @@ package body Sem_Ch12 is 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); @@ -9980,9 +9983,8 @@ package body Sem_Ch12 is 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; @@ -9993,6 +9995,9 @@ package body Sem_Ch12 is Next (Decl); end loop; end Check_Initialized_Types; + + -- Start of processing for Instantiate_Package_Body + begin Gen_Body_Id := Corresponding_Body (Gen_Decl); diff --git a/gcc/ada/sem_warn.adb b/gcc/ada/sem_warn.adb index 012345ee7ef..26202b0f031 100644 --- a/gcc/ada/sem_warn.adb +++ b/gcc/ada/sem_warn.adb @@ -852,10 +852,10 @@ package body Sem_Warn is 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; diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index 3f3c312f609..9a0afe7f5a7 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -10953,7 +10953,7 @@ package Sinfo is (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 => |