[multiple changes]

2011-12-20  Robert Dewar  <dewar@adacore.com>

	* sem_ch3.adb, sem_ch5.adb, s-diinio.adb, s-diinio.ads, sem_dim.adb,
	sem_dim.ads, sem_res.adb, s-stposu.adb, s-stposu.ads, sem_ch4.adb,
	s-diflio.adb, s-diflio.ads, exp_disp.adb, s-llflex.ads: Minor
	reformatting.
	* aspects.ads: Dimension[_Aspects] are GNAT defined.

2011-12-20  Robert Dewar  <dewar@adacore.com>

	* sem_ch13.adb (Analyze_Attribute_Definition_Clause): Check
	renaming case.

2011-12-20  Thomas Quinot  <quinot@adacore.com>

	* sem_cat.adb, sem_ch10.adb (Analyze_With_Clause): For a WITH clause on
	a child unit that is an illegal instantiation, mark the WITH clause in
	error.
	(Install_Siblings, Validate_Categorization_Dependency): Guard
	against WITH clause marked as in error.

From-SVN: r182534

1 files changed, 17 insertions, 12 deletions

diff --git a/gcc/ada/sem_dim.ads b/gcc/ada/sem_dim.ads
index 8089f43..cda1135 100644
--- a/gcc/ada/sem_dim.ads
+++ b/gcc/ada/sem_dim.ads
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---          Copyright (C) 1992-2011, Free Software Foundation, Inc.         --
+--            Copyright (C) 2011, Free Software Foundation, Inc.            --
 --                                                                          --
 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
 -- terms of the  GNU General Public License as published  by the Free Soft- --
@@ -26,11 +26,12 @@
 --  This new package of the GNAT compiler has been created in order to enable
 --  any user of the GNAT compiler to deal with physical issues.
 
---  Indeed, the user is now able to create his own dimension system and to
+--  Indeed, the user is now able to create their own dimension system and to
 --  assign a dimension, defined from the MKS system (package System.Dim_Mks)
---  or his own dimension systems, with any item and to run operations with
+--  or their own dimension systems, with any item and to run operations with
 --  dimensionned entities.
---  In that case, a dimensionnality checking will be performed at compile time.
+
+--  In that case, a dimensionality checking will be performed at compile time.
 --  If no dimension has been assigned, the compiler assumes that the item is
 --  dimensionless.
 
@@ -38,12 +39,13 @@
 -- Aspect_Dimension_System --
 -----------------------------
 
---  In order to enable the user to create his own dimension system, a new
+--  In order to enable the user to create their own dimension system, a new
 --  aspect: Aspect_Dimension_System has been created.
+
 --  Note that this aspect applies for type declaration of type derived from any
 --  numeric type.
 
---  It defines the names of each dimension.
+--  It defines the names of each dimension
 
 ----------------------
 -- Aspect_Dimension --
@@ -51,8 +53,10 @@
 
 --  This new aspect applies for subtype and object declarations in order to
 --  define new dimensions.
+
 --  Using this aspect, the user is able to create new subtype/object with any
 --  dimension needed.
+
 --  Note that the base type of the subtype/object must be the type that defines
 --  the corresponding dimension system.
 
@@ -75,6 +79,7 @@
 
 --  Depending on the node kind, either none, one phase or two phases are
 --  executed.
+
 --  Phase 2 is called only when the node allows a dimension (see body of
 --  Sem_Dim to get the list of nodes that permit dimensions).
 
@@ -82,7 +87,7 @@
 -- Dimension_IO --
 ------------------
 
---  This section contains the routine used for IO purposes.
+--  This section contains the routine used for IO purposes
 
 with Types; use Types;
 
@@ -103,8 +108,8 @@ package Sem_Dim is
    ----------------------
 
    procedure Analyze_Aspect_Dimension
-     (N : Node_Id;
-      Id : Node_Id;
+     (N    : Node_Id;
+      Id   : Node_Id;
       Expr : Node_Id);
    --  Analyzes the aggregate of Aspect_Dimension and attaches the
    --  corresponding dimension to N.
@@ -118,9 +123,9 @@ package Sem_Dim is
    --  when needed.
 
    procedure Eval_Op_Expon_For_Dimensioned_Type
-     (N : Node_Id;
+     (N     : Node_Id;
       B_Typ : Entity_Id);
-   --  Eval the Expon operator for dimensioned type with rational exponent
+   --  Evaluate the Expon operator for dimensioned type with rational exponent
 
    function Is_Dimensioned_Type (E : Entity_Id) return Boolean;
    --  Return True if the type is a dimensioned type (i.e: a type which has an
@@ -128,7 +133,7 @@ package Sem_Dim is
 
    procedure Remove_Dimension_In_Call (N : Node_Id);
    --  At the end of the Expand_Call routine, remove the dimensions of every
-   --  parameters in the call N.
+   --  parameter in the call N.
 
    procedure Remove_Dimension_In_Declaration (D : Node_Id);
    --  At the end of Analyze_Declarations routine (see Sem_Ch3), removes the