From efde9617b15c8eb477c52111c660e35e45a59785 Mon Sep 17 00:00:00 2001 From: Robert Dewar Date: Tue, 8 Apr 2008 08:57:39 +0200 Subject: [PATCH] impunit.adb: Add Interfaces.Java.JNI... 2008-04-08 Robert Dewar Bob Duff * 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 --- gcc/ada/a-assert.ads | 3 +++ gcc/ada/a-direio.ads | 6 ++++- gcc/ada/a-sequio.ads | 6 ++++- gcc/ada/a-strunb.ads | 4 +-- gcc/ada/a-tifiio.adb | 8 +++--- gcc/ada/atree.adb | 54 +++++++++++++++++++------------------- gcc/ada/bindusg.adb | 4 +-- gcc/ada/cstand.adb | 4 +-- gcc/ada/exp_fixd.adb | 6 ++--- gcc/ada/expander.adb | 11 ++++---- gcc/ada/expander.ads | 4 +-- gcc/ada/g-decstr.adb | 4 +-- gcc/ada/g-dirope.ads | 4 +-- gcc/ada/g-exctra.ads | 7 ++++- gcc/ada/g-trasym.adb | 2 +- gcc/ada/g-trasym.ads | 5 +++- gcc/ada/i-cstrin.adb | 4 +-- gcc/ada/impunit.adb | 7 ++++- gcc/ada/s-intman-mingw.adb | 4 +-- gcc/ada/s-stalib.adb | 4 +-- gcc/ada/s-stalib.ads | 3 ++- gcc/ada/s-valwch.adb | 6 ++--- gcc/ada/s-wchstw.adb | 9 +++---- gcc/ada/sem_dist.ads | 6 ++--- gcc/ada/sem_type.adb | 6 ++--- gcc/ada/targparm.ads | 3 ++- gcc/ada/uintp.adb | 6 ++--- gcc/ada/widechar.adb | 4 +-- 28 files changed, 111 insertions(+), 83 deletions(-) diff --git a/gcc/ada/a-assert.ads b/gcc/ada/a-assert.ads index 614421b7e4e..bfc2229beda 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 24b2a0ba533..6ac1a8a95b6 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 6d3b7d2b2ac..ece3ee13ea6 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 a213f0b37e2..1601f3fef74 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 ae1a60d54ef..44100ee5624 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 2f504ba7a9e..67d8597997b 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 e5829cf510a..a70aaa9ee96 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 7a036cd6314..1404d35ac41 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 66c413e3f27..162e5d2ee40 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 a6164fb5f9b..674137df1da 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 7c5c619d867..df59442186a 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 564703802c8..e7c8a2612f4 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 3820a8c5743..7ef84726dc3 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 eb0d5a6c428..00b474538d9 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 70e9c538c44..1d1fd3d9095 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 8b358aac4bc..fbcf9ca4a65 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 c7ec0ceb62f..dbd4cb4c207 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 0b17ec2a8b5..0b8cdd5b9c0 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 f531750ab5a..a71208ce00e 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 1036f3ff2fa..e9df807d389 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 15a7864013f..c23ef36e97f 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 40a2181d821..e65c4df0575 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 33f6674c6cb..842087f61ce 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 da64ef858ef..9f9b95d3e69 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 bff22c411bc..1c401589fac 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 4255b508d2a..1197d6393c2 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 1f79670e44e..86a3187fd74 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 49976958caf..e51681dd4e3 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; -- 2.30.2