impunit.adb: Add Interfaces.Java.JNI...

2008-04-08  Robert Dewar  <dewar@adacore.com>
	    Bob Duff  <duff@adacore.com>

	* impunit.adb: Add Interfaces.Java.JNI, System.Strings.Stream_Ops,
	Ada.Calendar.Conversions, Ada.Dispatching.EDF, GNAT.Time_Stamp

	* s-intman-mingw.adb: Minor comment fix -- spell 'explicitly' correctly

	* g-trasym.adb: Minor comment fix -- spell 'explicitly' correctly

	* g-trasym.ads: Minor comment improvements

	* s-stalib.adb: Minor comment fix -- spell 'explicitly' correctly

	* a-sequio.ads, a-direio.ads: improve message for tagged type

	* a-strunb.ads: Minor reformatting

	* a-tifiio.adb: Minor reformatting

	* atree.adb (Fix_Parents): Use clearer names for formals
	Cleanup and simplify code
	Use named notation in calls

	* exp_fixd.adb (Do_Multiply_Fixed_Universal): Use named notation in
	confusing calls

	* uintp.adb: Used named notation for some confusing calls

	* bindusg.adb: Minor change in one line of output

	* cstand.adb: Minor reformatting of src representation of Standard

	* a-assert.ads: Add comment.

	* g-decstr.adb: Fix bad indentation

	* expander.ads, expander.adb: Code clean up.

	* sem_dist.ads, sem_type.adb, g-dirope.ads, g-exctra.ads, s-valwch.adb,
	s-wchstw.adb, targparm.ads, widechar.adb: Minor reformatting

	* i-cstrin.adb: Fix casing error in formal parameter name in call

From-SVN: r134063

28 files changed, 111 insertions, 83 deletions

diff --git a/gcc/ada/a-assert.ads b/gcc/ada/a-assert.ads
index 614421b..bfc2229 100755
--- a/gcc/ada/a-assert.ads
+++ b/gcc/ada/a-assert.ads
@@ -25,6 +25,9 @@ package Ada.Assertions is
    pragma Pure (Assertions);
 
    Assertion_Error : exception renames System.Assertions.Assert_Failure;
+   --  This is the renaming that is allowed by 11.4.2(24). Note that the
+   --  Exception_Name will refer to the one in System.Assertions (see
+   --  AARM-11.4.1(12.b)).
 
    procedure Assert (Check : Boolean);
 
diff --git a/gcc/ada/a-direio.ads b/gcc/ada/a-direio.ads
index 24b2a0b..6ac1a8a 100644
--- a/gcc/ada/a-direio.ads
+++ b/gcc/ada/a-direio.ads
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---          Copyright (C) 1992-2006, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2008, Free Software Foundation, Inc.         --
 --                                                                          --
 -- This specification is derived from the Ada Reference Manual for use with --
 -- GNAT. The copyright notice above, and the license provisions that follow --
@@ -48,6 +48,10 @@ package Ada.Direct_IO is
      (Element_Type'Has_Access_Values,
       "Element_Type for Direct_IO instance has access values");
 
+   pragma Compile_Time_Warning
+     (Element_Type'Has_Tagged_Values,
+      "Element_Type for Direct_IO instance has tagged values");
+
    type File_Type is limited private;
 
    type File_Mode is (In_File, Inout_File, Out_File);
diff --git a/gcc/ada/a-sequio.ads b/gcc/ada/a-sequio.ads
index 6d3b7d2..ece3ee1 100644
--- a/gcc/ada/a-sequio.ads
+++ b/gcc/ada/a-sequio.ads
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---          Copyright (C) 1992-2006, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2008, Free Software Foundation, Inc.         --
 --                                                                          --
 -- This specification is derived from the Ada Reference Manual for use with --
 -- GNAT. The copyright notice above, and the license provisions that follow --
@@ -48,6 +48,10 @@ package Ada.Sequential_IO is
      (Element_Type'Has_Access_Values,
       "Element_Type for Sequential_IO instance has access values");
 
+   pragma Compile_Time_Warning
+     (Element_Type'Has_Tagged_Values,
+      "Element_Type for Sequential_IO instance has tagged values");
+
    type File_Type is limited private;
 
    type File_Mode is (In_File, Out_File, Append_File);
diff --git a/gcc/ada/a-strunb.ads b/gcc/ada/a-strunb.ads
index a213f0b..1601f3f 100644
--- a/gcc/ada/a-strunb.ads
+++ b/gcc/ada/a-strunb.ads
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---          Copyright (C) 1992-2006, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2008, Free Software Foundation, Inc.         --
 --                                                                          --
 -- This specification is derived from the Ada Reference Manual for use with --
 -- GNAT. The copyright notice above, and the license provisions that follow --
@@ -395,7 +395,6 @@ private
       Reference : String_Access := Null_String'Access;
       Last      : Natural       := 0;
    end record;
-
    --  The Unbounded_String is using a buffered implementation to increase
    --  speed of the Append/Delete/Insert procedures. The Reference string
    --  pointer above contains the current string value and extra room at the
@@ -404,6 +403,7 @@ private
    --  Reference (1 .. Last).
 
    pragma Stream_Convert (Unbounded_String, To_Unbounded, To_String);
+   --  Provide stream routines without dragging in Ada.Streams
 
    pragma Finalize_Storage_Only (Unbounded_String);
    --  Finalization is required only for freeing storage
diff --git a/gcc/ada/a-tifiio.adb b/gcc/ada/a-tifiio.adb
index ae1a60d..44100ee 100644
--- a/gcc/ada/a-tifiio.adb
+++ b/gcc/ada/a-tifiio.adb
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---          Copyright (C) 1992-2007, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2008, 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- --
@@ -638,11 +638,13 @@ package body Ada.Text_IO.Fixed_IO is
          --  been generated, compute the Aft next digits (without rounding).
          --  Once a non-zero digit is generated, determine the exact number
          --  of digits remaining and compute them with rounding.
+
          --  Since a large number of iterations might be necessary in case
          --  of Aft = 1, the following optimization would be desirable.
+
          --  Count the number Z of leading zero bits in the integer
-         --  representation of X, and start with producing
-         --  Aft + Z * 1000 / 3322 digits in the first scaled division.
+         --  representation of X, and start with producing Aft + Z * 1000 /
+         --  3322 digits in the first scaled division.
 
          --  However, the floating-point routines are still used now ???
 
diff --git a/gcc/ada/atree.adb b/gcc/ada/atree.adb
index 2f504ba..67d8597 100644
--- a/gcc/ada/atree.adb
+++ b/gcc/ada/atree.adb
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---          Copyright (C) 1992-2007, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2008, 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- --
@@ -562,9 +562,9 @@ package body Atree is
    -- Local Subprograms --
    -----------------------
 
-   procedure Fix_Parents (Old_Node, New_Node : Node_Id);
-   --  Fixup parent pointers for the syntactic children of New_Node after
-   --  a copy, setting them to New_Node when they pointed to Old_Node.
+   procedure Fix_Parents (Ref_Node, Fix_Node : Node_Id);
+   --  Fixup parent pointers for the syntactic children of Fix_Node after
+   --  a copy, setting them to Fix_Node when they pointed to Ref_Node.
 
    function Allocate_Initialize_Node
      (Src            : Node_Id;
@@ -988,18 +988,18 @@ package body Atree is
    -- Fix_Parents --
    -----------------
 
-   procedure Fix_Parents (Old_Node, New_Node : Node_Id) is
+   procedure Fix_Parents (Ref_Node, Fix_Node : Node_Id) is
 
-      procedure Fix_Parent (Field : Union_Id; Old_Node, New_Node : Node_Id);
-      --  Fixup one parent pointer. Field is checked to see if it
-      --  points to a node, list, or element list that has a parent that
-      --  points to Old_Node. If so, the parent is reset to point to New_Node.
+      procedure Fix_Parent (Field : Union_Id);
+      --  Fixup one parent pointer. Field is checked to see if it points to
+      --  a node, list, or element list that has a parent that points to
+      --  Ref_Node. If so, the parent is reset to point to Fix_Node.
 
       ----------------
       -- Fix_Parent --
       ----------------
 
-      procedure Fix_Parent (Field : Union_Id; Old_Node, New_Node : Node_Id) is
+      procedure Fix_Parent (Field : Union_Id) is
       begin
          --  Fix parent of node that is referenced by Field. Note that we must
          --  exclude the case where the node is a member of a list, because in
@@ -1008,28 +1008,28 @@ package body Atree is
          if Field in Node_Range
            and then Present (Node_Id (Field))
            and then not Nodes.Table (Node_Id (Field)).In_List
-           and then Parent (Node_Id (Field)) = Old_Node
+           and then Parent (Node_Id (Field)) = Ref_Node
          then
-            Set_Parent (Node_Id (Field), New_Node);
+            Set_Parent (Node_Id (Field), Fix_Node);
 
          --  Fix parent of list that is referenced by Field
 
          elsif Field in List_Range
            and then Present (List_Id (Field))
-           and then Parent (List_Id (Field)) = Old_Node
+           and then Parent (List_Id (Field)) = Ref_Node
          then
-            Set_Parent (List_Id (Field), New_Node);
+            Set_Parent (List_Id (Field), Fix_Node);
          end if;
       end Fix_Parent;
 
    --  Start of processing for Fix_Parents
 
    begin
-      Fix_Parent (Field1 (New_Node), Old_Node, New_Node);
-      Fix_Parent (Field2 (New_Node), Old_Node, New_Node);
-      Fix_Parent (Field3 (New_Node), Old_Node, New_Node);
-      Fix_Parent (Field4 (New_Node), Old_Node, New_Node);
-      Fix_Parent (Field5 (New_Node), Old_Node, New_Node);
+      Fix_Parent (Field1 (Fix_Node));
+      Fix_Parent (Field2 (Fix_Node));
+      Fix_Parent (Field3 (Fix_Node));
+      Fix_Parent (Field4 (Fix_Node));
+      Fix_Parent (Field5 (Fix_Node));
    end Fix_Parents;
 
    -----------------------------------
@@ -2404,7 +2404,7 @@ package body Atree is
       end if;
 
       New_Node := New_Copy (Source);
-      Fix_Parents (Source, New_Node);
+      Fix_Parents (Ref_Node => Source, Fix_Node => New_Node);
 
       --  We now set the parent of the new node to be the same as the
       --  parent of the source. Almost always this parent will be
@@ -2448,7 +2448,7 @@ package body Atree is
 
       --  Fix parents of substituted node, since it has changed identity
 
-      Fix_Parents (New_Node, Old_Node);
+      Fix_Parents (Ref_Node => New_Node, Fix_Node => Old_Node);
 
       --  Since we are doing a replace, we assume that the original node
       --  is intended to become the new replaced node. The call would be
@@ -2511,7 +2511,7 @@ package body Atree is
          Set_Must_Not_Freeze (Old_Node, Old_Must_Not_Freeze);
       end if;
 
-      Fix_Parents (New_Node, Old_Node);
+      Fix_Parents (Ref_Node => New_Node, Fix_Node => Old_Node);
    end Rewrite;
 
    ------------------
@@ -7337,7 +7337,7 @@ package body Atree is
          pragma Assert (N <= Nodes.Last);
 
          if Val > Error then
-            Set_Parent (Val, N);
+            Set_Parent (N => Val, Val => N);
          end if;
 
          Set_Node1 (N, Val);
@@ -7348,7 +7348,7 @@ package body Atree is
          pragma Assert (N <= Nodes.Last);
 
          if Val > Error then
-            Set_Parent (Val, N);
+            Set_Parent (N => Val, Val => N);
          end if;
 
          Set_Node2 (N, Val);
@@ -7359,7 +7359,7 @@ package body Atree is
          pragma Assert (N <= Nodes.Last);
 
          if Val > Error then
-            Set_Parent (Val, N);
+            Set_Parent (N => Val, Val => N);
          end if;
 
          Set_Node3 (N, Val);
@@ -7370,7 +7370,7 @@ package body Atree is
          pragma Assert (N <= Nodes.Last);
 
          if Val > Error then
-            Set_Parent (Val, N);
+            Set_Parent (N => Val, Val => N);
          end if;
 
          Set_Node4 (N, Val);
@@ -7381,7 +7381,7 @@ package body Atree is
          pragma Assert (N <= Nodes.Last);
 
          if Val > Error then
-            Set_Parent (Val, N);
+            Set_Parent (N => Val, Val => N);
          end if;
 
          Set_Node5 (N, Val);
diff --git a/gcc/ada/bindusg.adb b/gcc/ada/bindusg.adb
index e5829cf..a70aaa9 100644
--- a/gcc/ada/bindusg.adb
+++ b/gcc/ada/bindusg.adb
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                B o d y                                   --
 --                                                                          --
---          Copyright (C) 1992-2007, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2008, 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- --
@@ -271,7 +271,7 @@ package body Bindusg is
 
       --  Line for --RTS
 
-      Write_Line ("  --RTS=dir specify the default source and " &
+      Write_Line ("  --RTS=dir Specify the default source and " &
                   "object search path");
 
       --  Line for sfile
diff --git a/gcc/ada/cstand.adb b/gcc/ada/cstand.adb
index 7a036cd..1404d35 100644
--- a/gcc/ada/cstand.adb
+++ b/gcc/ada/cstand.adb
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---          Copyright (C) 1992-2007, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2008, 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- --
@@ -1727,7 +1727,7 @@ package body CStand is
       Write_Eol;
 
       P ("package Standard is");
-      P ("pragma Pure(Standard);");
+      P ("pragma Pure (Standard);");
       Write_Eol;
 
       P ("   type Boolean is (False, True);");
diff --git a/gcc/ada/exp_fixd.adb b/gcc/ada/exp_fixd.adb
index 66c413e..162e5d2 100644
--- a/gcc/ada/exp_fixd.adb
+++ b/gcc/ada/exp_fixd.adb
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---          Copyright (C) 1992-2007, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2008, 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- --
@@ -2123,7 +2123,7 @@ package body Exp_Fixd is
 
       if Etype (Left) = Universal_Real then
          if Nkind (Left) = N_Real_Literal then
-            Do_Multiply_Fixed_Universal (N, Right, Left);
+            Do_Multiply_Fixed_Universal (N, Left => Right, Right => Left);
 
          elsif Nkind (Left) = N_Type_Conversion then
             Rewrite_Non_Static_Universal (Left);
@@ -2214,7 +2214,7 @@ package body Exp_Fixd is
       Right : constant Node_Id := Right_Opnd (N);
    begin
       if Etype (Left) = Universal_Real then
-         Do_Multiply_Fixed_Universal (N, Right, Left);
+         Do_Multiply_Fixed_Universal (N, Left => Right, Right => Left);
       elsif Etype (Right) = Universal_Real then
          Do_Multiply_Fixed_Universal (N, Left, Right);
       else
diff --git a/gcc/ada/expander.adb b/gcc/ada/expander.adb
index a6164fb..674137d 100644
--- a/gcc/ada/expander.adb
+++ b/gcc/ada/expander.adb
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---          Copyright (C) 1992-2007, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2008, 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- --
@@ -73,12 +73,13 @@ package body Expander is
 
    procedure Expand (N : Node_Id) is
    begin
-      --  If we were analyzing a default expression the Full_Analysis flag must
-      --  be off. If we are in expansion mode then we must be performing a full
-      --  analysis. If we are analyzing a generic then Expansion must be off.
+      --  If we were analyzing a default expression (or other spec expression)
+      --  the Full_Analysis flag must be off. If we are in expansion mode then
+      --  we must be performing a full analysis. If we are analyzing a generic
+      --  then Expansion must be off.
 
       pragma Assert
-        (not (Full_Analysis and then In_Default_Expression)
+        (not (Full_Analysis and then In_Spec_Expression)
           and then (Full_Analysis or else not Expander_Active)
           and then not (Inside_A_Generic and then Expander_Active));
 
diff --git a/gcc/ada/expander.ads b/gcc/ada/expander.ads
index 7c5c619..df59442 100644
--- a/gcc/ada/expander.ads
+++ b/gcc/ada/expander.ads
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---          Copyright (C) 1992-2007, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2008, 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- --
@@ -138,7 +138,7 @@ package Expander is
    --    (b) when starting/completing the pre-analysis of an expression
    --        (see the spec of package Sem for more info on pre-analysis.)
    --
-   --  Note that when processing a default expression (In_Default_Expression
+   --  Note that when processing a spec expression (In_Spec_Expression
    --  is True) or performing semantic analysis of a generic spec or body
    --  (Inside_A_Generic) or when performing pre-analysis (Full_Analysis is
    --  False) the Expander_Active flag is False.
diff --git a/gcc/ada/g-decstr.adb b/gcc/ada/g-decstr.adb
index 5647038..e7c8a26 100755
--- a/gcc/ada/g-decstr.adb
+++ b/gcc/ada/g-decstr.adb
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---                       Copyright (C) 2007, AdaCore                        --
+--                     Copyright (C) 2007-2008, AdaCore                     --
 --                                                                          --
 -- 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- --
@@ -923,7 +923,7 @@ package body GNAT.Decode_String is
             end loop;
 
          exception
-             when Constraint_Error =>
+            when Constraint_Error =>
                Bad;
          end Non_UTF8_Brackets;
       end if;
diff --git a/gcc/ada/g-dirope.ads b/gcc/ada/g-dirope.ads
index 3820a8c..7ef8472 100644
--- a/gcc/ada/g-dirope.ads
+++ b/gcc/ada/g-dirope.ads
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---                     Copyright (C) 1998-2007, AdaCore                     --
+--                     Copyright (C) 1998-2008, AdaCore                     --
 --                                                                          --
 -- 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- --
@@ -132,7 +132,7 @@ package GNAT.Directory_Operations is
    --  is equivalent to the UNIX basename command. The following rule is
    --  always true:
    --
-   --    'Path' and 'Dir_Name (Path) & Directory_Separator & Base_Name (Path)'
+   --    'Path' and 'Dir_Name (Path) & Dir_Separator & Base_Name (Path)'
    --    represent the same file.
    --
    --  The comparison of Suffix is case-insensitive on systems such as Windows
diff --git a/gcc/ada/g-exctra.ads b/gcc/ada/g-exctra.ads
index eb0d5a6..00b4745 100644
--- a/gcc/ada/g-exctra.ads
+++ b/gcc/ada/g-exctra.ads
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---                     Copyright (C) 2000-2005, AdaCore                     --
+--                     Copyright (C) 2000-2008, AdaCore                     --
 --                                                                          --
 -- 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- --
@@ -48,6 +48,7 @@
 
 --  The backtrace output can also be customized by way of a "decorator" which
 --  may return any string output in association with a provided call chain.
+--  The decorator replaces the default backtrace mentioned above.
 
 with GNAT.Traceback; use GNAT.Traceback;
 
@@ -89,5 +90,9 @@ package GNAT.Exception_Traces is
    --  Set the decorator to be used for future automatic outputs. Restore
    --  the default behavior (output of raw addresses) if the provided
    --  access value is null.
+   --
+   --  Note: GNAT.Traceback.Symbolic.Symbolic_Traceback may be used as the
+   --  Decorator, to get a symbolic traceback. This will cause a significant
+   --  cpu and memory overhead.
 
 end GNAT.Exception_Traces;
diff --git a/gcc/ada/g-trasym.adb b/gcc/ada/g-trasym.adb
index 70e9c53..1d1fd3d 100644
--- a/gcc/ada/g-trasym.adb
+++ b/gcc/ada/g-trasym.adb
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---                     Copyright (C) 1999-2006, AdaCore                     --
+--                     Copyright (C) 1999-2008, AdaCore                     --
 --                                                                          --
 -- 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- --
diff --git a/gcc/ada/g-trasym.ads b/gcc/ada/g-trasym.ads
index 8b358aa..fbcf9ca 100644
--- a/gcc/ada/g-trasym.ads
+++ b/gcc/ada/g-trasym.ads
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---                     Copyright (C) 1999-2007, AdaCore                     --
+--                     Copyright (C) 1999-2008, AdaCore                     --
 --                                                                          --
 -- 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- --
@@ -86,6 +86,9 @@ package GNAT.Traceback.Symbolic is
 
    function Symbolic_Traceback (Traceback : Tracebacks_Array) return String;
    --  Build a string containing a symbolic traceback of the given call chain
+   --
+   --  Note: This procedure may be installed by Set_Trace_Decorator, to get a
+   --  symbolic traceback on all exceptions raised (see GNAT.Exception_Traces).
 
    function Symbolic_Traceback (E : Exception_Occurrence) return String;
    --  Build string containing symbolic traceback of given exception occurrence
diff --git a/gcc/ada/i-cstrin.adb b/gcc/ada/i-cstrin.adb
index c7ec0ce..dbd4cb4 100644
--- a/gcc/ada/i-cstrin.adb
+++ b/gcc/ada/i-cstrin.adb
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---          Copyright (C) 1992-2007, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2008, 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- --
@@ -130,7 +130,7 @@ package body Interfaces.C.Strings is
                  Offset => 0,
                  Chars  => Chars,
                  Check  => False);
-         Poke (nul, into => Pointer + size_t'(Chars'Length));
+         Poke (nul, Into => Pointer + size_t'(Chars'Length));
       end if;
 
       return Pointer;
diff --git a/gcc/ada/impunit.adb b/gcc/ada/impunit.adb
index 0b17ec2..0b8cdd5 100644
--- a/gcc/ada/impunit.adb
+++ b/gcc/ada/impunit.adb
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---           Copyright (C) 2000-2007, Free Software Foundation, Inc.        --
+--           Copyright (C) 2000-2008, 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- --
@@ -147,6 +147,7 @@ package body Impunit is
    -- GNAT Defined Additions to Ada --
    -----------------------------------
 
+     "a-calcon",    -- Ada.Calendar.Conversions
      "a-chlat9",    -- Ada.Characters.Latin_9
      "a-clrefi",    -- Ada.Command_Line.Response_File
      "a-colien",    -- Ada.Command_Line.Environment
@@ -276,6 +277,7 @@ package body Impunit is
      "g-table ",    -- GNAT.Table
      "g-tasloc",    -- GNAT.Task_Lock
      "g-thread",    -- GNAT.Threads
+     "g-timsta",    -- GNAT.Time_Stamp
      "g-traceb",    -- GNAT.Traceback
      "g-trasym",    -- GNAT.Traceback.Symbolic
      "g-utf_32",    -- GNAT.UTF_32
@@ -301,6 +303,7 @@ package body Impunit is
      "i-cpp   ",    -- Interfaces.CPP
      "i-cstrea",    -- Interfaces.C.Streams
      "i-java  ",    -- Interfaces.Java
+     "i-javjni",    -- Interfaces.Java.JNI
      "i-pacdec",    -- Interfaces.Packed_Decimal
      "i-vxwoio",    -- Interfaces.VxWorks.IO
      "i-vxwork",    -- Interfaces.VxWorks
@@ -328,6 +331,7 @@ package body Impunit is
      "s-pooloc",    -- System.Pool_Local
      "s-restri",    -- System.Restrictions
      "s-rident",    -- System.Rident
+     "s-ststop",    -- System.Strings.Stream_Ops
      "s-tasinf",    -- System.Task_Info
      "s-wchcnv",    -- System.Wch_Cnv
      "s-wchcon");   -- System.Wch_Con
@@ -367,6 +371,7 @@ package body Impunit is
      "a-coteio",    -- Ada.Complex_Text_IO
      "a-direct",    -- Ada.Directories
      "a-diroro",    -- Ada.Dispatching.Round_Robin
+     "a-disedf",    -- Ada.Dispatching.EDF
      "a-dispat",    -- Ada.Dispatching
      "a-envvar",    -- Ada.Environment_Variables
      "a-exetim",    -- Ada.Execution_Time
diff --git a/gcc/ada/s-intman-mingw.adb b/gcc/ada/s-intman-mingw.adb
index f531750..a71208c 100644
--- a/gcc/ada/s-intman-mingw.adb
+++ b/gcc/ada/s-intman-mingw.adb
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                  B o d y                                 --
 --                                                                          --
---          Copyright (C) 1991-2005 Free Software Foundation, Inc.          --
+--          Copyright (C) 1991-2008, Free Software Foundation, Inc.         --
 --                                                                          --
 -- GNARL 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- --
@@ -43,7 +43,7 @@ package body System.Interrupt_Management is
 
    procedure Initialize is
    begin
-      --  "Reserve" all the interrupts, except those that are explicitely
+      --  "Reserve" all the interrupts, except those that are explicitly
       --  defined.
 
       for J in Interrupt_ID'Range loop
diff --git a/gcc/ada/s-stalib.adb b/gcc/ada/s-stalib.adb
index 1036f3f..e9df807 100644
--- a/gcc/ada/s-stalib.adb
+++ b/gcc/ada/s-stalib.adb
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---          Copyright (C) 1995-2007, Free Software Foundation, Inc.         --
+--          Copyright (C) 1995-2008, 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- --
@@ -51,7 +51,7 @@ with System.Soft_Links;
 --  Referenced directly from generated code using external symbols so it
 --  must always be present in a build, even if no unit has a direct with
 --  of this unit. Also referenced from exception handling routines.
---  This is needed for programs that don't use exceptions explicitely but
+--  This is needed for programs that don't use exceptions explicitly but
 --  direct calls to Ada.Exceptions are generated by gigi (for example,
 --  by calling __gnat_raise_constraint_error directly).
 
diff --git a/gcc/ada/s-stalib.ads b/gcc/ada/s-stalib.ads
index 15a7864..c23ef36 100644
--- a/gcc/ada/s-stalib.ads
+++ b/gcc/ada/s-stalib.ads
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---          Copyright (C) 1992-2007, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2008, 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- --
@@ -63,6 +63,7 @@ package System.Standard_Library is
    pragma Warnings (On);
 
    type Big_String_Ptr is access all String (Positive);
+   for Big_String_Ptr'Storage_Size use 0;
    --  A non-fat pointer type for null terminated strings
 
    function To_Ptr is
diff --git a/gcc/ada/s-valwch.adb b/gcc/ada/s-valwch.adb
index 40a2181..e65c4df 100644
--- a/gcc/ada/s-valwch.adb
+++ b/gcc/ada/s-valwch.adb
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---          Copyright (C) 1992-2006, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2008, 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- --
@@ -50,8 +50,8 @@ package body System.Val_WChar is
       WV : constant Unsigned_32         := Wide_Wide_Character'Pos (WC);
    begin
       if WV > 16#FFFF# then
-         raise Constraint_Error
-           with "out of range character for Value attribute";
+         raise Constraint_Error with
+           "out of range character for Value attribute";
       else
          return Wide_Character'Val (WV);
       end if;
diff --git a/gcc/ada/s-wchstw.adb b/gcc/ada/s-wchstw.adb
index 33f6674..842087f 100644
--- a/gcc/ada/s-wchstw.adb
+++ b/gcc/ada/s-wchstw.adb
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---          Copyright (C) 1992-2007, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2008, 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- --
@@ -74,8 +74,7 @@ package body System.WCh_StW is
       function In_Char return Character is
       begin
          if P > S'Last then
-            raise Constraint_Error
-              with "badly formed wide character code";
+            raise Constraint_Error with "badly formed wide character code";
          else
             P := P + 1;
             return S (P - 1);
@@ -139,8 +138,8 @@ package body System.WCh_StW is
          Get_Next_Code (S, SP, V, EM);
 
          if V > 16#FFFF# then
-            raise Constraint_Error
-              with "out of range value for wide character";
+            raise Constraint_Error with
+              "out of range value for wide character";
          end if;
 
          L := L + 1;
diff --git a/gcc/ada/sem_dist.ads b/gcc/ada/sem_dist.ads
index da64ef8..9f9b95d 100644
--- a/gcc/ada/sem_dist.ads
+++ b/gcc/ada/sem_dist.ads
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---          Copyright (C) 1992-2007, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2008, 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- --
@@ -31,8 +31,8 @@ with Types;  use Types;
 package Sem_Dist is
 
    function Get_PCS_Name return PCS_Names;
-   --  Return the name of a literal of type System.Partition_Interface.
-   --  DSA_Implementation_Type indicating what PCS is currently in use.
+   --  Return the name of a literal of type DSA_Implementation_Name in package
+   --  System.Partition_Interface indicating what PCS is currently in use.
 
    function Get_PCS_Version return Int;
    --  Return the version number of the PCS API implemented by the PCS.
diff --git a/gcc/ada/sem_type.adb b/gcc/ada/sem_type.adb
index bff22c4..1c40158 100644
--- a/gcc/ada/sem_type.adb
+++ b/gcc/ada/sem_type.adb
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---          Copyright (C) 1992-2007, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2008, 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- --
@@ -1515,8 +1515,8 @@ package body Sem_Type is
       end if;
 
       --  Check for overloaded CIL convention stuff because the CIL libraries
-      --  do sick things like Console.Write_Line where it matches
-      --  two different overloads, so just pick the first ???
+      --  do sick things like Console.Write_Line where it matches two different
+      --  overloads, so just pick the first ???
 
       if Convention (Nam1) = Convention_CIL
         and then Convention (Nam2) = Convention_CIL
diff --git a/gcc/ada/targparm.ads b/gcc/ada/targparm.ads
index 4255b50..1197d63 100644
--- a/gcc/ada/targparm.ads
+++ b/gcc/ada/targparm.ads
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---          Copyright (C) 1999-2007, Free Software Foundation, Inc.         --
+--          Copyright (C) 1999-2008, 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- --
@@ -219,6 +219,7 @@ package Targparm is
    type Virtual_Machine_Kind is (No_VM, JVM_Target, CLI_Target);
    VM_Target : Virtual_Machine_Kind := No_VM;
    --  Kind of virtual machine targetted
+   --  Needs comments, don't depend on names ???
 
    -------------------------------
    -- Backend Arithmetic Checks --
diff --git a/gcc/ada/uintp.adb b/gcc/ada/uintp.adb
index 1f79670..86a3187 100644
--- a/gcc/ada/uintp.adb
+++ b/gcc/ada/uintp.adb
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---          Copyright (C) 1992-2007, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2008, 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- --
@@ -1944,7 +1944,7 @@ package body Uintp is
 
    function UI_Gt (Left : Uint; Right : Uint) return Boolean is
    begin
-      return UI_Lt (Right, Left);
+      return UI_Lt (Left => Right, Right => Left);
    end UI_Gt;
 
    ---------------
@@ -1990,7 +1990,7 @@ package body Uintp is
 
    function UI_Le (Left : Uint; Right : Uint) return Boolean is
    begin
-      return not UI_Lt (Right, Left);
+      return not UI_Lt (Left => Right, Right => Left);
    end UI_Le;
 
    ------------
diff --git a/gcc/ada/widechar.adb b/gcc/ada/widechar.adb
index 4997695..e51681d 100644
--- a/gcc/ada/widechar.adb
+++ b/gcc/ada/widechar.adb
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---          Copyright (C) 1992-2006, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2008, 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- --
@@ -121,7 +121,7 @@ package body Widechar is
 
       function WC_In is new Char_Sequence_To_UTF_32 (In_Char);
 
-   --  Start of processingf for Scan_Wide
+   --  Start of processing for Scan_Wide
 
    begin
       Chr := In_Char;