From: Robert Dewar <dewar@adacore.com>
Date: Wed, 21 May 2014 12:59:01 +0000 (+0000)
Subject: sem_ch13.adb: Minor reformatting.
X-Git-Tag: upstream/12.2.0~63111
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=9db78a423bbd92dfbfcaa5b33b040da21540d647;p=platform%2Fupstream%2Fgcc.git

sem_ch13.adb: Minor reformatting.

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

	* sem_ch13.adb: Minor reformatting.
	* lib-xref-spark_specific.adb, sem_util.adb: Minor reformatting.
	* sem_prag.adb: Minor error message improvement.

From-SVN: r210701
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 0091301..9e207fc 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,9 @@
+2014-05-21  Robert Dewar  <dewar@adacore.com>
+
+	* sem_ch13.adb: Minor reformatting.
+	* lib-xref-spark_specific.adb, sem_util.adb: Minor reformatting.
+	* sem_prag.adb: Minor error message improvement.
+
 2014-05-21  Yannick Moy  <moy@adacore.com>
 
 	* lib-xref-spark_specific.adb, lib-xref.ads, lib-xref.adb
diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb
index aea8b2c..7e7d52b 100644
--- a/gcc/ada/lib-xref-spark_specific.adb
+++ b/gcc/ada/lib-xref-spark_specific.adb
@@ -23,9 +23,9 @@
 --                                                                          --
 ------------------------------------------------------------------------------
 
-with SPARK_Xrefs; use SPARK_Xrefs;
 with Einfo;       use Einfo;
 with Nmake;       use Nmake;
+with SPARK_Xrefs; use SPARK_Xrefs;
 
 with GNAT.HTable;
 
diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb
index f1c2de1..8964bac 100644
--- a/gcc/ada/sem_ch13.adb
+++ b/gcc/ada/sem_ch13.adb
@@ -489,7 +489,7 @@ package body Sem_Ch13 is
 
             --  We need to sort the component clauses on the basis of the
             --  Position values in the clause, so we can group clauses with
-            --  the same Position. together to determine the relevant machine
+            --  the same Position together to determine the relevant machine
             --  scalar size.
 
             Sort_CC : declare
@@ -537,7 +537,7 @@ package body Sem_Ch13 is
                   Comps (To) := Comps (From);
                end CP_Move;
 
-               --  Start of processing for Sort_CC
+            --  Start of processing for Sort_CC
 
             begin
                --  Collect the machine scalar relevant component clauses
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index 8365ff7..6764612 100644
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -3518,7 +3518,8 @@ package body Sem_Prag is
                --  abstraction declared by either the parent unit of the
                --  private unit or by a public descendant of that parent unit.
 
-               --  Find parent unit of nearest private ancestor.
+               --  Find nearest nearest private ancestor (which can be the
+               --  current unit itself).
 
                Parent_Unit := Pack_Id;
                while Present (Parent_Unit) loop
@@ -3530,9 +3531,10 @@ package body Sem_Prag is
                Parent_Unit := Scope (Parent_Unit);
 
                if not Is_Child_Or_Sibling (Pack_Id, Scope (State_Id)) then
-                  Error_Msg_N
-                    ("indicator Part_Of must denote an abstract state of "
-                     & "parent unit or descendant (SPARK RM 7.2.6(3))", Indic);
+                  Error_Msg_NE
+                    ("indicator Part_Of must denote an abstract state of& "
+                     & "or public descendant (SPARK RM 7.2.6(3))",
+                       Indic, Parent_Unit);
 
                elsif Scope (State_Id) = Parent_Unit
                  or else (Is_Ancestor_Package (Parent_Unit, Scope (State_Id))
@@ -3542,9 +3544,10 @@ package body Sem_Prag is
                   null;
 
                else
-                  Error_Msg_N
-                    ("indicator Part_Of must denote the abstract state of "
-                     & "parent of private ancestor", State);
+                  Error_Msg_NE
+                    ("indicator Part_Of must denote an abstract state of& "
+                     & "or public descendant (SPARK RM 7.2.6(3))",
+                       Indic, Parent_Unit);
                end if;
 
             --  Indicator Part_Of is not needed when the related package is not
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index 042f44d..18a2472 100644
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -11098,7 +11098,7 @@ package body Sem_Util is
    begin
       return (Ekind (E) = E_Access_Subprogram_Type
                 or else (Ekind (E) = E_Record_Type
-                           and then Present (Corresponding_Remote_Type (E))))
+                          and then Present (Corresponding_Remote_Type (E))))
         and then (Is_Remote_Call_Interface (E) or else Is_Remote_Types (E));
    end Is_Remote_Access_To_Subprogram_Type;